Trainingsprogramm zu formalen Techniken linguistischer Analyse

Basis-Elemente:

uta, anja, waldi, x, y, z, s, ...

TANZEN,SINGEN,HAVE,F,G,H,...

CAUSE,BECOME,INST, ...

 

Uta tanzt morgen:

s [sINST[TANZEN(uta) /\ TIME(s,morgen)]



Uta ist wach:

WACH(uta)

Zustand

Uta schl?ft:

WACH(uta)

Zustand

Uta wacht auf:

BECOME[WACH(uta)]

Zustandswechsel

Anja weckt Uta:

CAUSE[anja, BECOME[WACH(uta)]]

Verursachung eines Zustandswechsels

 

weitere Beispiele:

Uta gibt Anja ein Buch:

x [BUCH(x) /\ CAUSE[uta,BECOME[HAVE(anja,x)] ]]

ein Buch geben:

λz λy x [BUCH(x) /\ CAUSE[y, BECOME[HAVE(z,x)] ]]

λy λx [CAUSE[x,BECOME[TOT(y)]]

schwärzen
Lösung anzeigen
das Fenster öffnen
Lösung anzeigen
das offene Fenster
Lösung anzeigen
Suche
Kontakt | Impressum