Kapitel 2 Eine Einführung in die HPSG

Transkript

1 Kapitel 2 Eine Einführung in die HPSG Im vorliegenden Kapitel werden wir die Begriffe und Prinzipien der HPSG sowie ihre Funktionsweise vorstellen. Wie schon in Kapitel 1 erwähnt, ist die HPSG eine integrierte Theorie von Syntax und Semantik. Sie ist eine generative Grammatiktheorie aus der Familie der Unifikationsgrammatiken. Sie verbindet Elemente aus der GPSG (Generalized Phrase Structure Grammar), der FUG (Functional Unification Grammar) und dem PATR (Parsing and Translating) Formalismus. Wie in jeder Unifikationsgrammatik sind in der HPSG alle linguistischen Einheiten durch Merkmalstrukturen repräsentiert. Sie enthalten Merkmale für die Kodierung von phonologischer, syntaktischer und semantischer Information. Die Grammatik selbst ist ebenfalls in Form von Merkmalstrukturen dargestellt, die als Beschränkungen (Constraints) für die Wohlgeformtheit von sprachlichen Zeichen aufgefaßt werden. Wie in Kapitel 1 angedeutet, ist die Grammatik der HPSG stark lexikalisiert, d.h. die Lexikoneinträge sind Merkmalstrukturen und enthalten schon einen großen Teil der strukturellen Information. Auch die allgemeinen redundanzfreien Prinzipien sind als Merkmalstrukturen kodiert. Die HPSG verwendet die Merkmalsunifikation für die Steuerung des Informationsflusses bei der Ableitung. Die beiden grundlegenden Begriffe sind Merkmalstruktur und Unifikation, die wir hier kurz wiederholen: _ Merkmalstruktur: Jede linguistische Einheit, sei es Wort, Phrase oder Satz, ist in der HPSG durch eine Merkmalstruktur gekennzeichnet. Eine Merkmalstruktur ist eine Menge von Attribut-Wert Paaren, wobei der Wert ein atomares Symbol oder wieder eine Struktur ist. Eine wichtige Wert-Möglichkeit ist die Koreferenz, d.h. zwei Werte einer Merkmalstruktur können koreferenziell sein und ihre Attribute haben dann denselben Wert. Man spricht hier von Strukturteilung (structure sharing). Diese Eigenschaft ermöglicht die Darstellung von Dependenzbeziehungen zwischen Konstituenten wie Kongruenz, Rektion, Kontrolle und Fernabhängigkeiten, was wir später z.b. beim SPEC-Prinzip, QSTORE-Perkolationsprinzip deutlich sehen werden. Merkmalstrukturen für syntaktische Einheiten werden oft als komplexe Kategorien bezeichnet. Sie werden meist als Merkmalmatrizen (bzw. Attribut- Value-Matrix, Abkürzung: AVM) oder als gerichtete Merkmalsgraphen (DAGs) repräsentiert. _ Struktur D ist eine Unifikation von D" und D"" (notiert als: D = D" D""), wenn folgende Subsumptionen (ó) gelten: a) D" ó D und D"" ó D. b) Für alle D""" gilt, wenn D" ó D""" und D"" ó D""", dann D ó D""". _ Die Unifikation von Merkmalstrukturen folgt dem Prinzip: Wenn sich

2 19 die Inhalte von Merkmalen nicht widersprechen (d.h. wenigstens einem Merkmal unverträgliche Werte zuweisen), dann ergibt sich das Ergebnis der Unifikation aus der Vereinigungsmenge der Information in den beiden unifizierten Merkmalstrukturen. Wenn es einen inhaltlichen Widerspruch gibt, dann schlägt die Unifikation fehl. Die HPSG verwendet ein reiches Inventar an unifikationsgrammatischen Beschreibungsmitteln, z.b. mengenwertige Merkmale, listenwertige Merkmale, Disjunktion, Negation und Implikation, wie wir später sehen werden. Wir wenden uns zunächst den Fragen zu, wie in der HPSG sprachliche Ausdrücke formal repräsentiert werden, und wie Merkmalstrukturen in der HPSG aussehen. 2.0 Merkmalstruktur und Attribute-Value Matrix Alle sprachlichen Ausdrücke (Wörter, Phrasen oder Satz) werden in der HPSG durch Merkmalstrukturen als lexikalisches oder phrasales SIGN repräsentiert. SIGN ist eine Abkürzung für sprachliches Zeichen bzw. sprachlicher Ausdruck, und läßt sich als AVM darstellen. Ein SIGN ist in der HPSG eine Merkmalstruktur, die zumindest aus den Merkmalen: PHONOLOGY (PHON) und SYNTAX-SEMANTICS (SYNSEM) besteht: PHON<... > SYNSEM... (1) [] PHON ist ein listenwertiges Merkmal. Beispiel: PHON = <Kim, saw, the, women> Der Wert von SYNSEM ist wiederum eine Merkmalstruktur. Beispiel: CAT []... LOC SYNSEM CONTENT []... NON LOC[...] (2) Diese Darstellung liest sich wie folgt: Der Wert von SYNSEM ist das Merkmal LOC (local) und NON-LOC (non local). Der Wert von LOC ist wiederum CAT (category) und CONTENT (content). Wir zeigen zuerst drei vereinfachte AVMs (zwei lexikalische SIGNs und ein phrasales SIGN). Komplexe AVMs und ausführliche Erklärungen der Merkmale und der damit verbundenen Prinzipien werden erst in den nachstehenden Abschnitten eingeführt. Was wir in der ersten AVM ausdrücken wollen, sind folgende Informationen: _ phonologisch: das Zeichen "Kim" _ morphosyntaktisch: Es ist ein Nomen. Als Eigenname braucht es keinen Artikel: *"the Kim". Sein Kasus ist nicht bestimmt. _ Semantisch: Kim ist ein Name und ist als eine Relation Naming zu sehen,

3 20 in der jemand als etwas benannt wird: naming(x, kim). 10 Es handelt sich um die dritte Person, Singular. Diese lassen sich in (3) darstellen. An der AVM läßt sich ersehen, daß hier linguistische Informationen sortiert und hierarchisch geordnet sind: Unter dem LOC Merkmal werden lokal relevante Informationen gespeichert. Sie deutet darauf hin, daß die Information unter dem Pfad LOC das SIGN selbst betrifft. 11 Morphosyntaktische Informationen wie Kategorie "cat" und Kasus "case" sind unter dem Merkmal "head" gespeichert, weil solche sogenannten Kopf- Informationen in der syntaktischen Ableitung konstant bleiben (vgl. Abschnitt 2.2). "subcat" ist ein verallgemeinerter Begriff der Subkategorisierung. subcat=< det > z.b. bedeutet: Das fragliche Nomen fordert syntaktisch einen Artikel (Determinator). subcat=< > bedeutet: Das fragliche Nomen verlangt syntaktisch nichts, um eine vollständige Nominalphrase zu bilden (z.b. Eigennamen). PHON <Kim > HEAD [ CAT noun] CAT SUBCAT <> PERS 3rd PARA : [1] SYNSEM LOC NUM sg CONT REL NAMING RESTPAR BEARER [1] NAME KIM (3) Die semantische Information "Relation Naming" steht unter dem Merkmal "content". Dies besteht aus einem Parameter "para" und seiner Restriktion "rest". In der Restriktion wird der extensionale "bearer" (identisch mit "para"), also derjenige, der den Namen trägt, mit dem Namen als Bezeichnung verbunden. Inhaltlich heißt dies nichts anderes als naming([1], kim). 12 Betrachten wir das Verb "walks" als ein weiteres Beispiel: _ phonologisch: das Zeichen walks _ morphosyntaktisch: Es ist ein finites Verb. Um einen Satz zu bilden, fordert es als intransitives Verb ein nominales Subjekt. In bezug auf die Kongruenz zwischen Subjekt und Prädikat muß das Subjekt hier in der dritten Person und im Singular sein. 10 D.h.: Der Ausdruck "Kim" verweist auf den Namenträger x. 11 Die Information über eine Fernabhängigkeitsbeziehung z.b. durch eine Topikalisierung wird unter einem anderen Pfad gespeichert (nämlich NONLOCAL, vgl. dazu Abschnitt 2.7). 12 Die Semantik von Eigennamen ist sicherlich komplizierter als hier dargestellt. Man vergleiche dazu Stechow (1991)

