Anmerkung zur Abgabe: die gesamte Hausaufgabe möglichst als EINE Datei abschicken. Für mich ist es außerdem eher einfacher, wenn die Lösungen direkt in die E-mail hineinkopiert werden, statt als Attachment verschickt zu werden.
Beide Aufgaben basieren auf der Grammatik mit Artikel und Semantik
Der Artikel "Jeder/Jede/Jedes" soll in der Logik repräsentiert sein als:
LAMBDA P LAMBDA Q ALLE x (P(x) -> Q (x))
- der Quantor ist also ALLE
Hilfestellung: Der Artikel "Einer/Eines/Eine" war präsentiert durch:
LAMBDA P LAMBDA Q EX x (P(x) UND Q (x))
Ergänzen das Lexikon in der Grammatik um den Artikel "jeder/jede/jedes" (d.h. setzen sie obige Lambda-Ausdrücke in das von uns verwendete Prolog-Format um).
Ein Satz mit NP mit Adjektiv wird folgendermaßen in die Logik übersetzt (hier am Beispiel "ein blaues Gestirn leuchtet"):
EX x ((gestirn(x) UND blau(x)) UND leuchtet(x))
Versuchen Sie, die Behandlung von Adjektiven in unsere Grammatik einzubauen (Tipp: die Veränderung haben nur mit den NP-Regeln zu tun, sie müssen auf Satzregelebene nichts ändern. Natürlich muss auch das Lexikon um Adjektive erweitert werden; Adjektive entsprechen in der Logik, wie Nomina und intransitive Verben auch, einstelligen Prädikaten).