Documentos de Académico
Documentos de Profesional
Documentos de Cultura
HACIA ATRÁS
Hacia
atrás
Hacia
adelante
Encadenamiento hacia delante
(Forward Chaining) Deductivo:
p->q
p conejo(x)->mamifero(x)
_____________ mamifero(x)->animal(x)
:. q
Encadenamiento hacia atrás
(Backward Chaining) Inductivo