Formale Syntax / Formal Syntax

Prof. Dr. Anette Frank Seminar fr Computerlinguistik SS 2009

Anette Frank, Vorlesung Formale Syntax, SS 2009

Heute
Organisatorisches Kursberblick Einfhrung

Anette Frank, Vorlesung Formale Syntax, SS 2009

Formale Syntax / Formal Syntax

Vorlesung mit praktischen bungen
Di, Do, 11:15 12:45, OMZ U013

Tutorium:
Benjamin Brschinger und Danny Rehl Termine: tbd Tutorium-Wiki: verlinkt von der Kurshomepage http://www.cl.uni-heidelberg.de/courses/ss09/syntax/index.mhtml

Literatur: Kurshomepage / Fachbibliothek / Lehrbuchsammlung

Yehuda Falk (2001): Lexical-Functional Grammar. An Introduction to Parallel Constraint-Based Syntax. University of Chicago Press Joan Bresnan (2001). Lexical-Functional Syntax. Oxford: Blackwell. Mary Dalrymple (2001): Lexical-Functional Grammar. Volume 34, Syntax and Semantics. Academic Press. Christian Fortmann (2005): Lexikalisch-Funktionale Grammatik: Vorlesungsskript Univ. Zrich
Anette Frank, Vorlesung Formale Syntax, SS 2009

Leistungsnachweise
6 LP Leistungsnachweise
Aktive Mitarbeit Regelmige Teilnahme Eigenstndige Lektre Bearbeitung der bungsaufgaben Abschluklausur
Voraussetzung fr Teilnahme: Erfolgreiche Bearbeitung von 60% der bungsaufgaben

Anette Frank, Vorlesung Formale Syntax, SS 2009

Teilnehmerliste
Email bitte leserlich schreiben
> Kurs-Email-Verteiler

Fcherkombination und Semester (ggf. OP/ZP) Magister NBA (100/75/50/25) ABA

Anette Frank, Vorlesung Formale Syntax, SS 2009

Inhalte und Ziele

Grundlagen der formalen syntaktischen Sprachbeschreibung in einem theoretisch fundierten Grammatikformalismus
Formale Grundlagen der Lexical-Functional Grammar (LFG) Profunde Kenntnisse der wichtigsten syntaktischen Konstruktionen und ihrer formalen Modellierung Sprachbergreifende Phnomene und ihre formale Behandlung in einem uniformen Grammatikformalismus

Praktische bungen
LFG-Grammatikentwicklungsumgebung Xerox Linguistic Environment (XLE) Non-disclosure Agreement (Vertraulichkeitsvereinbarung)
Nils Reiter oder Gruppe Technik Download: http://www.cl.uni-heidelberg.de/trac/Resources/wiki/NDA
Anette Frank, Vorlesung Formale Syntax, SS 2009

Themenberblick
Syntaktische Phnomene und theoretische Grundlagen Formale Grundlagen und Grammatikarchitektur der LFG Syntaktische Struktur, Funktionale Kategorien, Wortstellung, Kongruenz Subkategorisierung, Diathesen und Argumentstruktur Satzstruktur: Matrix- und abhngige Strukturen, finite und infinite Strukturen Lange Abhngigkeiten, Extraposition Anhebung und Kontrolle Kongruenz, Inkorporation und Wortstellung Bindung Koordination: Grundlagen und spezielle Phnomene Optimalittstheorie: Ungrammatikalitt, Disambiguierung Praktische Erfahrungen: Implementierung von Grammatikfragmenten

Anette Frank, Vorlesung Formale Syntax, SS 2009

Warum Syntax?
Colorless green ideas sleep furiously. Furiously sleep ideas green colorless.

Syntax ist die Lehre von der Struktur von Stzen

Sprache: Menge von Strings / grammatischen Stzen potentiell unendlich: Ein Satz ist ein Satz ist ein Satz ... Grammatik: endliches System von Regeln zur Beschreibung der Struktur von Stzen

