Encadeamento para trás com busca em profundidade

Abstract

Nesta vídeoaula será discutido um método chamado encadeamento para trás com busca em profundidade. Este modelo tem como características principais considerar como objetivos os nós que ainda não foram provados, nem todos os padrões na sentença serão considerados visto que terá prioridade o caminho da prova, além disso, não há como garantir que o método chegue a uma solução. Quando não se chegar a uma solução, é desconsiderado o caminho iniciado e começa um caminho alternativo, esse processo é chamado de retrocesso. Algumas condições são essenciais para que seja feito o retrocesso, que não haja mais nenhuma regra habilitada e não tenha nenhuma solução encontrada. Destina-se a alunos de graduação na área de Sistemas de Informação, Redes de Computadores, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas e cursos correlatos.