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 y (Gy /\ F(x,y))

  • Der Friseur singt
F(x(Gx))

  • grüne Tomate
  • netter Mensch
λx[F(x,a)]

  • das Meerschweinchen
  • der Brief
λ G x [Fx /\ Gx]

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

  • schwimmen
  • grün
λx[Fx]

  • eine Fliege
x y [Fy /\ G(x,y)]

  • einen Regenbogen sehen
  • eine Nachricht vergessen
λyλx[F(x,y)]

  • Anja streitet mit Ulla
  • Jan mag Anja
F(a,b)

  • den Postboten beißen
  • das Meer lieben
x[Fx]

  • die Kerze brennt
F(x(Gx))

  • die Mutter eines Mörders
  • der Ehemann einer Schwedin
λx[F(x, y(Gy))]

  • Utas Schwester
x [F (x,a)]

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)] der Onkel von Kais Kusine

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

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

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

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

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

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.PUDEL(tina) /\ WEISS(tina)

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

weißer Pudelx(PUDEL(x) /\ WEISS(x))

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

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

Utas Schwesterx [SCHWESTER(x,uta)]

Eine Schwester von UtaSCHWESTER(karen,uta)

Uta hat eine Schwester.x [SCHWESTER(x,uta)]

Karen ist Utas SchwesterλF x [SCHWESTER(x,uta) /\ F(x)]

Suche
Kontakt | Impressum