Grammatikalitt Studium der zugrundeliegenden Eigenschaften der Syntax verschiedener (aller?) Sprachen
Gemeinsamkeiten und Unterschiede Gibt es eine Universale Grammatik? Gibt es eine einheitliche Grammatiktheorie, die die Gemeinsamkeiten und Unterschiede zwischen Sprachen erfasst und erklrt?
Anette Frank, Vorlesung Formale Syntax, SS 2009

Warum Syntax?

Grundlage fr die Berechnung der Satzbedeutung

Semantik wird kompositionell berechnet aus syntaktischen Konstituenten Syntax bestimmt die Berechnung der Interpretation: Prdikat-Argument-Struktur
Morphologische Markierung (Kongruenz) vs. Wortstellung Die Professorin kennt die Studenten. --- kennen(professor,student) Die Professorin kennen die Studenten. --- kennen(student,professor) John visited Mary. --- visit(John,Mary) Mary visited John. --- visit(Mary,John)

Anette Frank, Vorlesung Formale Syntax, SS 2009

Kompetenz, Performanz, Grammatikalitt

Kompetenz
Die Sprachfhigkeit eines (idealisierten) Sprechers oder Hrers Ermglicht dem Sprecher einer Sprache, eine unbegrenzte Anzahl grammatischer Strukturen zu uern, zu verstehen und zu beurteilen

Performanz
Phnomene des Sprachgebrauchs, die nicht durch das grammatische System bedingt sind, sondern durch seinen Einsatz im Sprechen
Da hab ich ihn vertroffen... Der der erste wars ..

Die Sprachkompetenz erlaubt es den Sprechern einer Sprache, ber die Grammatikalitt von Stzen zu urteilen
Grade der (Un)grammatikalitt / Akzeptabilitt
Anette Frank, Vorlesung Formale Syntax, SS 2009

Elemente der Syntax

Wrter
Lineare Abfolge, morphologische Formen

Phrasen / Konstituenten
Phrasenstrukturen
Konstituenz / Dominanz und lineare Abfolge Kopf, Komplemente, Modifikatoren, Spezifikatoren

Syntaktische Abhngigkeiten
Dependendenzstrukturen Grammatische Funktionen (Subjekt, Objekt, Attribut, ..)

Anette Frank, Vorlesung Formale Syntax, SS 2009

Syntaktische Strukturen Konstituenz und Dependenz

Dependenzstrukturen kodieren syntaktische Abhngigkeiten, ggf. syntaktische Funktionen, jedoch keine Konstituenz und keine lineare Abfolge
NP Det N AdjP PP P de Det son NP N fils homme m od ec p s un un homme Adj fier fier pobj de obj fils spec son Mann m od ec p s ein stolzer pobj auf P auf Det NP stolzer N obj Sohn spec seinen NP Det ein PP AdjP Adj N Mann

seinen Sohn
Anette Frank, Vorlesung Formale Syntax, SS 2009

Phrasen
Konstituententests (s. Pittner & Berman, S. 30ff.)
Fragetest
Die Katze liegt gemtlich auf dem Sofa. Wer? Wie? Wo?

Pronominalisierungstest
Die Katze (sie) liegt gemtlich (so) auf dem Sofa (darauf).

Substituierbarkeitstest
Der Hund liegt gemtlich auf der Terrasse.

Verschiebetest / Permutationstest und Vorfeldtest

Auf dem Sofa liegt gemtlich die Katze. Gemtlich liegt die Katze auf dem Sofa. Gemtlich liegt auf dem Sofa die Katze.

Koordinationstest
Der Verkufer und der Kunde fhren ein Gesprch.
Anette Frank, Vorlesung Formale Syntax, SS 2009

Konstituententests: Ausnahmen
Vorfeldtest
Er mag keine Kartoffeln. Kartoffeln mag er keine. *? Keine Kartoffeln mag er. Gestern auf dem Spielplatz gab es Zoff. * Es hat Fritz geglaubt.