4 21 _ semantisch: "walk" ist im Sinne der Referenzsemantik eine einstellige Relation "walk". Das Argument dieser Relation ist das Agens der Handlung: walk(x). Die Informationen lassen sich dann in einem lexikalischen SIGN in (4) repräsentieren. Analog zum ersten Beispiel ist die Subkategorisierungsinformation in das Merkmal SUBCAT eingetragen. Die semantische Repräsentation des Verbs "walk" besteht in der Angabe der einstelligen Relation WALK, deren Argument die Agensrolle zugeordnet ist (siehe (5)). PHON < walks > CAT HEAD verb SYNSEM LOC CAT VFORM fin SUBCAT <NP[nom][1][ 3, sg]> REL WALK SYNSEM LOC CONT AGENT [1] (4) (5) CONTENT RELN=WALK, CONTENT AGENT=[1] Der formelle Unterschied zwischen einem phrasalen und einem lexikalischen SIGN ist, daß ersteres neben PHON und SYNSEM noch das Merkmal DTRS hat. "Kim walks" als ein phrasales SIGN hat zwei Töchter (DTRS), d.h. zwei lexikalische SIGN "Kim" und "walks" (vgl. (6)). In der HPSG wird zwischen Komplement-Töchtern (COMP-DTRS) und Kopftöchtern (HEAD-DTR) unterschieden. Die übliche Annahme in der generativen Syntax, daß eine Phrase aus einem Kopf, Komplementen und gegebenfalls Adjunkten besteht, kommt in der HPSG dadurch zum Ausdruck, daß ein phrasales SIGN die Merkmalstruktur DTRS mit HEAD-DTR, COMP-DTRS und eventuell ADJ- DTRS enthält. Wie ein phrasales SIGN zustandekommt, wie das phrasale SIGN für "Kim walks" aus den lexikalischen SIGNs "Kim" und "walks" durch HPSG- Prinzipien konstruiert wird, diese Frage werden wir in den anschließenden Abschnitten beantworten.

5 22 (6) PHON < Kim walks > CAT verb HEAD SYNSEM LOC CAT VFORM fin SUBCAT <> REL WALK SYNSEM LOC CONT AGENT [1] CAT verb HEAD CAT VFORM fin HEAD - DTR SYNSEM LOC SUBCAT < NP[nom][1][3, sg] > REL WALK CONT AGENT [1] HEAD [ CAT noun ] DTRS CAT SUBCAT <> PERS 3rd PARA : [1] COMP DTRS SYNSEM LOC NUM sg CONT REL NAMING RESTPAR BEARER [1] NAME KIM 2.1 Die Oblique-Liste Die Subkategorisierungsliste wird in der HPSG auch die Oblique-Liste (Abhängigkeitsliste) genannt. In dieser Liste liegt u.a. eine Valenzinformation vor. Sie hat einen bestimmten Aufbau bzw. eine feste Reihenfolge. Mit dieser Reihenfolge kann die Oblique-Liste den Ablauf einer syntaktischen Ableitung steuern, die Kongruenz zwischen syntaktischem Subjekt und Prädikat überprüfen, und die Kontroll-Beziehung und Bindungsbeziehung angeben (vgl. Beispiele unten). Wir zeigen zuerst den Aufbau der Oblique-Liste (vgl. Pollard & Sag, 1994:2f. 24ff.) und erläutern dann ihre Anwendung. Die SUBCAT-Liste des Verbs "geben" enthält drei NPs: ein Subjekt, ein direktes und ein indirektes Objekt. Die Reihenfolge der drei NPs legt folgendes Aufbau-Prinzip fest: (a) Das Subjekt eines Satzes steht als die erste NP in der Oblique-Liste des Kopfverbs. Oder allgemein ausgedrückt: Das mit dem Kopf kongruierende (agreeable) Element steht als erstes in der Liste. (b) Ein direktes Objekt ist die letzte NP in der Oblique-Liste. Um auszudrücken, daß das regierende Verb mit der Subjekt-NP aber nicht mit irgendeiner anderen NP kongruent ist, muß man die Subjekt-NP durch eine feste Position in der Oblique-Liste festlegen. Das ist der Sinn der Bedingung (a). Ein Beispiel: (1) gibt: [NP [nom,sg,3.pers],np [dat],np [acc] ] Die zweite Bedingung legt die Reihenfolge vom indirekten und direkten Objekt fest. Das ist u.a. für die lexikalische Regel zur Passivbildung wichtig, weil dann nur das letzte Element der Oblique-Liste nach vorne umgelegt werden muß. (2) gibt: [NP1, NP2,NP3] à wird gegeben : [NP3, von(np1), NP2]

6 23 Die SUBCAT-Liste eines Kontrollverbs wie "versprechen" oder "überreden" enthält zwei NPs und eine VP: eine Subjekt-NP, eine Objekt-NP und eine infinite VP. Die Beziehung zwischen der NP und der VP in bezug auf die Position wird durch ein weiteres Aufbau-Prinzip festgelegt: (c) Eine infinitive Verbalphrase (VP[INF]) als Komplement steht direkt rechts von seiner Kontroll-NP. Bedingung (c) gibt die Kontroll-Beziehung für ein VP- Komplement an. Wie diese Information zu kodieren ist, zeigen wir in einem Beispiel. In den folgenden beiden Sätzen sind zwei verschiedene Kontrollbeziehungen vorhanden: in dem ersten Satz eine Subjekt-Kontrolle, in dem zweiten eine Objekt-Kontrolle. (3) Kim hat mir versprochen, zu Hause zu bleiben. Kim hat mich überredet, ins Kino zu gehen. In dem ersten Satz ist das logische Subjekt für die Komplement-VP "zu Hause zu bleiben" das Subjekt "Kim", etwa: versprechen(kim i, ich, zu_hause_bleiben(kim i )). In dem zweiten Satz ist das logische Subjekt für die Komplement-VP "zu Hause zu bleiben" das Objekt des Hauptsatzes, etwa: überreden(kim, ich i, ins_kino_gehen(ich i )). Die Kontrollbeziehung ist hier keine strukturelle Erscheinung, sondern eine intrinsisch lexikalische Eigenschaft des Verbs. Bei einem Verb wie "versprechen" ist in der Regel Subjekt-Kontrolle voraussagbar, bei einem Verb wie "überreden" die Objekt-Kontrolle. Deshalb kann man die Oblique-Liste der beiden Verben unterschiedlich aufbauen nach dem Prinzip: Ein kontrolliertes Element steht direkt rechts von einem kontrollierenden Element: (4) versprechen: [NP(Subjekt), VP(INF), NP(Obj)] überreden: [NP(Subjekt), NP(Obj), VP(INF)] Wir kommen nun zur Bindungsbeziehung. Ein weiteres Prinzip, nämlich das Bedingungsprinzip (d) behandelt die Bindungsbeziehung zwischen einer Anapher und ihrem Antezedens: (d) Das bindende Element (Antezedens) muß links vor der Phrase XP stehen, welche das anaphorische Element (z.b. Pronomen, Reflexivpronomen, Spuren) dominiert. Dies entspricht etwa der strukturellen Beziehung des C-Kommandos, in einer Klammernotation: [...Antezedens [ XP...Anapher...]...] oder in einer Baumnotation: (5)... Antezedens XP Anapher... Beispiel: (6) Hans hat Klaus überredet, sich zu waschen.

