Endlich schließen wir den Beweis der Vollständigkeit der Resolution ab. Die wenselithce Idee dabei ist es, die Vollständigkeit der aussagenlogischen Resolution auf Herbrandexpansionen in die Ebene der Prädikatenlogik zu "heben": das sogenannte Lifting-Lemma. Aus dem abgeschlossenen Vollständigkeitsbeweis können wir dann noch die Kompaktheit der Prädikatenlogik (erster Stufe) folgern und erste Grenzen der Ausdrucksstärke dieser Logik erkennen.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (20. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет Die Vollständigkeit der prädikatenlogischen Resolution
Пікірлер