5. Aufgabenblatt f¨ ur die Vorlesung
Volltext
ÄHNLICHE DOKUMENTE
AG Theorie der k¨ unstlichen Intelligenz FB Mathematik und Informatik, Universit¨at
(c) Gibt es eine Interpretation I, in der nur endlich viele Konzeptinklusionen erf¨
Bitte EMail-Adressen auf L¨ osungszetteln angeben, damit wir Euch ¨ uber die erreichte Punktzahl informieren
Bert sagt: “Wenn Chris nicht l¨ ugt, dann ist entweder Anna oder David ein L¨ ugner.”.. David sagt: “Wenn Bert die Wahrheit sagt, dann auch Anna
(b) Zeige, dass jede Klauselmenge erf¨ ullbar ist, wenn sie keine Klausel mit ausschließlich positiven Literalen enth¨ alt.. (c) Um einen Polyzeit-Algorithmus aus dem Resolutionssatz
Um die Korrektheit der Reduktion zu beweisen, hilft es wahrscheinlich, folgendes zu zeigen: wenn man die Wahrheitswerte einer 6=-WZ f¨ ur eine AL-Formel ϕ vertauscht (wahr durch
c) Verwende Trakhtenbrots Theorem, um zu beweisen, dass die Menge aller FO(τ )-S¨atze, die kein endliches Modell besitzen, nicht rekursiv
Gib jeweils die im Beweis des Vollst¨ andigkeitssatzes konstruierte Herbrandstruktur H an (dazu m¨ ussen zun¨ achst die Mengen Γ ∗ und ∆ ∗ konstruiert werden) und argumentiere,