Obwohl prädikatenlogisches Schließen unentscheidbar ist, kann man die korrekten Folgerungen doch zumindest rekursiv aufzählen, d.h. Schließen ist semi-entscheidbar. Das ist seit 1930 theoretisch bekannt, aber praktische Algorithmen wurden erst viel später entwickelt. Das Video gibt eine kurze Einleitung und einen Ausblick auf die nächsten Videos zu diesem Thema.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (16. 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
Bildrechte: Fotografie Kurt Gödel, um 1926, gemeinfrei
Негізгі бет Prädikatenlogisches Schließen ist semi-entscheidbar
Пікірлер