Introdução e Histórico

• Histórico

  • Teoria da Resolução de Robinson - 1965. Transforma a expressão a ser provada para a forma normal conjuntiva ou forma clausal. Existe uma regra de inferência única, chamada regra da resolução.Utiliza um algoritmo de casamento de padrões chamado algoritmo de unificação.
  • Base para a Linguagem Prolog.
  • Recentemente Lógicas Não-Padrão ou Não-Clássicas tem sido cada vez mais utilizadas, não somente em IA. Lógica Temporal tem sido utilizada em estudos de programas concorrentes.
  • Em IA estas lógicas vem sendo usadas para tratamento de imprecisão, informações incompletas e evolução com o tempo em que evolui o programa de IA.

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico