Prof. Dr. R. Laue                                                                                                                                  WS0405
                                Künstliche Intelligenz
                                Übungsblatt 4
                                Abgabe: 17.11.04  nach der Vorlesung

URL:         /axel/ai_ws0405_blatt4.html

Aufgabe 4 (9 Punkte)

Lösen Sie folgende  Aufgabe mit dem 'resolution principle' (=Widerspruchsbeweis)  und dem bekannten unify-algorithmus.

Wir wissen:
Jeder Goldfisch frisst eine Kaulquappe
alle roten (:-) )  Fische sind Goldfische
Quendolin ist ein roter Süßwasser-Fisch.
Jede Kaulquappe, die von einem Süßwasser-Fisch gefressen wird ist unglücklich.


Zeigen Sie: es gibt unglückliche Kaulquappen.