Aufrufe
vor 4 Jahren

Mathematische und logische Grundlagen der Linguistik

Mathematische und logische Grundlagen der Linguistik

74 Kapitel 4 Z:

74 Kapitel 4 Z: Satz(sb,John.kicked.the.ball.nil,nil) P: Satz(S(np1,vp),x1,z1) NP(np1,x1,y1),VP(vp,y1,z1) U: {sb/S(np1,vp),x1/John.kicked.the.ball.nil,z1/nil} S: S(np1,vp) R: NP(np1,John.kicked.the.ball.nil,y1),VP(vp,y1,nil) Z = R: P: NP(NP(name),x3,z3) Name(name,x3,z3) U: {np1/NP(name),x3/John.kicked.the.ball.nil,z3/y1} S: S(NP(name),vp) R: Name(name, John.kicked.the.ball.nil,y1),VP(vp,y1,nil) Z = R: P: Name(N(John),John.z10,z10) U: {name/N(John),z10/kicked.the.ball.nil,y1/kicked.the.ball.nil}. S: S(NP(N(John)), vp) R: VP(vp,kicked.the.ball,nil) Z = R: P: VP(VP(vt,np2),x4,z4) Vt(vt,x4,y4),NP(np2,y4,z4) U: {vp/VP(vt,np2), x4/kicked.the.ball.nil,z4/nil} S: S(NP(N(John)),VP(vt,np2)) R: Vt(vt,kicked.the.ball.nil,y4),NP(np2,y4,nil) Z = R: P: Vt(Vt(kick),kicked.z13,z13) U: {vt/Vt(kick),z13/the.ball.nil,y4/the.ball.nil} S: S(NP(N(John)),VP(Vt(kick),np2)) R: NP(np2,the.ball.nil,nil) Z = R: P: NP(NP(d,n),x2,z2) Det(d,x2,y2),N(n,y2,z2) U: {np2/NP(d,n),x2/the.ball.nil,z2/nil} S: S(NP(John),VP(Vt(kick),NP(d,n))) R: Det(d,the.ball.nil,y2),N(n,y2,nil) Z = R: P: Det(Det(Definite),the.z6,z6) U: {d/Det(Definite),z6/ball,nil,y2/ball.nil^ S: S(NP(John),VP(Vt(kick),NP(Det(Definite),n))) R: N(n,ball.nil,nil) Z = R: P: N(N(ball),ball.z9,z9) U: {n/N(ball),z9/nil^ S: S(NP(John),VP(Vt(kick),NP(Det(Definite),N(ball)))) R:

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.)

Böttle - Friedrichs Mathematische und elektrotechnische Grundlagen
Kapitel 3: Grundbegriffe der Aussagenlogik
Die Grundlagen der Arithmetik. Eine logisch mathematische ...
Mathematisch-logische Grundlagen: Musterbaustein - w3L
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logischer und mengentheoretischer Formalismus — ¨Argernis, und ...
Logischer und mengentheoretischer Formalismus — ¨Argernis, und ...
Zweites Kapitel Grundlagen der logischen Theoriebildung und die ...
Mathematisch-logische Grundlagen der Informatik - w3L
MATHEMATISCHE GRUNDLAGEN DER QUANTENMECHANIK
Mathematische Grundlagen der Kryptographie
Grundlagen der mathematischen Modellierung und numerischen ...
Mathematische Grundlagen für Forstwissenschaften - Fakultät für ...
Mathematisches Denken und Arbeiten
Die Einheit der Wirklichkeit in logischer und mathematischer ...
Mathematische Grundlagen - G-CSC Home
2. Mathematische Grundlagen der Linearen Programmierung
Mathematische Grundlagen - RheinAhrCampus