Mathematische und logische Grundlagen der Linguistik
Mathematische und logische Grundlagen der Linguistik
Mathematische und logische Grundlagen der Linguistik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Gr<strong>und</strong>begriffe <strong>der</strong> Prädikatenlogik 63<br />
Als weiterer Schritt wäre noch die Umformung zur Klauselnotation möglich gewesen, z.B.<br />
Q(x1,s2(x1)) P(x1,s1(x1)).<br />
Die Umformung <strong>der</strong> Grammatik (4.48) in die Klauselform ist relativ einfach. Beispiel (R1):<br />
(4.53.) x y (NP(x) VP(y) Satz(x⁀y))<br />
x y ((NP(x) VP(y)) Satz(x⁀y)<br />
x y (NP(x) VP(y) Satz(x⁀y)<br />
NP(x) VP(y) Satz(x⁀y)<br />
Satz(x⁀y) NP(x), VP(y)<br />
(4.54.) R1: NP(x1) VP(y1) Satz(x1⁀y1)<br />
R2: Det(x2) N(y2) NP(x2⁀y2)<br />
R3: Name(x3) NP(x3)<br />
R4: Vt(x4) NP(y4) VP(x4⁀y4)<br />
R5: Vi(x5) VP(x5)<br />
Lexikon:<br />
Det(the)<br />
N(boy)<br />
N(girl)<br />
N(ball)<br />
Name(John)<br />
Name(Mary)<br />
Vt(loves)<br />
Vt(kicked)<br />
Vi(jumped)<br />
Vi(laughed)<br />
In Klauselnotation<br />
(4.55.) R1: Satz(x1⁀y1) NP(x1), VP(y1)<br />
R2: NP(x2⁀y2) Det(x2), N(y2)<br />
R3: NP(x2) Name(x3)<br />
R4: VP(x4⁀y4) Vt(x4), NP(y4)<br />
R5: VP(x5) Vi(x5)<br />
Lexikon:<br />
Det(the)<br />
N(boy)<br />
N(girl)<br />
N(ball)<br />
Name(John)<br />
Name(Mary)<br />
Vt(loves)<br />
Vt(kicked)<br />
Vi(jumped)<br />
Vi(laughed)