Knowledge compilation

In der Informatik ist ein binäres Entscheidungsdiagramm ( BDD ) oder verzweigtes Programm eine Datenstruktur zur Darstellung einer booleschen Funktion .

In der Booleschen Algebra befindet sich eine Formel in konjunktiver Normalform ( KNF ) oder Klauselnormalform, wenn sie eine Konjunktion von einer oder mehreren Klauseln ist , wobei eine Klausel eine Disjunktion von

In der künstlichen Intelligenz ist ein Satzentscheidungsdiagramm ( SDD ) eine Art der Wissensrepräsentation, die in der Wissenskompilation zur Darstellung Boolescher Funktionen verwendet wird .