Raciocínio automatizado

O tema Raciocínio automatizado tem gerado grande interesse ao longo dos anos, tanto entre especialistas quanto entre o público em geral. A relevância de Raciocínio automatizado no contexto atual não pode ser esquecida, pois impacta diversos aspectos da vida cotidiana, desde a saúde até a política. Este artigo pretende oferecer uma visão completa e atualizada de Raciocínio automatizado, abordando suas implicações, sua evolução ao longo do tempo e as perspectivas futuras que se vislumbram em torno deste tema. Através de uma análise detalhada e rigorosa, procuramos proporcionar ao leitor um panorama claro e enriquecedor que lhe permita compreender plenamente a importância de Raciocínio automatizado nos dias de hoje.

Raciocínio automatizado é uma sub-área da inteligência artificial que estuda formas de simular raciocínio lógico por meio de métodos computacionais.[1]

Um dos principais algoritmos para raciocínio dedutivo automatizado, denominado SLD-resolução, usa refutação e apresenta as seguintes características:

– restringe-se à uma classe de fórmulas denominada cláusulas de Horn;

– emprega a resolução e unificação como regras de inferência;

– adota uma estratégia de busca em profundidade para controlar as inferências;

– introduz o conceito de predicado computável;

– introduz o conceito de negação por falha finita.

Referências

  1. ↑ Prof. Dr. Silvio do Lago Pereira, “Raciocínio Automatizado”, USP.