7 24... Hans... Klaus VP sich zu waschen Die Oblique-Liste in (7) bringt aufgrund von Bedingung (d) die Bindungsmöglichkeit zum Ausdruck, daß "sich" an "Hans" oder "Klaus" gebunden werden kann, weil das mögliche bindende Element "Klaus" und "Hans" vor der VP steht, die das anaphorische Element dominiert: (7) überreden:[np, NP, VP[sich/ihn, PRO] ] Dafür, daß jeweils "sich" nur lokal an "Klaus" und "ihn" nicht lokal an "Hans" gebunden werden muß, sorgt die HPSG-Bindungstheorie (vgl. Pollard & Sag, 1994:238, 254), die mit der ABC-Bindungstheorie (Chomsky, 1986) direkt vergleichbar ist. 2.2 Das HEAD Merkmal und das Kopfmerkmalprinzip Wir haben in Abschnitt 2.0 an dem Beispiel mit dem Eigennamen "Kim" gesehen, daß morphosyntaktische Informationen wie "cat" (Kategorie) und "case" (Kasus) unter dem Merkmal "head" gespeichert werden, weil eine solche Kopf-Information in der syntaktischen Ableitung konstant bleibt. Wir betrachten nun ein weiteres Beispiel. Die VP "heute Kim besuchen" aus dem Satz "er soll heute Kim besuchen" läßt sich wie folgt darstellen: (1) VP[inf] ADV VP[inf] heute NP V [inf] Kim besuchen Daran ist deutlich zu sehen, daß die Information über die syntaktische Kategorie (Verb) und Flexionsform (Inf) in der Projektionslinie (V à VP à VP) von V unverändert bleibt. Ähnlich ändert sich beim Aufbau einer Nominalphrase die Information über Kasus, Genus und syntaktische Kategorie (Nomen) in der Projektionslinie (N à N' à N" NP) nicht: (2)

8 25 NP[nom, mask] DET N'[nom, mask] der ADJ runde N'[nom, mask] N [nom, mask] Tisch Die beim Aufbau einer Phrase konstant bleibende syntaktische Information eines Kopfs wird in der HPSG im Merkmal HEAD eingetragen. Der Wert des Merkmals HEAD ist wiederum eine Merkmalstruktur. Ihre Form ist u.a. abhängig von ihrer Wortklasse. Hier sind zwei Beispiele jeweils für ein Nomen und ein Verb: CAT noun HEAD PRD - CASE gen (3) Ein Beispiel für den HEAD-Wert von "Mädchens": Der Inhalt dieser Darstellung ist einsichtig: "Mädchens" ist ein Nomen im Genitiv und nicht prädikativ verwendbar (PRD hat den negativen Wert). Das Kopfmerkmal steht in dem gesamten SIGN unter dem Merkmal CAT: CAT noun SYNSEM LOC CAT HEAD PRD - CASE gen (4) Diese Matrix kann man platzsparend abkürzen als: SYNSEM LOC CAT HEAD noun[<prd - >, <CASE gen>] Der HEAD-Wert von "lächelt" ist: CAT : verb SYNSEM LOC CAT HEAD AUX - VFORM fin (5) Das bedeutet nichts anderes als: "lächelt" ist ein finites Verb und kein Hilfsverb (Aux -). Das kann man ebenso abkürzen als: 13 (6) SYNSEM LOC CAT HEAD verb[<vform fin>, <AUX - >] Ein HEAD-Wert ist für Determinatoren oder Komplementierer komplexer als der für Nomen und Verben. Die Erhaltung bestimmter syntaktischer 13 Die Subskripte ënouní, ëverbí sind dabei Wert-Typen von HEAD. Da die HEAD- Merkmalstruktur u.a. wortklassen-abhängig ist, kann man das zusätzliche Merkmal für die Wortklasse (das zweite CAT-Merkmal in der obigen AVM) eigentlich sparen (vgl. Pollard & Sag, 1994:17). Aus Gründen der Übersichtlichkeit haben wir es trotzdem stehen gelassen.

9 26 Eigenschaften in einer Projektionsslinie ( X à X' à XP) wird in der HPSG durch das Kopfmerkmalprinzip (Head Feature Principle) gesteuert: Das Kopfmerkmalprinzip: The HEAD value of any headed phrase is structure-shared with the HEAD value of the head daughter. (vgl. Pollard & Sag 1994:34) Wie allgemein in der X-bar-Theorie, werden in der HPSG zwischen einer HEAD-Tochter, einer Komplement-Tochter und einer Adjunkt-Tochter unterschieden. Das Kopfmerkmalprinzip fordert damit eine strukturelle Übereinstimmung im HEAD-Merkmal zwischen Mutter und Kopftochter, nämlich zwischen SYNSEM LOC CAT HEAD und DTRS HEAD- DTR SYNSEM LOC CAT HEAD. Das heißt, HEAD enthält Informationen, die in der Projektionslinie unverändert bleiben. Aus Sicht des Kopfmerkmalprinzips ist z.b. folgende Phrase wohlgeformt, weil der HEAD-Wert unter LOC und der unter HEAD-DTR struktur-identisch (token-identical) sind: SYNSEM LOC CAT[ HEAD [1] [ [ ] DTRS HEAD DTR SYNSEM LOC CAT HEAD [1] (7) [ ] Die AVM für den Satz "Kim walks" (Beispiel (6), Abschnitt 2.0) ist beispielsweise u.a. hinsichtlich des Kopfmerkmalprinzips wohlgeformt. 2.3 Das SUBCAT Merkmal, das Saturationsprinzip, das MOD- Merkmal und ID-Schemata Unter Abschnitt 1.2 haben wir schon das Saturationsprinzip eingeführt. Nun werden wir das Prinzip im Zusammenhang mit dem X-bar-Schema näher erläutern. Wir haben bisher an verschiedenen Stellen des vorliegenden Kapitels eine SUBCAT-Liste benutzt. Die Valenzinformation bzw. die Angabe über die Fähigkeit eines sprachlichen Zeichens, seine syntaktischen Umgebungen vorzustrukturieren, wird in der HPSG in das Merkmal SUBCAT eingetragen. Wie die übliche Valenztheorie betrachtet die HPSG auch das syntaktische Subjekt eines Satzes als eine obligatorische Ergänzung zum finiten Verb, nämlich NP[nom]. Das Wort "geben" fordert beispielsweise ein Nominativ-Subjekt, ein Dativund ein Akkusativ-Objekt, um einen Satz zu bilden. Diese syntaktische Information wird in der HPSG wie folgt ausgedrückt: (1) geben: SUBCAT=[ NP[nom], NP[dat], NP[akk] ] Die SUBCAT-Liste von "helfen" sieht erwartungsgemäß wie folgt aus: (2) helfen: SUBCAT=[ NP[nom], NP[dat] ] Die SUBCAT-Liste dient in der HPSG, wie auch in anderen Unifikationsgrammatiken, nicht nur als Valenzinformation, sondern steuert auch den Prozeß der syntaktischen Analyse. Diese Liste muß gemäß dem sogenannten Saturationsprinzip (siehe unten) während einer syntaktischen

10 27 Analyse gesättigt werden: (3) V[ ] NP[nom] V[NP[nom]] Kim NP[dat] NP[akk] V[NP[nom],NP[dat],NP[akk]] mir ein Buch Das Saturationsprinzip (auch das Subkategorisierungsprinzip genannt) beschreibt die Wohlgeformtheit-Bedingung einer Phrase in bezug auf die syntaktische Wertigkeit bzw. Valenz. Das Saturationsprinzip: In a headed phrase, the SUBCAT value of the head daughter is the concatenation of the phrase's SUBCAT list with the list (in order of increasing obliqueness) of SYNSEM values of the complement daughters. (Pollard & Sag 1994:34) Folgende Merkmalstruktur ist in Hinsicht auf das Saturationsprinzip (gleichzeitig auch auf das Kopfmerkmalprinzip) wohlgeformt, weil die SUBCAT-Liste der Kopftochter <[1]...[m],[n]> gleich der Konkatenation aus der SUBCAT-Liste der Mutter <[1]...[m]> und der der Komplement-Tochter [n] ist: CAT HEAD [h] SYNSEM LOC [ ] SUBCAT < [1]...[m]> HEAD [h] HEAD DTR SYNSEM LOC CAT DTRS SUBCAT < [1]...[m], [n]> COMP-DTRS <[n]> (4) Das Saturationsprinzip ist allgemein bzw. nicht konfigurational. Es schränkt lediglich die Struktur ein auf eine Konkatenation von SUBCAT-Listen von der Mutter, der Kopftochter und den Komplement-Töchtern: Die SUBCAT-Liste der Mutter ist immer identisch mit der ihrer Tochter minus denen der Komplement-Töchter. Den syntaktischen Aufbau einer Phrase kann man daher als einen Saturationsprozeß der SUBCAT-Liste des lexikalischen Kopfs sehen. Aber über den konkreten Aufbau wird durch das Saturationsprinzip nichts gesagt. Beispielsweise sind alle nachstehenden Strukturen wohlgeformt, weil die Konkatenation der SUBCAT-Listen dem Prinzip entspricht: (5) gibt

11 28 V[ ] NP[nom] V[NP[nom]] (6) Kim NP[dat] NP[akk] V[ ] V[NP[nom],NP[dat],NP[akk]] NP[nom] (7) V[ ] NP[dat] NP[akk] V[NP[nom],NP[dat],NP[akk]] NP[nom] V[NP[nom]] NP[dat] V[NP[nom],NP[dat]] (8) V[ ] NP[akk] V[NP[nom],NP[dat],NP[akk]] NP[nom] NP[dat] V[NP[nom],NP[dat]] NP[akk] V[NP[nom],NP[dat],NP[akk]] Das Saturationsprinzip ist also konfigurations-unabhängig. Diese Darstellungsweise beinhaltet, daß die HPSG die Strukturiertheit einer Phrase offen läßt. Nun vergleichen wir folgende HPSG-Darstellung mit einem X-bar- Schema. An den beiden Schemata in (9) ist ersichtlich, daß die Struktur des X- bar-schemas in der obigen Darstellung durch die Anzahl von Saturations- Schritten ausgedrückt wird: Ein lexikalischer Kopf darf nicht auf einmal gesättigt sein, sonst wäre es eine flache Struktur. Eine maximale Projektion darf nur eine Konstituente anbinden. Sonst wäre der Spezifikator nicht strukturell definiert. (9) X-bar-Schema: HPSG-Schema: V max V[] SPEC V" COMPL V[NP[nom]] Kim Kim

12 29 COMPLs V COMPLs V[NP[nom],NP[dat],NP[akk]] mir ein Buch gibt mir ein Buch gibt Eine derartige konfigurationale Einschränkung wird in der HPSG durch ID (Immediate Dominance)-Schemata ausgedrückt. Ein ID-Schema ist ein eingeschränktes Saturationsprinzip. Es beschreibt die Dominanz-Beziehung innnerhalb einer Phrase. Wir zeigen die ID-Schemata der HPSG, welche dem gängigen X-bar-Schema entsprechen. Es handelt sich um vier ID-Schemata: (a) A saturated ([SUBCAT<>]) phrase with DTRS value of sort headcomp-struc in which the HEAD-DTR value is a phrasal sign and the COMP- DTRS value is a list of length one. (Pollard & Sag 1994:38) Das ID-Schema (a) läßt sich formulieren als (C steht für COMPlement.): X[SUBCAT<>] à C, X[SUBCAT<C>] bzw. X max à C, X max-1 (b) An almost-saturated (SUBCAT list of length one) phrase with DTRS value of sort head-comp-struc in which the HEAD-DTR value is a lexical sign. (Pollard & Sag, 1994:38) Das ID-Schema (b) läßt sich so kodieren: X[SUBCAT<C>] à C1, C2, X [SUBCAT<C, C1, C2>] bzw. X max-1 à C1, C2, X 0 Mit Schema (a) und (b) läßt sich folgende Struktur ausdrücken: (10) HPSG-Schema: V[ ] C V[C] C1, C2 V [C, C1, C2] Das steht im Einklang mit folgendem X-bar-Schema: (11) X-bar-Schema: V max SPEC V" COMPLs V Um hingegen eine flache Struktur darzustellen, kann das ID-Schema folgendermaßen formuliert werden: (c) A saturated ([SUBCAT<>]) phrase with DTRS value of sort headcomp-struc in which the HEAD-DTR value is a lexical sign. (Pollard & Sag 1994:40) Dies läßt sich so darstellen: X[SUBCAT<>] à C, C1, C2, X [SUBCAT<C, C1,C2>] bzw. X max à C, C1, C2, X 0

13 30 Das wäre eine Struktur folgender Art: (12) V[ ] C1, C2, C3 V [C1,C2,C3] Um ein Adjunkt anzubinden, verwendet die HPSG das MOD-Merkmal: HEAD SYNSEM LOC CAT SUBCAT MOD (1 3) Im MOD-Merkmal eines Modifikators (eines Adjunkts) steht die Information über den Modifikanden, genauer gesagt, über die SYNSEM- Struktur des Modifikanden: (14) X[<C1,C2>] Y[MOD[1] ] [1]X[<C1,C2>] Im Vergleich zur Komplement- oder zur Kopftochter wird ein Modifikator Adjunkt-Tochter genannt. Folgendes ID-Schema sorgt für die Verträglichkeit zwischen einem Modifikator und seinem Modifikanden. Der MOD-Wert einer Adjunkt-Tochter muß mit dem SYNSEM-Wert der Kopf-Tochter identisch sein: (d) A phrase with DTRS value of sort head-adj-structure, such that the MOD value of the adjunct daughter is token-identical to the SYNSEM value of the head daughter. (Pollard & Sag, 1994:56) Zusammenfassend kann mit den ID-Schemata (a), (b), (c) und (d) das komplexe X-bar-Schema ausgedrückt werden:

14 31 (15) X-bar-Schema: ID-Schema der HPSG: XP X[SUBCAT<>] SPEC X' [3] X[SUBCAT<[3]>] ADJU X' Y[MOD[2]] [2]X[SUBCAT<[3]>] COMPLS X [1] X [SUBCAT<[3],[1]>] 2.4 Das Merkmal CONTENT, MOD und das Kontributionsprinzip Das Merkmal CONTENT ist für die semantische Darstellung eines SIGNs bzw. eines sprachlichen Ausdrucks zuständig. Da z.b. die semantischen Formen von Verb und Nomen unterschiedlich sind, sind auch ihre CONTENT-Werte strukturell verschieden. Deshalb wird der CONTENT-Wert in der HPSG klassifiziert bzw. typisiert. Dazu zeigen wir einige Beispiele jeweils für Nomen, Pronomen, Eigennamen und Verb mit unterschiedlichen Typen. 14 Die Bedeutung des Ausdrucks "Mann" ist im Sinne der Referenzsemantik die Eigenschaft, "Mann zu sein", die durch eine einstellige Relation: MANN(x) dargestellt wird. Technisch wird in der HPSG die Variable x durch einen Parameter ausgedrückt und die Relation MANN als eine Restriktion des Parameters gesehen. Der Index [1] stellt eine Variable mit einer Koreferenz dar: Parameter: [1] Relation: mann Restriktion Instanz: [1] (1) Neben der Darstellung von "Mann" als Relation werden in der HPSG auch 14 Die Standard-HPSG geht von typisierten Merkmalstrukturen aus. Diese haben vor allem die Möglichkeit, Strukturen selbst zu spezifizieren. Z.B. läßt sich durch die Typ-Definition, daß eine SIGN-Strukutr nur aus PHON, SYNSEM besteht, eine allgemeine Aussage über alle sprachlichen Ausdrücke machen, daß sie immer eine phonetische, syntaktische-undsemantische Komponente beinhalten. Diese Einschränkung ist auch vorteilhaft für die Konsistenz eines in der HPSG geschriebenen grammatischen Systems. In Kapitel 7 werden wir sehen, daß sich die Typisierung einer Merkmalstruktur durch Makros (auch Template genannt) implementieren läßt (Mehr zu Typsystem und die Implementierung vgl. u.a. Copestake, 1992)

15 32 die Angaben über dessen Numerus, Person und Genus als eine semantische Information unter dem Merkmal CONTENT eingetragen. Der CONTENT des Ausdrucks "Mann" sieht dann insgesamt wie folgt aus: 15 PERS 3rd PARA : [1] NUM sg SYNSEM LOC CONT GEND mask REL MANN RESTPAR { } INST [1] (2) RESTR ist ein mengenwertiges Merkmal, weil in der syntaktischen Ableitung weitere Restriktionen hinzukommen können. Beispielsweise läßt sich der RESTR-Wert für die NP: "ein Mann, der raucht" wie folgt darstellen: (3) RESTR { REL MANN REL RAUCH } INST [1], AGENS [1] Nun kommen wir zur Deutung vom Pronomen. Die Bedeutung des Ausdrucks "sie" ist keine Eigenschaft, sondern drückt eine direkte Referenz aus. Die CONTENT-Matrix dafür sieht wie folgt aus: PERS 3rd SYNSEM LOC CONT PARA : NUM sg GEND fem RESTPAR { } (4) Die Bedeutung eines Eigennamens wird in der HPSG als eine zweistellige Relation gesehen: x wird nach y benannt: NAME(x, y). Deshalb wird der CONTENT für den Eigennamen "Kim" folgendermaßen dargestellt: PERS 3rd PARA : [1] NUM sg GEND... SYNSEM LOC CONT REL naming RESTPAR { BEARER [1] } NAME kim (5) Die Bedeutung eines transitiven Verbs wird als eine zweistellige Relation interpretiert. Das konjungierte Verb "sah" wird durch die Relation SEE(x, y) repräsentiert: REL SEE PERS 3rd SYNSEM LOC CONT EXPER [1] NUM sg THEME [2] (6) 15 ërelí steht für Relation. ërestrí steht für Restriction und ëinstí für Instanz.

16 33 Index [1] bezieht sich dabei auf das syntaktische Subjekt und Index [2] auf das syntaktische Objekt. Hier und auch an folgendem Beispiel ist deutlich zu sehen, daß in der HPSG die Zuweisung semantischer Rollen an syntaktische Argumente durch eine Strukturteilung vorgenommen wird. Die Strukturteilung erfolgt mit einem Index in der SUBCAT-Liste und einem entsprechenden Index im CONTENT-Merkmal: PHON < sah > CAT HEAD verb SYNSEM LOC CAT VFORM fin SUBCAT <NP[nom][1][ 3, sg],np[acc][2]> REL SEE SYNSEM LOC CONT EXPER [1] THEME [2] (7) Die Parallelität zwischen syntaktischen Argumenten und semantischen Rollen ist lexikalisch festgelegt. Beim syntaktischen Aufbau soll der CONTENT-Wert von HEAD-DTR lediglich hochgereicht zu werden. Für das Hochreichen sorgt ein semantisches Prinzip, das sogenannte Kontributionsprinzip: Das Kontributionsprinzip (Vorversion) The CONTENT value of a phrase is token identical to that of the head daughter.( Pollard & Sag, 1994:48) Das Prinzip drückt aus, daß die Mutter den CONTENT-Wert von der Kopftochter übernehmen muß. Folgendes Schema macht dies durch Index [1] deutlich: PHON < > SYNSEM LOC CAT : SYNSEM LOC CONT : [1] CAT : HEAD -DTR SYNSEM LOC DTRS CONT : [1] HEAD COMP: (8) Wenn wir den Bedeutungsaufbau einer NP aus Adjektiv und Nomen (wie rote Blumen ) betrachten, müssen wir feststellen, daß das Kontributionsprinzip oben nicht ausreicht, weil die Bedeutung des Gesamtausdrucks nicht allein aus dem nominalen Kopf "FLOWER(x)", sondern bekannterweise aus den beiden Teilausdrücken kommt, und demzufolge etwa in der Form "RED(x) &

17 34 FLOWER(x)" dargestellt wird. 16 Dabei ist "rot" einerseits eine abhängige syntaktische Konstruktion und andererseits ein paralleles semantisches Prädikat zu "FLOWER". Dieser Bedeutungsaufbau fordert, daß der CONTENT-Wert eines Gesamtausdrucks sowohl die vom Modifikanden gegebenen Relation (z.b. FLOWER) als auch die des Modifikators (d.h. RED) repräsentiert. Dies wird in der HPSG durch das modifizierte semantische Prinzip im Zusammenhang mit dem HEAD-ADJU-Schema realisiert: Das Kontributionsprinzip (Zweite Version) In a headed phrase, the CONTENT value is token-identical to that of the adjunct daughter if the DTRS value is of sort head-adj-struc, and with that of the head daughter otherwise. (vgl. Pollard & Sag, 1994:56) Daraus ist zu ersehen, daß die Gesamtbedeutung einer Phrase (hier: rote Blumen) schon vorher unter dem CONTENT-Wert eines Adjunkts voreingestellt wird, z.b.: RED(x) & REL(x). Dabei ist RED(x) die eigentliche Bedeutung des Adjunkts (rot) und REL(x) eine unspezifische Relation des anzubindenden Nomens. Sobald die Adjunkt-Anbindung zwischen Nomen und Adjunkt vorliegt, wird REL(x) aufgrund des MOD-Merkmal-Prinzips spezifiziert bzw. instanziiert (REL(x) à FLOWER(x)) (zum MOD-Merkmal- Prinzip vgl. (d) in Abschnitt 2.3). Deshalb braucht sich das Kontributionsprinzip nur um den CONTENT-Wert des Adjunkts (also "RED(x) & FLOWER(x)") zu kümmern. In Abschnitt werden wir das Beispiel wiederaufnehmen und ausführlich behandeln. 2.5 Das SPEC Merkmal und das SPEC-Prinzip In den Abschnitten 2.5 und 2.6 wenden wir uns dem Problem der quantifizierten NP zu. In einer quantifizierten Nominalphrase weist einerseits das Nomen die Eigenschaft eines syntaktischen Kopfs (z.b. nominal und mit Kasusinformation) auf (vgl. (1)). Andererseits bindet der Determinator das Nomen (oder genauer, der Determinator als Quantor bindet die Deutung des Nomens als Variable) (vgl. (2)). Das heißt: Einerseits wollen wir das Nomen weiterhin als syntaktischen Kopf behandeln, andererseits wollen wir in der semantischen Darstellung die Bindung durch Quantoren zum Ausdruck bringen, die im HPSG-Format wie folgt aussehen kann (vgl. (3)). Es ist klar, daß die bisherigen Merkmale und Prinzipien nicht ausreichen, um dies auszudrücken. Dafür werden zwei Merkmale SPEC und QSTORE und zwei entsprechende Prinzipien eingeführt. Das Merkmal SPEC bietet einem Determinator schon im Lexikon den Zugang zum nominalen Kopf. Das Merkmal QSTORE zusammen mit einem 16 Es handelt sich um das FREGEsche Prinzip der Bedeutung, daß die Bedeutung eines Ausdrucks sich aus der Bedeutung seiner Teile und der Art ihrer Kombination ergibt (vgl. Frege, 1962).

18 35 QSTORE-Perkolationsprinzip ermöglicht die Perkolation einer Bindung durch den Determinator an den Mutter-Knoten. Das Zusammenwirken von SPEC- Prinzip, QSTORE-Perkolationsprinzip und Kontributionsprinzip ermöglicht dann den syntaktischen und semantischen Aufbau einer quantifizierten Nominalphrase. (1) (2) ForAll x Book(x) NP[nom] DET every N'[nom] N [nom] book DET forall PARA X RESTPAR REL book RESTPAR INST X ( 3) Wir beginnen mit der Einführung des SPEC-Prinzips. Um auszudrücken, daß ein Determinator ein Nomen binden kann, wird das Merkmal SPEC eingeführt. Ein Determinator trägt das Merkmal SPEC unter dem HEAD-Pfad. Der Wert von SPEC ist die ganze SYNSEM-Struktur (eines Nomens). Sei Struktur [1] die SYNSEM-Struktur von every und Struktur [2] die SYNSEM-Struktur von "book". Dann zeigt sich der Zusammenhang zwischen einem Determinator und einem Nomen wie folgt: PHON <every > HEAD: DET[SPEC : [2][Nbar]] [1] SYNSEM LOC CAT SUBCAT < > (4) Struktur [2] ist hier abgekürzt. Sie ist eigentlich die ganze SYNSEM- Struktur eines Nomens: PHON <book > HEAD : noun[nform] [2] SYNSEM LOC CAT SUBCAT <[1]Det > (5) SPEC ist ein Merkmal eines lexikalischen SIGNs. Damit wird die Beziehung zwischen einem Determinator und seinem nominalen Kopf schon lexikalisch vorher festgelegt. Die Konsequenz der Einführung des SPEC-Merkmals kann erst im Zusammenhang mit dem Merkmal QSTORE (s. nächsten Abschnitt) deutlich gemacht werden. An der obigen Merkmalstruktur ist genau zu sehen, daß die Verbindung zwischen einem Determinator und einem Nomen durch das SPEC-Merkmal und das folgende SPEC-Prinzip hergestellt wird: Das SPEC-Prinzip: If a non-head daughter in a headed structure bears a SPEC value, it is token-identical to the SYNSEM of the head daughter. (Pollard

19 36 & Sag, 1994:51) Das SPEC-Prinzip fordert eine Übereinstimmung zwischen dem SPEC- Merkmal der Komplement-Tochter und dem SYNSEM-Merkmal der Kopftochter. Im folgenden konkreten Beispiel heißt es: Der SPEC-Wert von "every" muß identisch mit dem SYNSEM-Wert von "book" sein. Wir zeigen das SPEC-Prinzip durch ein Beispiel mit komplexer Merkmal-Unifikation. Der Lexikoneintrag von "every" und "book" sieht jeweils wie folgt aus: (6) PHON <every > [4] SYNSEM LOC CAT HEAD : DET[SPEC : [6][Nbar:[2]]] SUBCAT < > SYNSEM LOC CONT : [5] DET : forall RESTPAR : [2] PHON <book> [6] SYNSEM LOC CAT HEAD : [3]noun[NFORM] SUBCAT <[4]Det > SYNSEM LOC CONT : [2] PARA [1] RESTPAR RELN book INST [1] Bei einer Unifikation mit den beiden ergibt sich: (7) PHON <every book> [6] SYNSEM LOC CAT HEAD: [3] SUBCAT < > SYNSEM LOC CONT : [2] DTRS HEAD -DTR : [6] SYNSEM LOC CAT : HEAD : [3]noun[NFORM...] SUBCAT <[4]Det> SYNSEM LOC CONT :[2] PARA [1] RESTPAR RELN book INST [1] HEAD -COMP: [4] SYNSEM LOC CAT: HEAD : [4]Det[SPEC: [6][Nbar :[2]]] SUBCAT <> SYNSEM LOC CONT :[5] Det forall RESTPAR [2] An der Unifikation sind vier HPSG-Prinzipien beteiligt: Das Kopfmerkmal- Prinzip und das Kontributionsprinzip haben dafür gesorgt, daß der HEAD-Wert und der CONTENT-Wert der Mutter gleich denen der Tochter sind: die Strukturteilung [3] für das HEAD-Merkmal und die Strukturteilung [2] für das CONTENT-Merkmal. Durch das Saturationsprinzip ist die SUBCAT-Liste der Mutter um ein Element reduziert. Das SPEC-Prinzip überprüft die Identität zwischen SPEC

20 37 von "every" und SYNSEM von "book". Durch die Strukturteilung [2] zwischen dem SPEC der Komplementtochter SPEC:[6] und dem CONTENT der Kopftochter [6]SYNSEM ist die Skopusbindung eines nominalen Kopfs durch einen Quantor ersichtlich. Die Information über die Bindung muß zur phrasalen Ebene hochgereicht werden und die Bindung muß auch dort erfolgen. Wie das in der HPSG realisiert ist, diese Frage soll im nächsten Abschnitt beantwortet werden. 2.6 Das Merkmal QSTORE und das QSTORE-Perkolationsprinzip Das Merkmal QSTORE und das QSTORE-Perkolationsprinzip sorgen für die Perkolation einer Bindung eines Nomens durch einen Determinator. Die Realisierung ist problemlos: Man baut das Merkmal QSTORE in die Merkmalstruktur ein. Für einen Determinator ist der Wert von QSTORE identisch mit dem von CONTENT. Man legt durch ein Prinzip fest, daß der QSTORE-Wert in der syntaktischen Ableitung immer hochgereicht wird. Das QSTORE-Perkolationsprinzip muß man zusätzlich einbauen, weil ein Determinator in einer NP keine Kopftochter ist. Strukturell ist das Merkmal QSTORE den Merkmalen PHON und SYNSEM nebengeordnet. Für "every" sind CONTENT und QSTORE z.b. wie folgt belegt: PHON < every > HEAD : DET[SPEC : [6][Nbar:[2]]] SYNSEM LOC CAT SUBCAT < > [4] DET : forall SYNSEM LOC CONT : [5] RESTPAR : [2] (1) QSTORE : { [5] } Da der CONTENT-Wert des Determinators nicht durch das Kontributions- Prinzip hochgereicht werden kann, weil der Determinator keine Kopftochter ist, bietet sich das Merkmal QSTORE als eine "Umweg"-Möglichkeit. Das QSTORE-Perkolationsprinzip sorgt dafür, daß der CONTENT-Wert durch den Umweg am Ende doch an den Mutterknoten hochgereicht wird: QSTORE-Perkolationsprinzip (QIP, QSTORE Inheritance Principle) The QSTORE value of a phrasal node is the union of the QSTORE values of the daughters, less those quantifiers that are retrieved at that node. (Pollard & Sag 1994:48) Das QSTORE-Perkolationsprinzip besagt: Ein in QSTORE gespeicherter Quantor muß hochgereicht werden, sofern der Skopus des Quantors (also das zu bindende Nomen) nicht erreicht bzw. gefunden (retrieved) wird. Die QSTORE-Perkolation läßt sich nun schematisch wie folgt darstellen:

21 38 (2) PHON < > SYNSEM LOC CAT :... SYNSEM LOC CONT :... QSTORE : {[1] } DTRS HEAD -DTR : SYNSEM LOC CAT :... SYNSEM LOC CONT :... QSTORE : { } HEAD -COMP: SYNSEM LOC CAT :... SYNSEM LOC CONT : [1] QSTORE : {[1]} Hier ist deutlich zu sehen, wie der CONTENT-Wert [1] vom Determinator durch einen Umweg über QSTORE und das QSTORE-Prinzip an den Mutterknoten weitergereicht wird. Das folgende Beispiel soll zusammenfassend zeigen, wie das SPEC-Prinzip, das Kontributionsprinzip und das QSTORE-Perkolationsprinzip zur Skopusbindung einer quantifizierten NP zusammenspielen. Das folgende Beispiel ist das gleiche wie (6) und (7) im vorherigen Abschnitt, außer daß hier das Merkmal QSTORE neu hinzugefügt worden ist und das Perkolationsprinzip interagiert: Zu unifizieren seien zwei SIGNs "every" und "book" aus dem Lexikon: (3) PHON < every > [4] SYNSEM LOC CAT HEAD : DET[SPEC : [6][Nbar:[2]]] SUBCAT < > SYNSEM LOC CONT : [5] DET : forall RESTPAR : [2] QSTORE : { [5] } PHON <book > [6] SYNSEM LOC CAT HEAD : [3]noun[NFORM] SUBCAT <[4]Det > SYNSEM LOC CONT : [2] PARA [1] RESTPAR RELN book INST [1] QSTORE : { } Aus der Unifikation ergibt sich:

22 39 (4) PHON < every book> [6] SYNSEM LOC CAT HEAD: [3] SUBCAT< > SYNSEM LOC CONT: [2] QSTORE : {[5] } DTRS HEAD-DTR : [6] SYNSEM LOC CAT : HEAD: [3]noun[NFORM...] SUBCAT <[4]Det> SYNSEM LOC CONT: [2] PARA [1] RESTPAR RELN book INST [1] QSTORE : { } HEAD- COMP: [4] SYNSEM LOC CAT : HEAD: [4]Det[SPEC: [6][Nbar : [2]]] SUBCAT <> SYNSEM LOC CONT: [5] Det forall RESTPAR [2] QSTORE : {[5] } An der Merkmalstruktur sind die beteiligten Prinzipien abzulesen: Der Wert von SYNSEM LOC CONT [2] in der Phrase kommt aus der HEAD-DTR durch das Kontributionsprinzip; der Wert von QSTORE [5] kommt aus dem HEAD-COMP (oder genauer HEAD-SPR) durch das QSTORE- Perkolationsprinzip; das SPEC-Prinzip sorgt für die richtige strukturelle Beziehung zwischen dem Determinator und dem nominalen Kopf (siehe SPEC [6]). Nun schreiben wir die Struktur SYNSEM LOC CONT von "every book" in die übliche logische Form um. Der Mutterknoten besteht aus folgender Merkmalstruktur (vgl. die AVM oben): (5) PHON: <every book> SYNSEM LOC CAT HEAD: [3] SYNSEM LOC CONT: [2] QSTORE:{ [5] } Wir lösen die Strukturteilung auf: Ersetze Index [2] durch headdtr SYNSEM LOC CONT, (6) book SYNSEM LOC CONT: [2 ] PARA [1] RESTPAR RELN book INST [1] dann ergibt sich:

23 40 PHON <every book > HEAD: [3] SYNSEM LOC CAT SUBCAT< > [6] PARA [1] SYNSEM LOC CONT: [2] RELN book RESTPAR INST [1] Det forall PARA [1] QSTORE: {[5] RESTPAR [2] RELN book } RESTPAR INST [1] (7) DTRS... Die Struktur SYNSEM LOC CONT beinhaltet: Es gibt eine Variable [1] und eine Relation BOOK mit [1] als ihre Instanz. Die Struktur QSTORE beschreibt die Bindung der Variable durch den Quantor FORALL; er bindet die Variable [1] mit einem Skopus innerhalb der Relation BOOK([1]). Das läßt sich direkt umformulieren: forall ([1], book([1])), oder einfach: forall (x, (BOOK- (x))). Das ist das erwünschte Ergebnis Das NONLOCAL Merkmal und das Lückenbindungsschema Wir haben im Abschnitt 2.0 angedeutet, daß die Information über eine Fernabhängigkeitsbeziehung (z.b. durch eine Topikalisierung) nicht unter dem Pfad LOC, sondern unter einem anderen Pfad NONLOC eingetragen werden soll. Was man unter einer Fernabhängigkeit im Gegensatz zur lokalen Abhängigkeit verstehen soll, zeigt uns folgende Strukturdarstellung: (1) 17 Bei einer quantifizierten NP geht es nicht nur um die Quantor-Bindung, sondern auch um die eingebettete logische Wenn-Dann-Struktur (vgl. u.a. Dowty, 1981). Für den Satz "Alle Studenten rauchen" gilt z.b. die übliche logische Darstellung: x(student(x) Rauchen(x)). Für diesen Fall könnte man den Lexikoneintrag erweitern, so daß die "Wenn-dann-Struktur" in den Skopus von ëforallí eingebaut wird.

24 41 (a) S (b)... S NP VP NP[1] S/NP[1] we V NP[1] Kim NP VP/NP[1] know Kim we V NP[1]/NP[1] know - Im ersten Satz "We know Kim" ist die Information über NP[1], u.a. daß NP[1] das syntaktische und semantische Objekt von V ist, lokal. Denn NP[1] wird direkt unter dem Knoten VP an V angebunden und wird nicht weiter hochgereicht. In dem topikalisierten zweiten Satz "Kim we know..." ist die Information über NP[1] unter dem Knoten VP nicht mehr lokal, weil eine phonologisch realisierte NP[1] nicht direkt unter dem Knoten VP an V angebunden werden kann. Die phonologisch leere Stelle von NP[1] nennt man "Lücke". Die Information über NP[1] muß so weit hochgereicht werden, bis die phonologisch realisierte NP[1] gefunden wird. Der Unterschied, daß eine Information einmal lokal relevant ist, und zum anderen nicht lokal, sondern über einen lokalen Baum hinaus relevant ist, wird durch zwei unterschiedliche Merkmale erfaßt: das LOC- und das NONLOC- Merkmal. Die lokal interessante Information wird unter LOC eingetragen, die nicht lokale Information unter NONLOC. Die Angabe darüber, daß eine phonologisch realisierte XP gefunden werden muß, wird in der Darstellung durch "Slash /XP" gekennzeichnet. VP/NP[1] bedeutet nichts anderes als eine VP, für die eine obligatorische NP[1] noch fehlt. S/NP[1] bedeutet erwartungsgemäß ein Satz ohne eine obligatorische NP[1]. An der obigen Strukturdarstelllung ist auch deutlich zu sehen, daß die HPSG für die Fernabhängigkeitsbeziehung mit einer einzigen Repräsentationsebene (d.h. ohne Transformation bzw. Bewegung) auskommt. Fernabhängigkeiten, wie sie bei Konstituentenfragen und Topikalisierungen vorliegen, werden in der HPSG durch das Zusammenwirken einer Merkmalsweitergabe und eines NONLOCAL-Merkmal-Prinzips behandelt. Wir übernehmen an dieser Stelle ein Beispiel für die sogenannte "long distance"- Abhängigkeit von Pollard und Sag. Die Fernabhängigkeit zwischen "Kim" und der Lücke " 1" in dem Satz: "Kim 1, we know Sandy claims Dana hates 1 " läßt sich in der Unifikationsgrammatik wie in (2) darstellen (vgl. Pollard & Sag, 1994:160). Um die Fernabhängigkeitsbeziehung formal behandeln zu können, stellen sich folgende Probleme: Wo wird die Angabe über eine Lücke im SIGN eingetragen? Wie wird die Lücke erzeugt? Welches Prinzip steuert die Weitergabe einer Lücke-Information und wann und wie wird die Lücke gebunden?

25 42 Wie schon erwähnt, ist das Merkmal NONLOC für die Angabe über eine Lücke zuständig. In der HPSG besteht NONLOC aus einer Merkmalstruktur mit den Merkmalen INHERITED und TO-BIND. Das Merkmal INHERITED enthält eine Angabe über eine Lücke, die von unten hochgereicht wird. TO- BIND gibt an, womit die Lücke gebunden wird. Wir zeigen zuerst in (3) eine vereinfachte Struktur von NONLOC. Unter INHERITED werden die hochgereichten bzw. vererbten Lücken gesammelt. Unter TO-BIND werden die an der fraglichen Stelle zu bindenden Lücken eingetragen. In der Baumdarstellung soll unter dem Knoten NP[1]/NP[1] und unter dem Knoten S/NP[1] z.b. jeweils die NONLOC-Merkmalstruktur (4) und (5) stehen. S NP[1] S/NP[1] Kim NP we VP/NP[1] V know... S/NP[1] NP VP/NP[1] Sandy V S/NP[1] claims NP Dana VP/NP[1] V NP[1]/NP[1] hates - [ ] INHERITED SLASH { } NONLOC TO BIND [ SLASH { }] (3) Die NONLOC-Merkmalstruktur Eine vollständige NONLOC-Merkmalstruktur in der HPSG sind mit QUE, REL und SLASH versehen. Die Merkmale QUE und REL sind jeweils für WH-Frage und Relativ- Konstruktion zuständig, welche auch eine Fernabhängigkeits-beziehung aufweisen (vgl. Pollard & Sag, 1994:208 ff.). Im Chinesischen gibt es keine Voranstellung für WH-Fragen und Relativsätze. Typologisch nennt man eine derartige Fragebildung "In-Situ-WH-Fragen". Demzufolge sind die Merkmale unter NONLOC hier nicht relevant.

26 43 (4) unter NP[1]/NP[1]: (5) unter S]/NP[1]: NONLOC INHERITEDSLASH{NP[1]} [ ] NONLOC INHERITEDSLASH{NP[1]} [ ] TO BINDSLASH [ {}] TO BIND SLASH {NP[1]} [ ] Wir haben eben gezeigt, daß die Lücke-Information in NONLOC - INHERITED eingetragen wird. Daraufhin stellt sich die weitere Frage, wie und wo eine Lücke erzeugt wird. Eine Lücke wird erzeugt, wenn ein bestimmtes Komplement in seiner Grundposition nicht gefunden werden kann: (6) VP [INHER SLASH {[1]} ] V [INHER SLASH {[1]} ] know - Die Grundposition von "Kim" ist die Stelle hinter "know". In unserem Beispiel ist das Objekt nicht vorhanden. An dieser Stelle muß dann eine Lücke erzeugt werden. Das Erzeugen einer Lücke bedeutet in der HPSG die Suche nach einem bestimmten Eintrag, nämlich nach dem Lücke-Eintrag. Denn in der HPSG ist die Lücke auch ein Lexikoneintrag. Sie ist ein Eintrag ohne phonologischen, syntaktischen und semantischen Inhalt aber mit einer Koreferenz zwischen dem Merkmal LOC und dem Merkmal SLASH (vgl. Pollard & Sag 1994:164): PHON < > LOC: [1] SYNSEM INHERTED[ SLASH {[1]}] NONLOC TO BIND [ SLASH { }] (7) Die Aufgabe des Eintrags ist, die Forderung des Kopfelements (hier: hates) an das Lücke-Element zu speichern, um das mit dem später gefundenen topikalisierten Element (hier: Kim) zu vergleichen bzw. zu unifizieren. Diesen Vorgang zeigen wir mit dem einfachen Beispiel (1b). Die Forderung des Kopfelements "know" an das Lücke-Element ist: Das Element muß ein Nomen im Akkusatuiv sein: NP[akk]. Diese Information steht unter LOC durch eine Unifikation mit dem Kopfverb und dem Lückeneintrag (7): (8)