Koordinationstest
Fritz schenkte Maria Blumen und schenkte seiner Frau Pralinen. Anna hat eine Vorliebe fr reiche Mnner und Eva hat eine Vorliebe fr schne Mnner. Fritz ist nach Mnchen abgereist und Maria nach Paris abgereist.

Anette Frank, Vorlesung Formale Syntax, SS 2009

Kpfe und maximale Phrasen

Hauptwortarten: Verb, Nomen, Adjektiv, Prposition, Adverb Kpfe projizieren (maximale) Phrasen
nehmen Komplemente (links/rechts)
V: liest ein Buch, gibt dem Mann ein Glas N: Hoffnung auf Besserung A: stolz auf seine Tchter P: hinter der Mauer V: liest oft ein Buch N: echte Hoffnung auf Besserung A: sehr stolz auf seine Tchter P: knapp hinter der Mauer

X-Theorie

erlauben Modifikatoren (links/rechts)

erlauben Spezifikatoren (links/rechts)

das/Peters Buch

Anette Frank, Vorlesung Formale Syntax, SS 2009

Syntaktische Funktionen
Phrasen knnen bzgl. ihrer syntaktischen Funktion unterschieden werden: Subjekt, Objekt, indirektes Objekt, Prpositionalobjekt, ... Syntaktische Realisierung der sog. Prdikat-Argument-Struktur: Who does what to whom?
Peter gave Mary a cookie. Mary was given a cookie. Peter put the book on the table.

Kodierung grammatischer Beziehungen

das finite Verb kongruiert mit dem Subjekt ein Objekt-Reflexivpronomen bezieht sich auf das Subjekt Lucy (Subj) was hitting herself (Obj). im Chichewa kongruiert das Verb mit Subjekt und Objekt (Nominalklassen)

Grammatische Funktionen weisen bestimmte Eigenschaften auf: Keenan/Comrie Hierarchie:

Rangordnung gramm. Funktionen bzgl. Relativsatzbildung, Kausativierung, etc. SUBJ > DO > IO > OBL > GEN > OCOMP (object of comparison)
Anette Frank, Vorlesung Formale Syntax, SS 2009

Formale Syntax
Formale Sprachen
Chomsky-Hierarchie (Typ 0 bis Typ 3) Bisher:
Regulre Sprachen (Typ 3) (insb. Morphologie) Kontextfreie Sprachen (Typ 2) (kontextfreie syntaktische Beschreibung) Viele Phnomene der Syntax sind nicht kontextfrei Merkmalstrukturen und Unifikation (-> mild kontextsensitive Sprachen, Typ 1)

Ziele
Analyse (Parsing) grammatischer Stze Generierung grammatischer Stze

Linguistisch und mathematisch wohl fundierter Formalismus

geeignet fr Vielzahl natrlicher Sprachen und syntaktischer Phnomene algorithmisierbar fr Parsing und Generierung
Anette Frank, Vorlesung Formale Syntax, SS 2009

berblick ber syntaktische Phnomene

Syntaktische Phnomene, die eine Syntaxtheorie in linguistischer Theoriebildung und algorithmischer Umsetzung mit einem mglichst uniformen formalen Inventar fr mglichst viele Sprachen mglichst allgemein erfassen und erklren knnen sollte. Auswahl von Kernphnomenen Argumentstruktur: Argumente und Adjunkte, Diathesen Abhngige und nicht abhngige Satzstrukturen Lokalitt und Nichtlokalitt Diskontinuierliche Konstituenten Zusammenspiel von Morphologie und Wortstellung Bindungstheorie (referentielle Bindung von Pronomina) Koordination
Anette Frank, Vorlesung Formale Syntax, SS 2009

Argumente und Adjunkte

