La compilación de conocimientos es una familia de enfoques para abordar la intratabilidad de una serie de problemas de inteligencia artificial .
Un modelo proposicional se compila en una fase fuera de línea para poder soportar algunas consultas en tiempo polinomial . Existen muchas formas de compilar un modelo proposicional. [1]
Las distintas representaciones compiladas tienen diferentes propiedades. Las tres principales son:
Algunos ejemplos de clases de diagramas incluyen OBDD , FBDD y OBDD no deterministas, así como MDD.
Algunos ejemplos de clases de fórmulas incluyen DNF y CNF .
Los ejemplos de clases de circuitos incluyen NNF , DNNF, d-DNNF y SDD .