27 44 VP V [ LOC [1]NP[acc] ] know - Durch die Koreferenz mit dem Lücken-Eintrag, bekommt das Merkmal NONLOC dieselbe Information NP[akk] wie in (9). Genauer sieht die Lücke nun wie in (10) aus. Durch ein bestimmtes Vererbungsprinzip (siehe (11)) wird die Information NP[acc] so weit vererbt, bis das bindende, topikalisierte Element (der sogenannte Filler) gefunden wird. In diesem Moment werden dann der Filler und die Gap verglichen bzw. unifiziert (siehe (12)). (9) VP V [ LOC [1]NP[acc] ] [ INHER SLASH { [1]NP[acc]} ] know - (10) (11) PHON < > LOC: [1]NP[acc] SYNSEM INHERTED[ SLASH {[1]NP[acc]}] NONLOC TO BIND [ SLASH { }]... VP[ INHER SLASH {[1]NP[acc]} ] (12) V [ LOC [1]NP[acc] ] [ INHER SLASH { [1]NP[acc]} ] know -

28 45 S NP [LOC:[1]] VP [INHER SLASH {[1]NP[acc]}] [TO-BIND SLASH{[1]} ] Kim NP we VP[ INHER SLASH {[1]NP[acc]} ] V [ LOC [1]NP[acc] ] know [ INHER SLASH { [1]NP[acc]} ]... Das Vererbungsprinzip wird das NONLOC-Merkmal-Prinzip genannt: Das NONLOCAL-Merkmal-Prinzip: For each nonlocal feature, the INHERITED value on the mother is the union of the INHERITED value on the daughters minus the TO-BIND value on the head daughter. (Pollard & Sag 1994:164) Das Prinzip verlangt nichts anderes, als die Lücke-Informationen so weit hochzureichen, bis der Filler gefunden wird. Beim Aufbau einer Phrase, wenn der TO-BIND-Wert der Kopftochter leer ist, wird die Lücke-Information hochgereicht: Der INHERITED-Wert der Mutter ist eine Vereinigungsmenge von INHERITED der Kopftochter und der Komplement-Töchter. Wenn der TO-BIND-Wert der Kopftochter aber nicht leer ist, dann wird die INHERITED-Information der Kopftochter nicht mehr hochgereicht. Damit findet eine sogenannte Lückenbindung statt. 19 (13) 19 Das Merkmal TO-BIND dient eigentlich dazu, ein SLASH-Merkmal durch die Schnittmenge mit TO-BIND zu reduzieren, wenn ein Filler gebunden wird. Aber die Frage, wann das TO-BIND-Merkmal eingeführt wird, ist in der HPSG-Theorie nicht konsequent geklärt. Es ist nicht vorstellbar, das Merkmal im Lexikoneintrag einzuführen, weil dann das NONLOC-Merkmal-Prinzip wegen der Schnittmenge von NON-LOC und TO-BIND nicht konsistent funktioniert. Man muß davon ausgehen, daß das TO-BIND-Merkmal in einer bestimmten syntaktischen Regel (X à Filler X/Filler) explizit eingeführt wird, wo der Filler gerade gebunden werden soll.

