Mathematische und logische Grundlagen der Linguistik

(4.67.)
Z: Satz(John.kicked.the.ball.nil,nil)
Grundbegriffe der Prädikatenlogik 71
P: Satz(x1,z1) NP(x1,y1), VP(y1,z1)
U: {x1/John.kicked.the.ball.nil,z1/nil}
R: NP(John.kicked.the.ball.nil,y1),VP(y1,nil)
Z = R:
P: NP(x3, z3) Name(x3,z3)
U: {x3/John.kicked.the.ball.nil, z3/y1}
R: Name(John.kicked.the.ball.nil,y1), VP(y1,nil)
Z = R:
P: Name(John.z10,z10)
U: {z10/kicked.the.ball.nil, y1/kicked.the.ball.nil}
R: VP(kicked.the.ball.nil,nil)
Z = R:
P: VP(x4, z4) Vt(x4,y4),NP(y4,z4)
U: {x4/kicked.the.ball.nil, z4/nil}
R: Vt(kicked.the.ball.nil,y4), NP(y4,nil)
Z = R:
P: Vt(kicked.z13,z13)
U: {z13/the.ball.nil, y4/the.ball.nil}
R: NP(the.ball.nil,nil)
Z = R:
P: NP(x2,z2) Det(x2,y2),N(y2,z2)
U: {x2/the.ball.nil, z2/nil}
R: Det(the.ball.nil, y2), N(y2, nil)
Z = R:
P: Det(the.z6,z6)
U: {z6/ball.nil,y2/ball.nil}
R: N(ball.nil,nil)
Z = R:
P: N(ball.z9,z9)
U: {z9/nil}
R:
4.9.2. DER DCG-FORMALISMUS
Nachdem nun der Beweismechanismus der hier diskutierten Form der Logikgrammatik
(hoffentlich) deutlich geworden ist, können wir dazu übergehen, diesen Mechanismus vor
dem Grammatiker zu “verstecken”.
Wir haben gesehen, daß eine PS-REGEL wie SatzNP VP in der Klauselnotation der
Logikgrammatik als Satz(k0,k)NP(k0,k1), VP(k1,k) wiedergegeben wird. LEXIKONREGELN,
die nichtterminale lexikalische Kategorien zu terminalen Symbolen expandieren, werden zu