Semantik und Computerlinguistik

Es dürfte klar sein, daß die Analysemethode (Parsen), die für die natürlichen Sprachen bereits eingeführt worden sind, ebenfalls - und erst recht - für die formalen Semantiksprachen geeignet sind; diese Sprachen haben in etwa das gleiche Spektrum von Eigenschaften, wie Programmiersprachen und müssen, im Gegensatz zu den natürlichen Sprachen, deterministisch analysierbar sein.

Es gibt mehrere Software-Design-Paradigmen, die sich besonders für den Einsatz in der computerlinguistischen Semantikverarbeitung eignen, jede mit unterschiedlichen Eigenschaften, insbesondere:

• Funktionales Programmieren, z.B. traditionell in der Sprache LISP (seit ca. 1960).
• Logisches Programieren, z.B. standardmäßig in der Sprache Prolog (seit ca. 1970).

Natürlich kann jede Programmiersprache zu diesen Zwecken eingesetzt werden, wenn ausreichend komplexe Datenstrukturen zur Verfügung stehen, aber die Programmiersprachen der beiden genannten Paradigmen unterstützen die erforderlichen Programmiertechniken besonders gut:

• LISP, weil Kompositionalität in Syntax und Semantik sich durch Funktionen gut modellierbar ist,
• Prolog, weil prädikaten- bzw. aussagenlogische Infereenz gut modellierbar ist.

Verschiedene Spezialsprachen oder ``Formalismen'', wie Attribut-Wert-Formalismen, DATR, usw., wurden entwickelt, um Syntax und Semantik zusammen zu modellieren.

Aufgaben:

1. Erforschen Sie die Entstehungsgeschichte von LISP und Prolog und notieren Sie typische Einsatzbereiche.
2. Wie könnte ein Programm aussehen, das
   1. Sätze parst,
   2. aus einem Lexikon die Bedeutungen der Wörter holt,
   3. kompositionell aus dem Parse-Baum und den Bedeutungen der Einzelteile die Bedeutungen des Ganzen aufbaut?
3. Was sind semantische Netze und wozu werden sie verwendet?
4. Was sind scripts?
5. Was sind Vererbungsnetze?