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...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (24. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...

[@xXSkyWalkerXx1]

Gutes Video!
Sollte es (hoffentlich nicht) Thema in meiner morgigen Prüfung sein, hab ich zumindest wenigstens kein kein-Plan. 😅

[@SiphonSoulsX]

Ah yes CZcams, let's watch this logic programming (I guess?) video in German, nice recommendation for a non-German speaker

[@prof.markus6569]

True, but isn't it also reassuring that Google does not know you as well as they think they do? Of course, they have to go with what they get from you, e.g., by trying to judge your interests by whether you comment on a video or not ;-) Or maybe they do know you after all - which percentage of CZcams's audience could identify propositional Horn logic as a form of logic programming? Anyway, at TU Dresden, we also have many free logic-related lectures in English (carefully separated from this German channel); see iccl.inf.tu-dresden.de/web/Courses/en

[@SiphonSoulsX]

@@prof.markus6569 I've heard about Horn logic in a propositional logic book from Kazimierz Kuratowski and on some random forum in my endless search for help in bug-fixing, but I'm not a mathematician or a computer scientist, I don't know where CZcams got this from 😄
Anyways, thanks for the suggestion and good luck in your work!