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

Kapitel 3: Grundbegriffe der Aussagenlogik
Mathematisch/logische Grundlagen
Mathematisch-logische Grundlagen: Musterbaustein - w3L
Mathematische Grundlagen - Mathematik-Online
1. Grundlagen 1.1 Logische Grundbegriffe
Mathematisch-logische Grundlagen der Informatik - w3L
Mathematische Grundlagen - imng
MATHEMATISCHE GRUNDLAGEN DER QUANTENMECHANIK
Mathematische Grundlagen der Kryptographie
Mathematische Grundlagen
Mathematisches Denken und Arbeiten
logische Grundlage
Mathematische Grundlagen - G-CSC Home
Mathematische Grundlagen der Informatik
Kapitel 2 Mathematische Grundlagen
Mathematische Grundlagen - RheinAhrCampus
Mathematische Grundlagen