Wiederholung

Weitere Magazine

Empfehlungen

Info

<strong>Wiederholung</strong> Aussagenlogik: Semantik Belegung β : P → {0, 1} Wert von ϕ ∈ AL(P) unter Belegung β: p β = β(p) für p ∈ P, induktive Berechnung für zusammengestezte Formeln Modell (erfüllende Belegung) für ϕ ∈ AL(P): β : P → {0, 1} mit ϕ β = 1 Modellmenge von ϕ ∈ AL(P): Mod(ϕ) = {β : P → {0, 1} | ϕ β = 1} (Boolesche Funktion, Wahrheitswerttabelle) 81
Erfüllbarkeit Formel ϕ ∈ AL(P) heißt erfüllbar gdw. Mod(ϕ) ≠ ∅ unerfüllbar gdw. Mod(ϕ) = ∅ allgemeingültig gdw. Mod(¬ϕ) = ∅ Erfüllbarkeit ist algorithmisch entscheidbar. semantisch z.B. durch Wahrheitswerttabellen syntaktisch z.B. durch Resolution Werkzeuge: SAT-Solver 82
Seite 1 und 2: Was bisher geschah ◮ Agent und Um
Seite 3 und 4: Nichtklassische Logiken ◮ Modallo
Seite 5 und 6: Wissensrepräsentation und -verarbe
Seite 7: Wiederholung Aussagenlogik: Syntax
Seite 11 und 12: Semantisches Folgern ψ ∈ AL(P) h
Seite 13 und 14: Modellierungsbeispiel (Aussagenlogi
Seite 15 und 16: Syntaktisches Schließen gegeben: F
Seite 17 und 18: Ableitung im Kalkül K Definition (
Seite 19 und 20: Aussagenlogische Resolution Formeln
Seite 21 und 22: Resolutionsableitungen von f Proble
Seite 23: Korrektheit und Vollständigkeit Di

Wiederholung

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?