Beruflich Dokumente
Kultur Dokumente
Semantische Reprsentation
Als Darstellungsmittel werden semantische
Reprsentationssprachen entwickelt, deren Funktion es ist,
semantische Reprsentationen auf ein Modell eines
Weltausschnitts abzubilden.
Elemente.
x,yHaving(x)Haver(Speaker,x)HadThing(y,x)Car(y)
Having
Haver
HadThing
Speaker
Car
Car
Having
POSSBY
Haver:Speaker
Speaker
HadThing:Car
Verifizierbarkeit
Eindeutigkeit
Kanonische Form
Inferenzen
Ausdrucksstrke
4
Verifizierbarkeit
Diese Eigenschaft einer semantischen Reprsentation bezieht
sich auf ihre Auswertbarkeit, d.h. auf den Bezug zu einem
modellierten Weltausschnitt, fr den die uerung etwa als
zutreffend oder nicht zutreffend bewertet werden kann.
DoesMaharaniservevegetarianfood?
Eine sehr vereinfachte semantische Reprsentation knnte die
folgende Darstellung sein:
Eindeutigkeit
Natrlichsprachliche Ausdrcke sind notorisch mehrdeutig,
und dies auf vielerlei Ebenen (morphologisch, lexikalisch,
syntaktisch, semantisch, ...).
Iwannaeatsomeplacethatscloseto
ICSI.
Hier ist das direkte Objekt ein unwahrscheinlicher Kandidat
fr das semantische Objekt von eat.
Semantische Reprsentationen sollten mglichst eindeutig
sein, um auf ein Modell abgebildet werden zu knnen.
Gegenbeispiel:
HanslasdenBriefseinerMuttervor.
Mit Mehrdeutigkeit ist der Begriff der Vagheit verbunden,
der jedoch nicht immer mehrdeutige semantische
Reprsentationen (und deren Auflsung) erfordert. Dies
hngt vielmehr vom Anwendungszusammenhang ab.
IwanttoeatItalianfood.
Kanonische Form
Unterschiedliche sprachliche Oberflchenuerungen sollen
auf dieselbe semantische Reprsentation abgebildet werden.
DoesMaharanihavevegetariandishes?
DotheyhavevegetarianfoodatMaharani?
ArevegetariandishesservedatMaharani?
DoesMaharaniservevegetarianfare?
Unterschiedliche syntaktische Ausprgungen und
lexikalische Realisierungen (have,served;dishes,
food, ...) bedeuten (in einem Anwendungskontext) das
Gleiche.
Solche Lesarten knnen durch den Kontext (hoffentlich)
disambiguiert werden (word-sense disambigiation).
Maharaniservesvegetariandishes.
VegetariandishesareservedbyMaharani.
Inferenzen
Oftmals gibt es keine direkte Entsprechung zwischen
semantischen Reprsentationen und Modellelementen.
CanvegetarianseatatMaharani?
Inferenzen (Schlussfolgerungen, Ableitungen) mssen hier
fr eine Beziehung zwischen semantischer Reprsentation
und dem Modell sorgen.
IdliketofindarestaurantwhereI
cangetvegetarianfood.
Eine sehr einfache Reprsentation wre hier etwa:
10
Und die Ergebnisse einer Suche knnte dann die Menge aller
Instanzen fr x sein.
11
Prdikat-Argument Struktur
Vielen (wenn nicht allen) natrlichen Sprachen liegt eine
Prdikat-Argument Struktur zugrunde, und zwar sowohl im
syntaktischen Bereich wie im semantischen.
HansschenktseinerFraueinBuch.
HansschenkteinBuch.
*HansschenktseinerFrau.
Die syntaktischen Funktionen knnen auch durch
semantische Merkmale beschrieben werden:
(Selektionsrestriktionen, Thematische Rollen, Tiefenkasus).
IchsitzeinderKirche.
IchgeheindieKirche.
Makeareservationforthisevening
foratablefortwopersonsat8.
12
13
LocationOf (Maharani)
Restaurant (Maharani)
14
15
Formula AtomicFormula
Formula
(Formula)
AtomicFormula
Term
Constant
Variable
Connective
Quantifier
Constant
Variable
y ...
16
Predicate
Serves
Near ...
Function
LocationOf
17
CuisineOf ...
AyCarambaisnearICSI.
WenndasErgebnisderbeidenFunktionenderDefinitiondes
PrdikatsNearentspricht,dannistdieFormelwahr,ansonsten
falsch.
Wahrheitswerttabelle:
PQ
PQ
PQ
F
F
T
T
F
T
F
T
T
T
F
F
F
F
F
T
F
T
T
T
T
T
F
T
18
19
20
21
Schema:
, seien Formeln
Beispiel:
VegetarianRestaurant (Rudys)
x VegetarianRestaurant (x) Serves (x, VegetarianFood)
Serves (Rudys, VegetarianFood)
24
25
Iate.
Iateaturkeysandwich.
Iateaturkeysandwichatmydesk.
Iateatmydesk
Iatelunch.
Iateaturkeysandwichforlunch.
Iateaturkeysandwichforlunchatmy
desk.
Eating1 (Sp)
Eating2 (Sp, TS)
Eating3 (Sp, TS, D)
Eating4 (Sp, D)
Eating5 (Sp, L)
Eating6 (Sp, TS, L)
Eating7 (Sp, TS, L, D)
Wenn (7s) wahr ist, dann sind es auch die anderen Prdikate.
Eine Beziehung der Eating-Prdikate und Konzepten wie
Hunger, Nahrung ist mhselig.
impliziert nicht:
IchameinMittagessenamSchreibtisch
w Eating (Sp, w, L, D)
Was fehlt ist die Referenz auf ein spezielles Ereignis.
(1) Iate.
w ISA (w, Eating) Eater (w, Sp)
(6) Iateaturkeysandwichforlunch.
w ISA (w, Eating)
Eater (w, Sp) Eaten (w, TS) MealEaten (w, Lunch)
Vorteile:
Fr Verben muss keine feste Argumentanzahl
vorgesehen werden
28
29
Tempus-Logik.
31
32
33
1.
2.
3.
4.
36
Symbol
Inverse
Relation
Beispiel
_________________________________________________________________
(A before B)
<
>
AAAA BBBB
(A equals B)
AAAA
BBBB
(A meets B)
mi
AAAABBBB
(A overlaps B)
oi
AAAA
BBBB
(A during B)
di
AAAA
BBBBBBB
(A starts B)
si
AAAA
BBBBBB
(A finishes B)
fi
AAAA
BBBBBB
37
1.
(A during B)
NA ---(d) NB
2.
(A during B)
(A before B)
(B during A)
NA ---(< d di) NB
3.
(A before B)
(A after B)
(A meets B)
(B meets A)
(A during B)
w, x, y, z (w meets x meets A meets y meets z)
(w meets B meets z)
(A starts B)
x, y, z (x meets A meets y meets z)
38
(x meets B meets z)
39
40
43