Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.
Transcript of Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.
![Page 1: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/1.jpg)
Semantik und Pragmatik
Übung 4Fragment 2SkopusambiguitätenFrank Schilder
![Page 2: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/2.jpg)
Einführung
Erweiterung des Fragments 1 aus der Vorlesung Aussagenlogik -> Prädikatenlogik Quantifier
Repräsentation der syntaktischen Baumstruktur als Listen.
Skopusambiguitäten mittels QuantorenanhebungPROLOG-Programm zur Erzeugung aller
Lesarten
![Page 3: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/3.jpg)
Lernziele
Vertiefung der DCG Kenntnisse: Arbeiten mit Merkmalen bei --> (bzw. --->)
Repräsentation der Datenstruktur Baum Listenschreibweise (Verallgemeinerung der
Übungsaufgabe 3)
Übersetzung in Prädikatenlogische AusdrückeAlle Lesarten erhalten mittels Backtracking
Gebrauch der Prädikate fail/0 und findall/3
![Page 4: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/4.jpg)
Struktur der Übung
Vorstellung des erweiterten Fragments 2 Neue Regeln linksrekursive Regeln können mittels des left-corner
parser verarbeitet werden!Baumstruktur erzeugen mittels der Grammatik in frag2.pl Listenrepräsentation
Übersetzung der syntaktischen Struktur in Prädikatenlogik
Quantorenanhebung durch raise/2 in quant.pl
![Page 5: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/5.jpg)
Fragment 2
Das Fragment 1 wird durch Indexe j Œ N an NPs und durch weitere Regeln ergänzt: Quantoren: NPj -> Det NP Pronomen: NPj -> ProNj Ditransitive Verben: VP -> Vdt NPj PPto Präpositionalphrase 'to': PPto -> 'to' Np
Das Lexikon wurde ausgebaut: Determiner: the, a, every Nomen: book, fish, man, woman Pronomen: he, she, it, him, her, herself, himself
![Page 6: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/6.jpg)
Neue Regeln für das Fragment
Diese Regeln sollen nun in das Fragment 1 eingebaut werden Der left-corner parser erwartet Regeln mittels des
Prädikates ---> Quantoren: np(_J) ---> det, nom. Pronomen: np(J) ---> pron(J). Ditransitive Verben: vp ---> vdt, np(_J), ppto(PPto).
Präpositionalphrase 'to': ppto(ppto/[(-to),NPj]) ---> pp((-to)), np(NPj).
![Page 7: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/7.jpg)
Darstellung von Bäumen
Eine visuelle Ausgabe ist erforderlich! Eine Baumstruktur soll die syntaktische Struktur
beschreiben. Der Aufruf der DCG Klauseln beinhaltet implizit den
Ableitungsbaum für den Satz. Mittels weiterer Merkmale in den DCG Klauseln
kann die Baumstruktur der Ableitung zurückgegeben werden: s(Root/[FstNode, SndNode..XthNode]) ---> a(FstNode),b(SndNode)..z(XthNode).
![Page 8: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/8.jpg)
Zwischenbilanz
Erweitertes Fragment 2 Listendarstellung der
syntaktischen Struktur in frag2.pl
Ausgabeprädikate: display_tree/1 display_trees/1 einbinden mit:
S
NP VP
S -> NP VP
s(s/[NP, VP]) ---> np(NP), vp(VP).
:-[/home/wsv_8/schilder/SemPrag/dt/drawSWI.pl].
![Page 9: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/9.jpg)
Übersetzen der syntaktischen Struktur
Übersetzungsregeln erlauben die Ableitung der prädikatenlogischen Formel: I([PN ,Loren']) = loren' I([IV ,is cute']) = schlau’ I([VP [IV alpha]]) = I([IV alpha]) I([NP [PN alpha]]) = I([PN alpha]) I([S [NP alpha] [VP beta]]) = I([VP beta])(I([NP alpha]))...
Ein Übersetzungsprädikat semtrans/2 liefert diese Übersetzung in PROLOG.
![Page 10: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/10.jpg)
Skopusambiguitäten
Skopusambiguitäten entstehen bei mehr als zwei Quantoren:
Every man likes a woman.Zwei Lesarten sind möglich:
Spezielle Lesart: $x "y (man(y) Æ woman(x) Ÿlikes(y,x)) Allgemeine Lesart:"y $x (man(y) Æ woman(x) Ÿ
likes(y,x))Wie werden zwei logische Strukturen aus einer
syntaktischen Struktur erzeugt?
![Page 11: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/11.jpg)
Quantorenanhebung
Nach Montague werden Quantoren in der syntaktischen Struktur »angehoben«.
Die Reihenfolge der Regelanwendung zur Quantorenanhebung ist beliebig!
Alle möglichen Permutationen werden erzeugt!
S
NP1VP
V NP2
S
VP
V
NP2
S
SNP1
e1
e2
S
VP
V
NP1
S
SNP2
e1
e2
![Page 12: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/12.jpg)
Suche und Ersetze
Regel zur Quantorenanhebung: [S g[NP [Det a] [Nom b]]i d] => [S[NP
[Det a] [Nom b]]i [S g [NP ei] d]]Das PROLOG Prädikat raise/2 durchsucht den
Syntaxbaum und führt die Ersetzung durch: Zuerst wird nach einer NP Konstruktion gesucht und
diese durch die Spur ei ersetzt (member_del/4). Dann wird der neue Baum erneut durchsucht.
![Page 13: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/13.jpg)
raise/2
raise(s/G,s/[np(J)/det/A,nom/B], GResult]):- member_del(np(J)/[det/A,nom/B], np(J)/(-e),G,Gnew), raise(s/Gnew,GResult).
raise(GResult,GResult):- !, \+ member_tree(np(J)/[det/A,nom/B], Gresult).
![Page 14: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/14.jpg)
findall/3
Backtracking liefert alle Lesarten mit findall(RTree,raise(Tree,RTree),Readings)
RTree = Variable raise(Tree,RTree) = Prädikat, das
»gebacktrackt« wird Readings = Liste der Lösungen
Mit findall/3 werden alle Lesarten in einer Liste abgespeichert.
![Page 15: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/15.jpg)
Zusammenfassung
Erweiterung des Fragments: Quantoren (Prädikatenlogik) Pronomen ditransitive Verben Präpositionalphrasen
Übersetzungsregeln in PROLOG Skopusambiguitäten erlauben mehrere LesartenQuantorenanhebung erzeugt alle möglichen Lesarten
aus einer syntaktischen Baumstruktur
![Page 16: Semantik und Pragmatik Übung 4 Fragment 2 Skopusambiguitäten Frank Schilder.](https://reader036.fdocuments.net/reader036/viewer/2022082701/55204d6949795902118bf273/html5/thumbnails/16.jpg)
Quellenangaben
Sourcecode für frag2.pl/lexf2.pl/quant.pl/sem.pl in: /home/wsv_8/schilder/SemPrag/Quant/
*Neuer* Pfad!!lcparser.pl enthält left-corner parser