Encadeamento para trás
O encadeamento para trás é um método de raciocínio utilizado na inteligência artificial e na matemática. É também conhecido como raciocínio para trás ou indução para trás. O método é usado para resolver problemas trabalhando para trás do estado de meta para o estado atual. Isto é feito usando um conjunto de regras ou axiomas … Ler mais