Karl Heinz Wagner

Logikgrammatik 149
(5.8.) DC-Grammatik mit zusätzlichem Argument zur Strukturbeschreibung
R1: Satz(S(np0, vp)) → NP (np0), V P (vp)
R2: NP (NP (d, n)) → Det(d), N(n)
R3: NP (NP (name)) → Name(name)
R4: V P (V P (vt, np1) → V t(vt), NP (np1)
R5: V P (V P (vi)) → V i(vi)
Lexikon:
Det(Definite) → the
N(N(boy)) → boy
N(N(girl)) → girl
N(N(ball)) → ball
Name(N(John)) → John
Name(N(Mary)) → Mary
V t(V t(love)) → loves
V t(V t(kick)) → kicked
V i(V i(jump)) → jumped
V i(V i(laugh)) → laughed
Nach unseren
gramm:
Übersetzungsregeln erhalten wir daraus das folgende Logikpro-
(5.9.) DCG in Klauselnotation mit zusätzlichem Argument zur Strukturbeschreibung
R1: Satz(S(np1, vp), x1, z1) ⇐ NP (np1, x1, y1), V P (vp, y1, z1)
R2: NP (NP (d, n), x2, z2) ⇐ Det(d, x2, y2), N(n, y2, z2)
R3: NP (NP (name), x3, z3) ⇐ Name(name, x3, z3)
R4: V P (V P (vt, np2), x4, z4) ⇐ V t(vt, x4, y4), NP (np2, y4, z4)
R5: V P (V P (vi), x5, z5) ⇐ V i(vi, x5, z5)
Lexikon:
Det(Det(Definite), the.z6, z6) ⇐
N(N(boy), boy.z7, z7) ⇐
N(N(girl), girl.z8, z8) ⇐
N(N(ball), ball.z9, z.9) ⇐
Name(N(John), John.z10, z10) ⇐
Name(N(Mary), Mary.z11, z11) ⇐
V t(V t(love), loves.z12, z12) ⇐
V t(V t(kick), kicked.z13, z13) ⇐
V i(V i(jump), jumped.z14, z14) ⇐
V i(V i(laugh), laughed.z15, z15) ⇐
Die folgende Seite zeigt die Ableitung des Satzes John kicked the ball mit
gleichzeitiger Konstruktion einer Strukturbeschreibung. Die mit S: bezeichnete
Zeile zeigt nach jedem Resolutionsschritt die Strukturbeschreibung nach
Anwendung des Unifikators auf den vorherigen Output. Zu beweisen ist