La adquisición de conocimientos es esencial para definir las reglas y ontologías de los sistemas basados en el conocimiento.

El clasificador deductivo verifica la consistencia lógica de las declaraciones en un lenguaje de marcos.