Funktionale Unifikations-Grammatik (FUG) Hauptmerkmale der FUG.

Funktionale Unifikations-Grammatik (FUG)Funktionale Unifikations-Grammatik (FUG)

Hauptmerkmale der FUG

Funktionale UnifikationsgrammatikFunktionale Unifikationsgrammatik Die Die Functional Unification GrammarFunctional Unification Grammar (FUG) ist ein (FUG) ist ein

von Martin Kay seit 1979 entwickelter von Martin Kay seit 1979 entwickelter Grammatikformalismus der Generativen Grammatik Grammatikformalismus der Generativen Grammatik und das erste Modell der Familie der und das erste Modell der Familie der Unifikationsgrammatiken im engeren Sinn Unifikationsgrammatiken im engeren Sinn (Unifikation von Merkmalstrukturen).(Unifikation von Merkmalstrukturen).

Auch die Regeln der FUG sind Merkmalstrukturen.Auch die Regeln der FUG sind Merkmalstrukturen. Die FUG war die Grundlage zahlreicher Die FUG war die Grundlage zahlreicher

experimenteller Sprachverarbeitunssystem.experimenteller Sprachverarbeitunssystem.

Funktionale UnifikationsgrammatikFunktionale Unifikationsgrammatik Vorrang der Vorrang der funktionalen funktionalen Aspekte der Sprache Aspekte der Sprache

(kommunikative Funktion) gegenüber (kommunikative Funktion) gegenüber logischenlogischen AspektenAspekten

Sprachstrukturen werden primär auf der Grundlage Sprachstrukturen werden primär auf der Grundlage der der FunktionenFunktionen beschrieben, die Teile in einem beschrieben, die Teile in einem Ganzen haben:Ganzen haben: grammatischegrammatische Funktionen (Subjekt, Objekt, Attribut) Funktionen (Subjekt, Objekt, Attribut) semantischesemantische Funktionen (Agens, Patiens, Source, Goal) Funktionen (Agens, Patiens, Source, Goal) rhetorischerhetorische Funktionen (Thema, Rhema, Fokus) Funktionen (Thema, Rhema, Fokus)

Merkmalstrukturen sind (partielle) Merkmalstrukturen sind (partielle) FunktionenFunktionen in in einem mathematischen Sinneinem mathematischen Sinn

Funktionale Beschreibungen Funktionale Beschreibungen Sprachliche Ausdrücke werden durch werden durch funktionale funktionale

Beschreibungen Beschreibungen oder oder DeskriptionenDeskriptionen (engl. (engl. functionalfunctional descriptionsdescriptions, FD) beschrieben, FD) beschrieben

Eine einfache funktionale Deskription besteht aus Eine einfache funktionale Deskription besteht aus einer Menge von einer Menge von DeskriptorenDeskriptoren (engl. (engl. descriptordescriptor))

Ein Ein DeskriptorDeskriptor kann sein kann sein eine Konstituentenmenge (engl. eine Konstituentenmenge (engl. constituent setconstituent set, , C-setC-set)) ein Strukturmuster (engl. ein Strukturmuster (engl. patternpattern)) ein Merkmal, d.h. ein Attribut-Wert-Paarein Merkmal, d.h. ein Attribut-Wert-Paar

Attribute und WerteAttribute und WerteCAT =S

CAT =PRONGENDER =MASC

SUBJ = CASE =NOMNUMBER =SINGPERSON =3

CAT =PRONGENDER =FEM

DOBJ = CASE =ACCNUMBER =SINGPERSON =3

VERB =SEETENSE =PASTVOICE =ACTIVE

CAT =SCAT =PRONGENDER =FEM




VERB =SEETENSE =PASTVOICE =PASSIVE

CAT =SCAT =PRONGENDER =MASC





Grammatische vs. Semantische FunktionenGrammatische vs. Semantische FunktionenCAT =S






CAT =SCAT = PRONGENDER = MASC

PROT =NUMBER = SINGPERSON = 3

CAT = PRONGENDER = FEM

GOAL =NUMBER = SINGPERSON = 3

VERB =SEETENSE =PAST

Unifikation kompatibler FDDUnifikation kompatibler FDDCAT = S

CAT = PRONGENDER = MASC

SUBJ = PROT = CASE = NOMNUMBER = SINGPERSON = 3


DOBJ = GOAL = CASE = ACCNUMBER = SINGPERSON =3

VERB = SEETENSE = PASTVOICE = ACTIVE

Alternation inkompatibler FDDAlternation inkompatibler FDD

CAT = PRONGENDER = MASCCASE = NOMNUMBER = SINGPERSON = 3

