Inteligência Artificial
Segundo semestre/2001

• Plano de Curso: HTML, PostScript. (Para leitura de PostScript, pegue o software apropriado.)
• Lista de Prologs. Sugestão: para ambiente Windows, use SWI-Prolog.
• Para usar o GNU Prolog nas máquinas do DCC (ambiente Unix), digite gprolog. Manual em: /usr/local/gprolog-1.0.0/doc/Html/index.html
• Transparências para o livro de Russel & Norvig (com espaços para figuras do livro):
  • Capítulo 1: Introdução.
  • Capítulo 2: Agentes Inteligentes.
  • Capítulo 3: Solução de Problemas por Busca.
  • Capítulo 4: Métodos de Busca Heurística.
  • Capítulos 3/4: Problemas de Satisfação de Restrições.
  • Capítulo 5: Jogos.
  • Capítulo 6: Agentes Lógicos.
  • Capítulo 7: Lógica de Primeira Ordem.
  • Capítulo 9: Inferência em Lógica de Primeira Ordem.
  • Capítulo 10: Sistemas de Raciocínio Lógico.
• Transparências para o livro de Bratko (com espaços para figuras do livro):
  • Capítulo 1: Introdução a Prolog.
  • Capítulo 2: Sintaxe e Significado de Programas Prolog.
  • Alguns Exemplos de Programas Prolog.
• Exercícios:
  • Primeiro Exercício de Prolog: Macacos e bananas. Entrega: 23/08/2001. Nova data: 29/01/2002.
  • Primeiro Exercício de Prolog/substitutivo: Uma listinha. Entrega: 30/08/2001. Nova data: 29/01/2002.
  • Exercício de Agentes: Aspirando pó. Entrega: 18/09/2001. Nova data: 31/01/2002.
  • Exercício de Busca: 8-puzzle. Entrega: 19/02/2002.
  • Torneio de Otelo: primeiro embate no dia 21/03/02, 13h, na sala 2011.
  • Exercícios de Lógica de Primeira Ordem. Entrega: 02/04/2002.
  • Um exercício sobre Planejamento. Entrega: 11/04/2002.