@misc{Obermaier2006,
  author    = {Obermaier, Claudia},
  title     = {Partielle Wissenskompilation},
  url       = {https://nbn-resolving.org/urn:nbn:de:kola-181},
  institution = {Institut f{\"u}r Informatik},
  pages     = {xii, 83},
  year      = {2006},
  abstract  = {Viele Probleme in der Aussagenlogik sind nur sehr aufw{\"a}ndig l{\"o}sbar. Ist beispielsweise eine Wissensbasis gegeben, an die wir Anfragen stellen, wollen, so kann dies mitunter sehr m{\"u}hsam sein. Um trotzdem effizient Anfragen beantworten zu k{\"o}nnen, hat sich die Vorgehensweise der Wissenskompilation entwickelt. Dabei wird die L{\"o}sung der Aufgabe in eine Offline- und eine Online-Phase aufgeteilt. In der Offline-Phase wird die Wissensbasis pr{\"a}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{\"a}ndig, muss jedoch nur einmalig durchgef{\"u}hrt werden. In der darauffolgenden Online-Phase k{\"o}nnen nun effizient Anfragen beantwortet werden. In dieser Diplomarbeit wird eine spezielle Normalform, die sich als Zielsprache der Pr{\"a}kompilation anbietet, untersucht. Außerdem wird die Pr{\"a}kompilation so in einzelne Schritte unterteilt, dass m{\"o}glicherweise bereits nach einigen Teilschritten Anfragen beantwortet werden k{\"o}nnen.},
  language  = {de}
}