Computational Semantics
Tutorial

Aufgaben

Chapter 1: First-Order Logic

Gültigkeit von Formeln im Modell (BB: Exercise 1.1.10)

is_vocab/1 (BB: Exercise 1.1.2) – Verständnis

is_vocab/1 (BB: Exercise 1.1.2) -Programmieren

Modell schreiben (BB: Exercise 1.1.4)

Modell schreiben (BB: Exercise 1.1.4) – Musterlösung

Natürliche Sprache zu First-Order Logic (BB: Exercise 1.1.5)

isModel/1 (BB: Exercise 1.3.3)

Chapter 2: Lambda Calculus

Grammar Engineering

Chapter 3: Underspecified Representations

Es sind noch keine Aufgaben diesem Kapitel zugeordnet.

Chapter 4: Propositional Inference

New Connectives (BB: Exercise 4.2.2)

Resolutionsregel – Teil 1

Resolutionsregel – Teil 2

Resolutionsregel – Teil 3

Resolutionsregel – Teil 4

Tableau Proofs (BB: Exercise 4.2.1)

Chapter 5: First-Order Inference

Es sind noch keine Aufgaben diesem Kapitel zugeordnet.

Chapter 6: Curt

Es sind noch keine Aufgaben diesem Kapitel zugeordnet.