Kompilacja wiedzy

Kompilacja wiedzy to rodzina podejść do rozwiązywania trudnych problemów związanych ze sztuczną inteligencją .

Model zdaniowy jest kompilowany w fazie off-line w celu obsługi niektórych zapytań w czasie wieloczasowym. Istnieje wiele sposobów kompilowania modeli zdaniowych.

Różne skompilowane reprezentacje mają różne właściwości. Trzy główne właściwości to:

• Zwartość reprezentacji
• Zapytania, które są obsługiwane w polytime
• Transformacje reprezentacji, które można wykonać w wieloczasie

Klasy reprezentacji

Niektóre przykłady klas diagramów obejmują OBDD, FBDD i niedeterministyczne OBDD, a także MDD.

Niektóre przykłady klas formuł obejmują DNF i CNF .

Przykłady klas obwodów obejmują NNF , DNNF, d-DNNF i SDD.