Einfacher Schließen mit Horn-Logik

Kann aussagenlogisches Schließen auch effizient gelingen? Bisher benötigen alle unsere Algorithmen im schlimmsten Fall exponentiell viel Zeit. Aber nicht jeder praktisch wichtige Fall ist gleich der schlimmste und wir können sogar eine große Klasse von logischen Formeln bestimmen, für die wir polynomielles Verhalten garantieren können. Dieser Weg führt zur Horn-Logik. ► Playliste für diesen Videokurs:    • Automaten und Sprachen (B.Sc.-Niveau)   ► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/FS... (24. Vorlesung) ► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Fo... ► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/FormaleSys...