Trainingsprogramm zu formalen Techniken linguistischer Analyse

Semantik - Prädikatenlogik: Lambda-Operator

Der Lambda-Operator kennzeichnet Leerstellen:

Definition über Angabe von Äquivalenzen / Sättigung von Leerstellen:

λx [...x...](a) <=> [...a...]

"[...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:

 

tanzen

=> braucht noch ein Subjekt, um ein Satz zu werden

 

=> Subjekt muss noch ergänzt werden

=>

λx [TANZEN(x)]

Sättigung der Leerstelle (Bsp.: Subjekt "Uta"):

 

λx [TANZEN(x)](uta)


<=> TANZEN(uta) ("Uta tanzt")

Geben Sie semantische Repräsentationen an!

singen
Lösung anzeigen
eine blaue Tasse
Lösung anzeigen
ein Wal
Lösung anzeigen
Karen anrufen
Lösung anzeigen
küssen
Lösung anzeigen
freundlich
Lösung anzeigen
Bleistift
Lösung anzeigen
lachen
Lösung anzeigen
anrufen
Lösung anzeigen
Mutter
Lösung anzeigen
ermorden
Lösung anzeigen
Jens mögen
Lösung anzeigen

Ordnen Sie die Ausdrücke einer semantischen Repräsentation zu!

  • Partner von Karen
  • Freundin von Anja
λx[F(x,a)]

  • Der Friseur singt
x [F (x,a)]

  • grüne Tomate
  • netter Mensch
F(a,b)

  • das Meerschweinchen
  • der Brief
λx y (Gy /\ F(x,y))

  • lesen
  • kaufen
λx[Fx /\ Gx]

  • schwimmen
  • grün
x y [Fy /\ G(x,y)]

  • eine Fliege
F(x(Gx))

  • einen Regenbogen sehen
  • eine Nachricht vergessen
x[Fx]

  • Anja streitet mit Ulla
  • Jan mag Anja
λ G x [Fx /\ Gx]

  • den Postboten beißen
  • das Meer lieben
λyλx[F(x,y)]

  • die Kerze brennt
λx[Fx]

  • die Mutter eines Mörders
  • der Ehemann einer Schwedin
F(x(Gx))

  • Utas Schwester
λx[F(x, y(Gy))]

Geben Sie die semantischen Repräsentationen an! (2)

Fahrrad
Lösung anzeigen
Utas Mutter
Lösung anzeigen
fliegen
Lösung anzeigen
Die Eule frisst eine Maus.
Lösung anzeigen
schlagen
Lösung anzeigen
Kröte
Lösung anzeigen
Jan ist ein schöner Mann
Lösung anzeigen
der Mann, den Karen liebt
Lösung anzeigen
ein Buch lesen
Lösung anzeigen
ein Dinosaurier
Lösung anzeigen
Der Käse stinkt
Lösung anzeigen
Sven löst alle Aufgaben
Lösung anzeigen
ein grüner Stift
Lösung anzeigen
Utas ratte heißt Willi
Lösung anzeigen
Paul ruft Uta an
Lösung anzeigen
Uta kauft einen Hund
Lösung anzeigen
Ein weißer Hund beißt Stefan
Lösung anzeigen

Geben Sie für die semantischen Repräsentationen natürlichsprachliche Ausdrücke an!

λF x [FRAU(x) /\ F(x)]
Lösung anzeigen
x [FRAU(x)]
Lösung anzeigen
FRAU(uta)
Lösung anzeigen
λx [FRAU(x)]
Lösung anzeigen
λx POSTBOTE(x)
Lösung anzeigen
λF x [COMPUTER(x) /\ F(x)]
Lösung anzeigen
ARBEITEN(uta)
Lösung anzeigen
x [WEIHNACHTSMANN(x)]
Lösung anzeigen
λx [SINGEN(x)]
Lösung anzeigen
x [SCHIFF(x) /\ SINKEN(x)]
Lösung anzeigen

Ordnen Sie den semantischen Repräsentationen die passenden Ausdrücke zu!

λFxy[ONKEL(y,kai) /\ KUSINE(x,y) /\ F(x)] Kusine von Kais Onkel

λx[KUSINE(x,y(ONKEL(y,kai)))]Kusine eines Onkels von Kai

x[KUSINE(x,y(ONKEL(y,kai)))]eine Kusine eines Onkels von Kai

λF x[KUSINE(x, y(ONKEL(y,kai))) /\ F(x)]der Onkel von Kais Kusine

x[ONKEL(x,y(KUSINE(y,kai)))]eine Kusine von Kais Onkel

λFy[ONKEL(y,kai) /\ KUSINE(x,y)]die Kusine von Kais Onkel

Ordnen Sie den Ausdrücken die passende semantische Repräsentation zu! (1)

ein weißer PudelλF x [PUDEL(x) /\ WEISS(x) /\ F(x)]

der Pudel ist weißx [PUDEL(x) /\ WEISS(x)]

Tina ist ein weißer Pudel.x(PUDEL(x) /\ WEISS(x))

ein Pudel ist weißλx [PUDEL(x) /\ WEISS(x)]

weißer PudelWEISS(x(PUDEL(x))

der Pudel, der weiß istPUDEL(tina) /\ WEISS(tina)

Ordnen Sie den Ausdrücken die passende semantische Repräsentation zu! (2)

Utas SchwesterSCHWESTER(karen,uta)

Eine Schwester von Utax [SCHWESTER(x,uta)]

Uta hat eine Schwester.λF x [SCHWESTER(x,uta) /\ F(x)]

Karen ist Utas Schwesterx [SCHWESTER(x,uta)]

Suche
Kontakt | Impressum