Argumente Adjunkte
Fritz liest. Fritz liest den ganzen Spiegel. Fritz liest den ganzen Tag. Der Spiegel wurde heute ganz gelesen. * Der Tag wurde heute ganz gelesen. Unterscheidung Argument Adjunkt
wesentlich fr die Kodierung syntaktischer Lexika und syntaktischer Phnomene (siehe Passivierung) notorisch schwierig
Anette Frank, Vorlesung Formale Syntax, SS 2009

Diathesen und Argumentstruktur

Passiv
Fritz gab Moritz das Buch. Das Buch wurde Moritz gegeben. Moritz wurde das Buch gegeben. Fred gave Max the book. * The book was given Max. Max was given the book. Fred gave the book to Max. The book was given to Max. * To Max was given the book. -- geben(Fritz,Moritz,Buch) -- geben(X,Moritz,Buch)

-- give(Fred,Max,book) -- give(X,Max,book)

-- give(Fred,Max,book) -- give(X,Max,book)

Anette Frank, Vorlesung Formale Syntax, SS 2009

Diathesen und Argumentstruktur

Kausativ/Inchoativ
Paul zerbrach die Vase. Die Vase zerbrach. Paul broke the window. The window broke. Pierre a cass la fentre. La fentre a cass. La fentre sest cass. -- zerbrechen(Paul,Vase) -- zerbrechen(Vase)

Anette Frank, Vorlesung Formale Syntax, SS 2009

Diathesen und Argumentstruktur

Reflexivierung
Hans sah sich im Spiegel. John saw himself in the mirror. Dieses Buch verkauft sich gut. This book sells well. Hans erkltete sich. Jean sevanouit. -- sehen(Hans,Hans,Spiegel).

-- verkaufen(X, Buch)

-- sich_erklten(Hans) -- ohnmchtig_werden(Hans)

Anette Frank, Vorlesung Formale Syntax, SS 2009

Von Argumentstruktur zu Anhebung und Kontrolle

Anhebung und Kontrolle
Realisierung eines Arguments ausserhalb des lokalen Bereichs Unterschiedlicher Status: thematisches vs. nicht-thematisches Argument

Anhebung (Raising)
Der Motor droht [auszugehen]. -- drohen(ausgehen(Motor)) Der Motor droht [abgewrgt zu werden]. -- drohen(abwrgen(X,Motor))

Kontrolle
Fritz drohte [sich umzubringen]. Fritz drohte [umzufallen]. -- drohen(F,umbringen(F,F)) -- drohen(F, umfallen(F)) drohen(umfallen(F))
Anette Frank, Vorlesung Formale Syntax, SS 2009

Satzstruktur
Kanonische Satzstruktur und Verbstellung im Deutschen
Ich glaube, [dass er Recht hat]. [Obwohl er Recht hat], glaubt ihm niemand. Ich frage mich, [ob/wann er kommt]. Dies ist eine Frage, [die sich jeder stellt]. Fritz versprach, [ihn zur Rede zu stellen]. Er suchte, [ohne je etwas zu finden]. Er liess seine Kinder fr sich sorgen.

Feldermodell (Hhle, 1986)

Anette Frank, Vorlesung Formale Syntax, SS 2009

Satzstruktur
Sonderflle
Ich glaube [er hat Recht]. * Ich frage mich, [ob/wann kommt er]. Katzen mag sie als Haustiere ganz gern, [whrend mit Hunden kann sie sich nicht so recht anfreunden]. (Quelle: Ulrike Freywald)

Sprachbergreifende Variationen
Skandinavische, afrikanische, ... Sprachen: afrik. (...), terwyl die voorkant bestaan uit hout. (Ponelis 1993: 342) whrend die Vorderseite besteht aus Holz

Anette Frank, Vorlesung Formale Syntax, SS 2009

Satzeinbettung und lange Abhngigkeiten

Fragestze:
Which book do you think [I put _ on the shelf]?

Topikalisierung:
That theory, she told me [she had never heard of _].

Relativstze:
I bought a house [which I had never thought [I could afford _]].

