Einfacher Schließen mit Horn-Logik
Channel: Prof. Markus
Date: 2021-01-28

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: https://www.youtube.com/playlist?list=PLz7XhF-sAU8yRZCCwRqqphYXC5IFA-hUy
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/FS2020 (24. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung:  https://iccl.inf.tu-dresden.de/web/Formale_Systeme
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/FormaleSysteme