Trainingsprogramm zu formalen Techniken linguistischer Analyse |
||||||||||||||||
Semantik - Prädikatenlogik: Lambda-OperatorDer Lambda-Operator kennzeichnet Leerstellen: Definition über Angabe von Äquivalenzen / Sättigung von Leerstellen:
"[...x...]" ist eine Formel, die x enthält; "[...a...]" ist dieselbe Formel, nachdem alle freien Vorkommnisse von x durch a ersetzt wurden (=> x wird immer dort durch a ersetzt, wo es nicht durch einen Quantor gebunden ist) Ableitung von Analysen:
Geben Sie semantische Repräsentationen an!Ordnen Sie die Ausdrücke einer semantischen Repräsentation zu!
Geben Sie die semantischen Repräsentationen an! (2)Geben Sie für die semantischen Repräsentationen natürlichsprachliche Ausdrücke an!Ordnen Sie den semantischen Repräsentationen die passenden Ausdrücke zu!
λFxy[ONKEL(y,kai) /\ KUSINE(x,y) /\ F(x)] eine Kusine von Kais Onkel
λx[KUSINE(x,y(ONKEL(y,kai)))]eine Kusine eines Onkels von Kai x[KUSINE(x,y(ONKEL(y,kai)))]die Kusine von Kais Onkel λF x[KUSINE(x, y(ONKEL(y,kai))) /\ F(x)]Kusine von Kais Onkel x[ONKEL(x,y(KUSINE(y,kai)))]Kusine eines Onkels von Kai λFy[ONKEL(y,kai) /\ KUSINE(x,y)]der Onkel von Kais Kusine Ordnen Sie den Ausdrücken die passende semantische Repräsentation zu! (1)
ein weißer PudelWEISS(x(PUDEL(x))
der Pudel ist weißλF x [PUDEL(x) /\ WEISS(x) /\ F(x)] Tina ist ein weißer Pudel.x [PUDEL(x) /\ WEISS(x)] ein Pudel ist weißλx [PUDEL(x) /\ WEISS(x)] weißer PudelPUDEL(tina) /\ WEISS(tina) der Pudel, der weiß istx(PUDEL(x) /\ WEISS(x)) Ordnen Sie den Ausdrücken die passende semantische Repräsentation zu! (2)
Utas SchwesterλF x [SCHWESTER(x,uta) /\ F(x)]
Eine Schwester von UtaSCHWESTER(karen,uta) Uta hat eine Schwester.x [SCHWESTER(x,uta)] Karen ist Utas Schwesterx [SCHWESTER(x,uta)] |
||||||||||||||||
|