Mathematische und logische Grundlagen der Linguistik

Durch Regeln wie
(4.71.) S NP(typ0),VP(typ1),{Subtyp(typ0,typ1)}
Grundbegriffe der Prädikatenlogik 75
∶
VP(typ1) Vt(typ1,typ2),NP(typ3),{Subtyp(typ3,typ2)}
Vt(Person,Universal) admired
∶
N(Person) John
N(Idea) sincerity
∶
werden Kontextabhängigkeiten zwischen dem Verb und seinen Aktanten ausgedrückt, die
z.B. John admired sincerity zulassen, *Sincerity admired John aber ausschließen. Das
Prädikat Subtyp kann dabei z.B. auf eine Typhierarchie Bezug nehmen.
In ähnlicher Weise ließe sich eine Semantik im Stile von Montague in die DCG integrieren.
BIBLIOGRAPHIE
ABRAMSON, HARVEY & DAHL, VERNONICA
1989 Logic Grammars. Springer-Verlag: New York etc.
BATES. M.
1978 The Theory and Practice of Augmented Transition Network Grammars. In: BOLC (1978),
191–259.
BOLC, LEONARD (ED.)
1978 Natural Language Communication with Computers. Springer Verlag: Berlin.
COLMERAUER, ALAIN
1978 Metamorphosis Grammars. In BOLC(1978), 1933–89.
GROSZ, BARBARA J., KAREN SPARCK JONES, & BONNIE LYNN WEBBER, EDS.
1986 Readings in Natural Language Processing. Morgan Kaufmann: Los Altos, California.
LLOYD, J.W.
1984 Foundations of Logic Programming. Springer-Verlag: Berlin etc.
PEREIRA, FERNANDO C.N. & STUART M. SHIEBER
1987 Prolog and Natural-Language Analysis. Center for the Study of Language and Information:
Stanford.
PEREIRA, FERNANDO C. N. & DAVID H. D. WARREN
1980 Definite clause grammars for language analysis — a survey of the formalism and a
comparison with augmented transition networks. In: Artificial Intelligence 13:231–278.
(Reprint in GROSZ et. al. 1986).
ROBINSON, J.A.
1965 A machine-oriented logic based on the resolution principle. In: Journal of the ACM 12:23–44.
WOODS, W. A.
1970 Transition Network Grammars for Natural Language Analysis. In: Communications of the
ACM 3: 591–606. (Reprint in GROSZ et al. 1986: 71–87.)