Lógica Modal

árboles de decisión

Lógica de proposicional

Lógica de predicados

amigo(juan, luis)

baila(pedro, ana)

representación declarativa

representación relacional

representación jerárquica

Resolución

backtracking

recorrido en amplitud

Recorrido en profundidad

Búsqueda a Ciegas

Búsqueda heurística

función de evaluación heurística

búsqueda primero el mejor

búsqueda por ascensión a la cima o gradiente

Conocimiento inferible

Lógica Difusa

datos

Conocimiento

teoría del conocimiento