Anette Frank, Vorlesung Formale Syntax, SS 2009

Satzeinbettung und lange Abhngigkeiten

Was geht? -- Was nicht, und warum? Objekt
Which shelf do you think [ I put the book on _ ]? Which shelf do you think [that I put the book on _ ]?

Subjekt
Who do you think [ _ put the book on the shelf]? * Who do you think [that _ put the book on the shelf]?

Anette Frank, Vorlesung Formale Syntax, SS 2009

Extraposition

A man just left who had come to ask a question. Relativsatz A decision was made to leave the country. Infinitivkomplement Finites Komplement A rumor has been circulating that he is ill. Es werden Datenstrukturen verwendet, die fr die Benutzer nicht sichtbar sind. ? Es werden Datenstrukturen, die fr die Benutzer nicht sichtbar sind, verwendet. Und dann sollte ich [Augenzeuge [der Zerstrung [einer Stadt]]] werden, die mir am Herzen lag -- Sarajevo.

Anette Frank, Vorlesung Formale Syntax, SS 2009

Extraposition

Strunk & Snider, 2008

Anette Frank, Vorlesung Formale Syntax, SS 2009

Morphologie, Kongruenz und Wortstellung

Morphology competes with syntax (Bresnan, 2001) Warlpiri

Anette Frank, Vorlesung Formale Syntax, SS 2009

Bindungstheorie
Referentielle Bindung pronominaler (u. nicht-pronominaler Ausdrcke)
A. Mariai behauptet, dass Evaj sich im Spiegel betrachtet. behaupten(Maria,betrachten(Eva,Eva)) B. Mariai behauptet, dass Evaj sie im Spiegel betrachtet. behaupten(Maria,betrachten(Eva,Maria)) Hans kauft sich ein Buch. vs. * Hans kauft ihm ein Buch. kaufen(Hans,Hans,Buch) C. Er glaubt, dass Hans/der Mann ein Buch gekauft hat. glauben(XHans,kaufen(Hans,Buch))

Grundlegende sprachbergreifende Gemeinsamkeiten (Prinzip A, B, C)

Prinzip A (Reflexivpronomina), Prinzip B (Personalpronomina), Prinzip C (Eigennamen/deskriptive Nominalphrasen)

sprachbergreifende Parametrisierungen im Detail

Anette Frank, Vorlesung Formale Syntax, SS 2009

Koordination
Fritz und Maria fahren nach Rom.
Fritzsg und Mariasg fahrenpl nach Rom. !!! Fritz fhrt<S,O> nach Rom und kauft<S,O> Schuhe.

Anette Frank, Vorlesung Formale Syntax, SS 2009

Koordination
Fritz und Maria fahren nach Rom.
Fritzsg und Mariasg fahrenpl nach Rom. !!! Fritz fhrt<S,O> nach Rom und kauft<S,O> Schuhe.

Fritz liebt und Maria hasst Rom.

Fritz liebt und hasst Rom.

Anette Frank, Vorlesung Formale Syntax, SS 2009

Literatur
Karin Pittner und Judith Berman (2004): Deutsche Syntax. Ein Arbeitsbuch. Narr, Tbingen. Ronald Kaplan (2003): Syntax. In: Ruslan Mitkov (ed.): The Oxford Handbook of Computational Linguistics, S.70-90.

Kurzeinfhrungen / berblicksartikel zu LFG:

Kaplan, Ron (1989): The Formal Architecture of Lexical-Functional Grammar. In: Chu-Ren Huang and Keh-Jiann Chen (editors), Proceedings of ROCLING II, pp. 3-18. Reprinted in Dalrymple et al. (editors), Formal Issues in LexicalFunctional Grammar. CSLI, 1995. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8631 Dalrymple, M. E. (2001): Lexical Functional Grammar. In: Encyclopedia of Cognitive Science. London: Macmillan Reference.

Anette Frank, Vorlesung Formale Syntax, SS 2009