Fundamentos de Inteligência Artificial

1o Semestre 2001

Informações Gerais

• Professores responsáveis:
• • Parte simbólica: Flávia Barros
  • Parte conexionista: Germano Vasconscelos
• Monitor: a definir
• Ementa, material bibliográfico e método de avaliação se encontram na página genérica da disciplina: http://www.cin.ufpe.br/~compint/fia.html
• Newsgroup: depto.cursos.grad.if126
• Local: Sala 4
• Horários: 3a feira 8-10h; 5a feira 10-12h.
• Alunos:
• • para mandar emails para a turma, clique aqui
  • veja lista de equipes aqui

Calendário:

• Introdução geral: 06/03
• Inteligência Artificial Simbólica: 08/03 a ?
• Inteligência Artificial Conexionista: ??

Aula Inaugural: Apresentação da Disciplina e dos professores (06/03)

Aula 1: Introdução a inteligência artificial (08/03)

• Leitura:
  • Capítulo 1 do Russell & Norvig
  • COMPUTING MACHINERY AND INTELLIGENCE - Alan Turing
• Transparências: IntroIA.ppt

Aula 2: Agentes Inteligentes (13/03)

• Leitura:
  • Capítulo 2 do Russell & Norvig
  • Texto da professora!
• Transparências: Agentes.ppt

Aula 3: Resolução de problemas (15/03)

• Transparências: ResoluçãoProblema.ppt

Aulas 4 e 5: Busca cega e busca heurística ()

• Leitura: Capítulos 3 e 4 do Russell & Norvig
• Transparências: BuscaCega.ppt, BuscaHeuristica.ppt, Otimização.ppt
• Exercícios: Lista1.doc

Aula 6: Agentes baseados em conhecimento ()

• Leitura: Seções 6.1, 6.3, 8.1, 8.3, 10. 2 do Russell & Norvig
• Transparências: kbs.ppt

Aula 7: Sistemas de produção ()

• Leitura:
• • Seções 9.4 e 10.6 do Russell & Norvig
  • Seção 14.5 do Turban & Aronson
• Transparências: rp.ppt

Aula 8: Shells de Sistemas Especialistas ()

• Aula prática no laboratório
• Shells: Expert Sintta - para download e Expert Sintta - homepage oficial
• Exercícios: Lista2.htm

Aula 9: Agentes baseados em Lógica ()

• Transparências: Cap6.ppt

Aula 10: Agentes que Raciocinam em Lógica da 1a ordem ()

• Transparências: Cap7.ppt

Aula 11: Prolog, Sintaxe, Busca e Backtracking ()

• Leitura: pp. 4-26, 38-43 do Bratko
• Transparências: PrologLab,  PrologTéorico,
• Documentação:
  • Manual de XSB, Volume 1 (Prolog): Postscript local, HTML no site do XSB
  • Manual de XSB, Volume 1 (API Prolog / C, SQL, Perl): Postscript local, HTML no site do XSB

Aula 12: Prolog, Negação por Falha e Predicados Built-in ()

• Leitura: pp. 56-63, 68-73, 82-84, 126-141 do Bratko
• Transparências: ver aula 11

Aula 13: Prolog, Aritmética, Programação e Depuração ()

• Leitura: pp. 88-91, 146-149, 156, 159, 162-163 do Bratko
• Transparências: ver aula 11
• Aula prática no laboratório
• Exercicío 2: projeto e implementação de um sistema especialista classificador
  • em dupla, com cada dupla modelando um domínio diferente (ex., carros, animais, etc.)
  • projeto conceitual comum
  • uma versão implementada com Sintta
  • uma versão implementada em Prolog
  • esquema de pontuação

Aula 14: Engenharia do Conhecimento e Sistemas Especialistas (03/05)

• Leitura:
  • Capítulo 8 e Seções 10.6-10.7 do Russell & Norvig
  • Capítulo 13 e Seções 14.4, 14.6-14.7 do Turban & Aronson
• Transparências: engcomp.ppt

Aula 15: Aplicações de agentes inteligentes ()

• Leitura: A roadmap of agent research and development
• Transparências: aplicacoes.ppt

Prova de Inteligência Artificial Simbólica ()