Viele Probleme in der Aussagenlogik sind nur mit sehr viel Aufwand lösbar. Ist beispielsweise eine breite Wissensbasis gegeben, aus der wir Antworten erhalten wollen, kann dies mitunter sehr mühsam sein. Um trotzdem Anfragen zügig beantworten zu können, hat sich die Vorgehensweise der Wissenskompilation entwickelt. Bei diesem Ansatz 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 Form umgewandelt, in der
sich die erwarteten Anfragen effizient beantworten lassen. Diese Transformation der Wissensbasis ist i.d.R. sehr aufwändig, muss jedoch nur einmal durchgeführt werden. In der darauffolgenden Online-Phase können nun effizient Anfragen beantwortet werden. Dieses Buch untersucht eine Normalform, die sich als Zielsprache der Präkompilation eignet. Außerdem wird die Präkompilation in einzelne Schritte unterteilt, so dass möglicherweise bereits nach einigen Teilschritten Anfragen beantwortet werden können. Das Buch
richtet sich an alle, die sich für Wissensrepräsentation und das damit verbundene Reasoning in diesem Bereich der Informatik interessieren.