Raciocínio Inferencial
Raciocínio para Trás
- Caso uma destas regras tenha todas as suas condições satisfeitas diretamente pela memória de trabalho, o objetivo em sua parte direita é também adicionado à memória de trabalho.
- Um objetivo que não possa ser satisfeito diretamente pela memória de trabalho, nem inferido através de uma regra, é abandonado.
- Quando o objetivo inicial é satisfeito, ou não há mais objetivos, o processamento termina.