Intelig\^encia Artificial

Raul H.C. Lopes

Programa

• Automated Reasoning
• Representa\c c\~ao do Conecimento
• Planejamento

Refer\^encias b\'asicas

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

Links de interesse

Ferramentas

• Isabelle: Provador de Teoremas
• PVS: Provador de Teoremas
• Implementa\c c\~ao do Haskell

Notas de Aula e Exerc\'icios

• Exerc\'icios sobre L\'ogica Proposicional
• Notas e exerc\'icios sobre indu\c c\~ao

Listas de Exerc\'icios

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

Provas