Raciocínio Inferencial
Raciocínio para Trás
- Começa usando a conclusão e tenta provar se são verdadeiras ou falsas as premissas.
- É também chamado de raciocínio dirigido por objetivos (“goal driven”).
- O comportamento do sistema é controlado por uma lista de objetivos. Um objetivo por ser satisfeito diretamente por um elemento da memória de trabalho, ou podem existir regras que permitam inferir algum dos objetivos correntes, isto é, que contenham uma descrição deste objetivo em suas partes direitas.
- As regras que satisfazem esta condição têm as instâncias correspondentes às suas partes esquerdas adicionadas à lista de objetivos correntes.