Inteligência Artificial

Raul H.C. Lopes

Programa

• Automated Reasoning
• Representação do Conecimento
• Planejamento

Referências básicas

• Artificial Intelligence: A Modern Approach
  Stuart Russel, Peter Norvig

Links de interesse

Ferramentas

• Isabelle: Provador de Teoremas
• PVS: Provador de Teoremas
• Implementação do Haskell

Notas de Aula e Exercícios

• Exercícios sobre Lógica Proposicional
• Notas e exercícios sobre indução

Listas de Exercícios

• Lista 0 (06/12 - Ex. 3 mudado)

Provas