TY - GEN A1 - Obermaier, Claudia T1 - Partielle Wissenskompilation T1 - Partial knowledge compilation N2 - Viele Probleme in der Aussagenlogik sind nur sehr aufwändig lösbar. Ist beispielsweise eine Wissensbasis gegeben, an die wir Anfragen stellen, wollen, so kann dies mitunter sehr mühsam sein. Um trotzdem effizient Anfragen beantworten zu können, hat sich die Vorgehensweise der Wissenskompilation entwickelt. Dabei wird die Lösung der Aufgabe in eine Offline- und eine Online-Phase aufgeteilt. In der Offline-Phase wird die Wissensbasis präkompiliert. Dabei wird sie in eine bestimmte Form umgewandelt, auf der sich die erwarteten Anfragen effizient beantworten lassen. Diese Transformation der Wissensbasis ist meist sehr aufwändig, muss jedoch nur einmalig durchgeführt werden. In der darauffolgenden Online-Phase können nun effizient Anfragen beantwortet werden. In dieser Diplomarbeit wird eine spezielle Normalform, die sich als Zielsprache der Präkompilation anbietet, untersucht. Außerdem wird die Präkompilation so in einzelne Schritte unterteilt, dass möglicherweise bereits nach einigen Teilschritten Anfragen beantwortet werden können. KW - Aussagenlogik KW - Wissenskompilation KW - Zirkumskription KW - DNNF KW - DPLL KW - Knowledge Compilation KW - Propositional Logic KW - Circumscription KW - DNNF KW - DPLL Y1 - 2006 UR - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/18 UR - https://nbn-resolving.org/urn:nbn:de:kola-181 ER -