Klausur2015 Pur
Klausur2015 Pur
Klausur2015 Pur
1. ’schlafen’
2. ’beissen’
3. ’grün’
4. ’Gold’
5. ’Theo
Ist dies ein gültiger logischer (deduktiver) Schluss? Beweisen Sie Ihre
Aussage semantisch. Sagen genau anhand welche Information Sie den Beweis
für erbracht, bzw. nicht erbracht erachten.
1
4 PL zur Bedeutungsrepräsentation (12 P, 25 Min.)
Übersetzen Sie folgende Sätze in prädikatenlogische Formeln (falls möglich).
Im Falle von Skopusambiguitäten bitte alle Lesarten angeben.
s0 = argmaxsk P (sk )
Y
P (vj |sk )
vj ∈ C
2
6 Semantische Translation(10 P, 30 Min.)
Gegeben Theo besitzt einen Wagen ohne eine Klimaanlage. Übersetzen
Sie gemäss folgender Translationsregeln in eine logische Formel. Es gilt: γ
ist die logische Konstante, die β im Modell zugeordnet wird. Wir nehmen
für γ immer die Grundform von β und zwar in Kleinbuchstaben. N’ etc.
bedeutet: Translation von N.
Tipp: Seien Sie grosszügig mit dem Platz, geben Sie alle Zwischenschritte
an (z.B. bei der Lambdareduktion), und seien Sie genau (eine fehlende Klam-
mer führt schnell zu einer falschen Formel). Zwischenschritte werden bew-
ertet, ihr Fehlen bei richtiger Lösung führt daher zu Punkteverlust.