29 46 S NP [LOC:[1]] VP [INHER SLASH {[1]NP[acc]}] [TO-BIND SLASH{[1]} ] Kim NP we VP[ INHER SLASH {[1]NP[acc]} ] V [ INHER SLASH { [1]NP[acc]} ] know Eine Lückenbindung erfolgt durch eine konkrete Regel, die sich in folgendem Schema repräsentieren läßt: Die Filler-Head-Regel (Pollard & Sag 1994:164) a) X à [LOCAL [1] ], S[fin, INHER SLASH {[1],...}, TO-BIND SLASH {[1],...}] FILLER HEAD FILLER DTR SYNSEM LOC :[1] COMP DTR : <> DTRS HEAD : verb[vform fin] LOC SUBCAT <> HEAD DTR SYNSEM INHERTED [ SLASH {[1]}] NONLOC TO BIND [ SLASH {[1]}] b) Um die Information über eine Lücken-Bindung zu speichern, wird der Filler, welcher mit einer Lücke gebunden ist, unter dem Merkmal FILLER-DTR gespeichert (siehe Schema oben). Die Fernabhängigkeit in Beispiel (2) läßt sich dann formal wie folgt erfassen: (14)...

30 47 S [INHER SLASH { } ] [TO-BIND SLAS H{ }] NP [LOC:[1]] VP [INHER SLASH {[1]NP[acc]}] [TO-B IND SLASH{[1]} ] Kim NP we VP [ INHER SLASH {[1]NP[acc]} ] V S [ INHER SLASH { [1]NP[acc]} ] k now NP VP [ INHER SLASH { [1]NP[acc]} ] Sandy V claims S [ INHE R SLAS H { [1]NP[acc]} ] NP Dana VP [ INHER SLASH { [1]NP[acc]} ] V hates [ LOC [1]NP[acc] ] [ INHER SLASH { [1]NP[acc]} ] Als Antwort auf die oben gestellte Frage fassen wir die Darstellung kurz zusammen: Die Angabe über Lücken ist unter dem Merkmal INHER SLASH gespeichert. Eine Lücke wird als ein Lexikoneintrag aufgefaßt. Das NONLOC- Merkmal-Prinzip sorgt für die Weitergabe von Lücken und die Lückenbindung. -