Upload
imke-aber
View
107
Download
3
Embed Size (px)
Citation preview
Semantik und Pragmatik
Übung 4Fragment 2SkopusambiguitätenFrank Schilder
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
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
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
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
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).
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).
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].
Ü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.
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?
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
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.
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).
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.
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
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