Esquemas lógicos:

La lógica fue uno de los primeros formalismos usados por los

investigadores de IA para representar estructuras de conocimiento en
ordenadores digitales. El propósito de usar la lógica como medio de
representación de conocimiento es aportar una notación que sea lo
suficientemente versátil para cubrir los conceptos deseados y al mismo
tiempo sea capaz de soportar procesos deductivos.

Ejemplos: