Karl Heinz Wagner

146 Karl Heinz Wagner
(5.2.) Satz(k0, k) ⇐ NP (k0, k1), V P (k1, k)
Lexikonregeln hätten die Form LK(k0, k) ⇐, wobei jedoch gilt k0 = W ort.k, z.B.:
(5.3.) Det(the.k, k) ⇐
(5.4.) PS-Grammatik in Klauselnotation mit Differenzketten
R1: Satz(x1, z1) ⇐ NP (x1, y1), V P (y1, z1)
R2: NP (x2, z2) ⇐ Det(x2, y2), N(y2, z2)
R3: NP (x3, z3) ⇐ Name(x3, z3)
R4: V P (x4, z4) ⇐ V t(x4, y4), NP (y4, z4)
R5: V P (x5, z5) ⇐ V i(x5, z5)
Lexikon:
Det(the.z6, z6) ⇐
N(boy.z7, z7) ⇐
N(girl.z8, z8) ⇐
N(ball.z9, z9) ⇐
Name(John.z10, z10) ⇐
Name(Mary.z11, z11) ⇐
V t(loves.z12, z12) ⇐
V t(kicked.z13, z13) ⇐
V i(jumped.z14, z14) ⇐
V i(laughed.z15, z15) ⇐
Die der Behauptung “John kicked the ball ist ein Satz” entsprechende Zielklausel
hat jetzt die Form
(5.5.) ⇐ Satz(John.kicked.the.ball.nil, nil)
Der Beweis erhält nunmehr die in (5.6.) gezeigte Form.
5.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 Satz → NP V P in der Klauselnotation der Logikgrammatik
als Satz(k0, k) ⇐ NP (k0, k1), V P (k1, k) wiedergegeben wird. Lexikonregeln,
die nichtterminale lexikalische Kategorien zu terminalen Symbolen expandieren,
werden zu Einheitsklauseln, d.h. eine Regel wie V t → kicked wird zu
V t(kicked.k, k) ⇐. Es ist nunmehr möglich,
Übersetzungsregeln zu formulieren,
die PS-Regeln in Regeln der Logikgrammatik überführen: Ein Ausdruck wie
A → B C wird übersetzt in A(k0, k) ⇐ B(k0, k1), C(k1, k)