Computerlinguistik II, WS 2005/06              Aufgabenblatt 7
--------------------------------------------------------------
Abgabe: Mo, 30.1.06

Zur Vorbereitung auf die 

   KLAUSUR am Mi, 1.2.2006, 12-14 Uhr 
   im üblichen Hörsaal E01, Schellingstraße 3, 

dient folgende Aufgabe, bei der wesentliche Schritte bei der
Entwicklung unseres Datenbankabfragesystems mit natürlicher Sprache
nochmal anzuwenden sind. 

Die Aufgabe soll in der Stunde am Montag, 30.1., besprochen werden,
und dazu sollte jeder versuchen, sie vorher zu bearbeiten.

Die Abgabe ist nicht verpflichtend, aber wer vor der Stunde seine
Aufgabe abgibt, kann dadurch seine Hausaufgabenpunkte erhöhen. 

Aufgabe 14
----------
Man erweitere das Programmpaket um die Behandlung intransitiver
Verben.

a) Erzeuge aus einem Stammlexikon mit den drei Verben 'leuchten',
   'strahlen' und 'arbeiten' automatisch die Vollformen, überprüfe 
   und korrigiere sie, und füge die Einträge in das bisherige 
   Vollformenlexikon.

   Als Kategorie der intransitiven Verben soll

       v([nom],[Pers,Num,Temp,Mod]) 

   benutzt werden.                                        (Punkte 3)

b) Erweitere die Grammatik um Satzregeln für Verberst- und Verbletzt-
   Sätze mit intransitiven Verben, sowohl für Aussagen, Fragen und 
   Relativsätze.

   Die erweiterte Grammatik soll (mit den bisherigen Satzkategorien)

   1. die Beispiele 

      Kepler arbeitete. die Sonne strahlt. jeder Mond leuchtet.

   als Aussagen,                                          (Punkte 2)

   2. die Beispiele

      arbeitet Kepler. strahlt die Sonne. leuchtet jeder Mond.

      wer arbeitet. welcher Astronom arbeitet. welcher Planet strahlt.

      welcher Planet, den ein Mond umkreist, leuchtet.

   als Fragen,                                            (Punkte 2)

   3. die Beispiele
      
      der arbeitet. die strahlt. dessen Mond leuchtet.

   als Relativsätze erkennen.                             (Punkte 2)

c) Erweitere die Berechnung der Semantik, so, daß die obigen Beispiele
   ausgewertet werden können.

   1. Erweitere die Datenbank um Zugriffsprädikate arbeiten/1,
      leuchten/1, strahlen/1. Damit das Prädikat db/5 nicht verändert
      wird, füge man keine weitere Information zu db hinzu, sondern 
      definiere die Prädikate wie folgt:

         arbeiten/1 soll nur auf die Astronomen zutreffen, deren 
                    Namen den Buchstaben 'e' enthält,

         strahlt/1  soll nur auf die Sonne und jeden Astronomen, der 
                    einen Planeten entdeckte, zutreffen,

         leuchten/1 soll auf die Sonne, ihre Planeten und jeden Mond, 
                    dessen Name ein 'a' enthält, zuftreffen.

      (Punkte gibt es nicht für eine Liste der entsprechenden Namen, 
       sondern nur, wenn man Prolog-Prädikate benutzt, um zu testen,
       ob 'e' oder 'a' in einem Atom vorkommt.)           (Punkte 3)

   2. Erweitere das Prädikat wahr/1 in auswertung.pl auf die neuen
      atomaren Aussagen.

   3. Erweitere das Prädikat sem/2 zur Berechnung der prädikaten-
      logischen Formeln und Lambda-Terme aus einem Syntaxbaum für die 
      Sätze mit intransitiven Verben.

      (Dazu kann man die entsprechenden sem/2-Regeln für Sätze mit
       transitiven Verben kopieren und passend vereinfachen.)
   
                                                          (Punkte 4)

   4. Teste an den obigen Beispielen, ob die Fragen durch

      ?- frage. 

      richtig beantwortet werden.                         (Punkte 2)


P.S. Bei der Klausur dürfen die Folien und Programme nicht benutzt
werden.