Computerlinguistik II, WS 2007/08              Aufgabenblatt 8
--------------------------------------------------------------
Ausgabe: Di, 24.01.08                          Abgabe: Do, 31.1.08

Aufgabe 14
----------
Erweitere die Grammatik um die Konjunktion von Nominalphrasen, in
folgender (beschraenkter) Weise: zwei Nominalphrasen im Singular
und gleichem Kasus sollen durch "und" verbunden werden, z.B. 

    Kepler und Galilei      
    ein Planet und jeder Mond

Diese Ausdruecke sollten Nominalphrasen im Plural sein, für deren
Definitheit und Genus künstlich die entsprechenden Werte der ersten
Nominalphrase (oder künstliche, z.B. (-)) genommen werden. (Eigentlich
haben sie i.a. kein bestimmtes Genus und keine bestimmte Definitheit.)

1. Geben Sie eine passende Syntaxregel an, fuegen Sie die in np.pl ein
und geben Sie die Ausgabe der Syntaxanalyse fuer die beiden obigen
Beispiele an.                                          Punkte 4

2. Wie sollte die Bedeutung solcher koordinierte Nominalphrasen
erfolgen? D.h. wie sollte die entsprechende sem/2-Klausel aussehen?

Die Bedeutung einer einfachen Aussage wird durch die Anwendung

(1)          SemNP * P

auf eine geeignete Eigenschaft P ausgedrueckt.

a) Wie sollte Deiner Meinung nach der Lamda-Term lauten, der die
   Bedeutung von 

       Kepler und Galilei

   (als Subjekt in einfachen Saetzen) ausdrueckt? 

   Hinweis: Man nehme einen einfachen Satz wie

(2)    Kepler und Galilei arbeiten,

   gebe eine logische Formel Phi an, die das ausdrueckt, und
   abstrahiere dann vom verwendeten Praedikat.         Punkte 3

   Zeige, dass der vorgeschlagene Lambda-Term SemNP auf das 
   Praedikat P = lam(X,arbeitet(X)) angewendet (und normalisiert)
   die logische Formel Phi ergibt, d.h. 

       SemNP * lam(X,arbeitet(X))  --->  Phi  (mehrere Schritte).
   
b) Wie sollte entsprechend die Bedeutung der komplizierteren 
   Konjunktion 

       ein Planet und jeder Mond

   lauten?                                            Punkte 3

c) Und wie sollte also die Auswertungsregel fuer die Konjunktion
   beliebiger Nominalphrasen sein, d.h. die Klausel fuer sem/2
   im Fall

       sem([np(...,[pl,...]),NP1,[und],NP2], SemNP) :-
          NP1 = [np(_,[sg,_])|_], 
          NP2 = [np(_,[sg,_])|_],
          ...
          SemNP = ...     (oder: normalize(..., SemNP)).


   Die Klausel sollte als Spezialfall die Beispiele aus a) und 
   b) ergeben (nach Termvereinfachung).               Punkte 4
   
d) Geben Sie die Bedeutungen an, die das Programm (mit Ihrer
   sem/2-Klausel) für die beiden Beispiele erzeugt.
                                                      Punkte 2

e) Geben Sie die Formel an, die für 

       ein Planet und jeder Mond umkreisen die Sonne.

   erzeugt wird.                                      Punkte 2.

f) Warum laesst sich das Ganze nicht auf die Koordination von 
   zwei Nominalphrasen im Plural ausweiten?           Punkte 1

---------------------------------------------------------------