CAT = PRONGENDER = FEMCASE = ACCNUMBER = SINGPERSON =3

CAT = PRONGENDER = MASCCASE = NOMNUMBER = SINGPERSON = 3

CAT = PRONGENDER = FEMCASE = ACCNUMBER = SINGPERSON =3

Strukturelle AmbiguitätStrukturelle Ambiguität

CAT = SSUBJ = he

CAT = NPHEAD = books

DOBJ = CAT = PRESP

MOD = LEX = WRITE

VERB = LIKETENSE = PRESVOICE = ACTIVE

CAT = SSUBJ = he

CAT = NPCAT = S

CAT = PRESPVERB = DOBJ =

LEX = WRITEHEAD =

CAT = NPDOBJ =

HEAD = books


He likes writing booksHe likes writing books

Vereinigung inkompatibler FDDVereinigung inkompatibler FDDInkompatible einfache FDD Inkompatible einfache FDD FF11, ..., , ..., FFk k können zu einer können zu einer einzigen komplexen FD {einzigen komplexen FD {FF11, ..., , ..., FFk k } vereinigt werden, } vereinigt werden, welche die Vereinigung der Objektmengen welche die Vereinigung der Objektmengen beschreibt, die durch ihre Komponenten beschrieben beschreibt, die durch ihre Komponenten beschrieben werden.werden.Diese Notation erlaubt es, gemeinsame Diese Notation erlaubt es, gemeinsame Komponenten in üblicher Weise auszuklammern und Komponenten in üblicher Weise auszuklammern und so große Klassen disparater Objekte in kompakter so große Klassen disparater Objekte in kompakter Weise zu beschreiben.Weise zu beschreiben.

Vereinigung inkompatibler FDDVereinigung inkompatibler FDDCAT = SSUBJ = he

CAT = NP

HEAD = booksCAT = PRESP

MOD = LEX = WRITE

DOBJ = CAT = SCAT = PRESP

VERB = LEX = WRITEHEAD = CAT = NP

DOBJ = HEAD = books


PfadePfade Eine Folge von Attributen (dargestellt von Atomen) Eine Folge von Attributen (dargestellt von Atomen)

in Spitzklammern bildet einen in Spitzklammern bildet einen PfadPfad::DOBJ HEAD VERB CATDOBJ HEAD VERB CAT

Für jeden Wert in einer FD gibt es wenigsten einen Für jeden Wert in einer FD gibt es wenigsten einen Pfad durch den er identifiziert wird, z.B. für den Wert Pfad durch den er identifiziert wird, z.B. für den Wert booksbooks: : DOBJ HEAD DOBJ HEADDOBJ HEAD DOBJ HEAD

Der Pfad Der Pfad aa11, , aa22, ..., , ..., aakk identifiziert den Wert des identifiziert den Wert des Attributs Attributs aak k in der FD, die den Wert des Pfades in der FD, die den Wert des Pfades aa11, , aa22, ..., , ..., aak-1k-1 darstellt. Es kann gelesen werden als das darstellt. Es kann gelesen werden als das aakk des des aak-1k-1,... ,... des des aa11..

Gleichheit vs. Identität von FDDGleichheit vs. Identität von FDD In der FUG werden Pfade auch in FDD verwendet, In der FUG werden Pfade auch in FDD verwendet,

z.B. um auszudrücken, dass Attribute identische z.B. um auszudrücken, dass Attribute identische Werte haben.Werte haben.

Es ist wichtig, zwischen der Es ist wichtig, zwischen der IdentitätIdentität und der und der GleichheitGleichheit von Werten zu unterscheiden. Mit dem von Werten zu unterscheiden. Mit dem Ausdruck [A = B = X] wird ausgedrückt, dass die Ausdruck [A = B = X] wird ausgedrückt, dass die Attribute A und B den identischen Wert X haben. Attribute A und B den identischen Wert X haben. A und B sind hier sozusagen verschiedene Namen A und B sind hier sozusagen verschiedene Namen für dasselbe Objekt. Würde der Informationsgehalt für dasselbe Objekt. Würde der Informationsgehalt für X geändert, würden sich dadurch gleichzeitig A für X geändert, würden sich dadurch gleichzeitig A und B ändern.und B ändern.

Verwendung von Pfaden in FDDVerwendung von Pfaden in FDDA = XB = X

A = XB = A

A = B = C X A = B = X

C = A B

Hier wird nur die "Gleichheit" Hier wird nur die "Gleichheit" von Werten ausgedrücktvon Werten ausgedrückt

Durch den Pfad <A> wird die Durch den Pfad <A> wird die "Identität" der Werte von A "Identität" der Werte von A und B ausgedrücktund B ausgedrückt

