Der Resolutionsalgorithmus

Wir schauen uns an, wie Resolution in der Prädikatenlogik funktioniert. Dazu bespreche ich kurz die Unifikation von Atomen und erkläre dann die Resolutionsregel. An einem Beispiel sehen wir, wieso man während der Resolution Varianten bilden muss.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (19. 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