MerkmaleMerkmale Ein Paar, das aus einem Pfad in einer FD und einem Ein Paar, das aus einem Pfad in einer FD und einem

Wert besteht, zu dem der Pfad führt, ist ein Wert besteht, zu dem der Pfad führt, ist ein MerkmalMerkmal (engl. (engl. featurefeature) des beschriebenen Objektes.) des beschriebenen Objektes.

Ist der Wert ein Symbol (Atom), ist das Paar ein Ist der Wert ein Symbol (Atom), ist das Paar ein BasismerkmalBasismerkmal (engl. (engl. basic featurebasic feature) der FD.) der FD.

Jede FD kann als eine Liste von Basismerkmalen Jede FD kann als eine Liste von Basismerkmalen dargestellt werden. Dadurch wird allerdings der dargestellt werden. Dadurch wird allerdings der Unterschied zwischen Merkmalen und Strukturen Unterschied zwischen Merkmalen und Strukturen verwischt.verwischt.

Merkmale und StrukturenMerkmale und StrukturenCAT = S




DOBJ = GOAL = CASE = ACCNUMBER = SINGPERSON =3

CAT = VERBVERB =

WORD = SEETENSE =

PASTVOICE = ACTIVE

PERFECT = +ASPECT =

PROGRESSIVE =

He had seen herHe had seen her

MerkmallistenMerkmallisten

33

3

CAT S PROT NUMBER SING GOAL CASE FEMSUBJ CAT PRON PROT PERSON GOAL NUMBER SING

SUBJ GENDER MASC OBJ CAT PRON GOAL PERSONSUBJ CASE NOM OBJ GENDER FEM VERB CAT VERB

SUBJ NUMBER SING OBJ CASE ACC VERBWORD SEESUBJ PERSON OBJ N

3UMBER SING TENSE PAST

PROT CAT PRON OBJ PERSON VOICE ACTIVEPROT GENDER MASC GOAL CAT PRON ASPECT PERFECTPROT CASE NOM GOAL GENDER FEM ASPECT PROGRESSIVE

UnifikationUnifikation Wenn zwei oder mehr einfache FDD kompatibel sind, Wenn zwei oder mehr einfache FDD kompatibel sind,

können sie zu einer einfachen FD kombiniert können sie zu einer einfachen FD kombiniert werden, welche die Dinge beschreibt, die welche die werden, welche die Dinge beschreibt, die welche die Ausgangs-FDD beschreiben. Dieser Prozess heißt Ausgangs-FDD beschreiben. Dieser Prozess heißt UnifikationUnifikation..

In der FUG ist "=" das Zeichen für die Unifikation. In der FUG ist "=" das Zeichen für die Unifikation. Der Ausdruck Der Ausdruck bezeichnet also das Ergebnis der bezeichnet also das Ergebnis der Unifikation von Unifikation von und und

Unifikation einfacher FDDUnifikation einfacher FDD

CAT = VERB CAT = VERBLEX = RUN NUM = SINGTENSE = PRES PERS = 3

CAT = VERB CAT = VERBLEX = RUN TENSE = PASTTENSE = PRES PERS = 3

CAT = VERBLEX = RUNTENSE = PRESNUM = SINGPERS = 3

NILNIL

Unifikation einfacher FDDUnifikation einfacher FDD

CAT = PPPREP = MIT

CAT = NPHEAD =CASE = DAT

CASE = CASE

CAT = PPPREP = MITCASE = DAT

CAT = NPHEAD =

CASE = CASE

Unifikation komplexer FDDUnifikation komplexer FDDTENSE = PRESFORM = is CAT = VERB

TENSE = PASTTENSE = PASTFORM = was

CAT = VERBTENSE = PASTFORM = was

Constituent-sets und PatternsConstituent-sets und PatternsC-set = (SUBJ VERB OBJ)Pattern = (SUBJ VERB OBJ)CAT = S




SUBJ = GOAL = CASE = NOMNUMBER = SINGPERSON = 3

CAT = VERB

VERB = WORD = SEE

TENSE = PASTVOICE = ACTIVE

PERFECT = +ASPECT =

PROGRESSIVE =

FDD und SyntaxregelnFDD und Syntaxregeln

Pattern = (SUBJ VERB ...)CAT = SSUBJ = CAT = NP

SCOMP = NONEPattern = (... SCOMP)SCOMP = CAT = S

CAT = NP

CAT = VERB

S S NP VERB (S) NP VERB (S)

Funktionale Unifikations-Grammatik (FUG) Hauptmerkmale der FUG.

Documents

Transcript of Funktionale Unifikations-Grammatik (FUG) Hauptmerkmale der FUG.