Métodos de Computação Inteligente:

Inteligência Artificial Simbólica (instância 2001.1)

Dicas, material bibliográfico e descrição geral desta disciplina encontram-se em

• www.di.ufpe.br/~compint/metodos.html

Informações Gerais

• Professor responsável: Flávia Barros
• Horário: terças 14-16h e quintas 16-18h
• Local:  M2
• Alunos: Lista geral de email
  1. Adjamir de Moura Galvão
  2. Aida Araújo Ferreira
  3. Andréa de Oliveira Pinto
  4. Carlos André Cavalcante Pessoa
  5. Cláudia Brito Lyra Nunes da Silva
  6. Daniel Nunes Lira Barbosa
  7. Eduardo José Torres Sampaio Rocha
  8. Erivan Alves de Andrade
  9. Ivan Gesteira Costa Filho
  10. Jeane Cecília Bezerra de Melo
  11. Lauro Didier Lins
  12. Leonardo Feitosa de Franca
  13. Luciano de Andrade Barbosa
  14. Márcio Leal de Melo Dahia
  15. Marco Antonio Costa Simões
  16. Oscar Gomes de Miranda
  17. Paulo Gustavo Soares da Fonseca
  18. Thiago José Marques Moura
  19. Thiago Luiz Vieira de Lima Santos
  20. Valdeci Araújo Júnior

Planejamento das aulas:

• Introdução
  • Inteligência Artificial (cap 1 do AIMA)
  • COMPUTING MACHINERY AND INTELLIGENCE - Alan Turing
• Agentes Inteligentes:
  • slides (cap 2)
  • Texto da professora!

• Resolucao de problemas e busca
  • Resolução de Problemas (secoes 3.1-3.4)
  • Busca cega e heurística
  • Busca iterativa e Resolução de restrições

• Conhecimento e Raciocínio: teoria e implementação
• • Agentes baseados em conhecimento
  • Regras de produção (secoes 9.4, 10.1, 10.2, 10.5-10.7 e outras referencias)
  • Shells: Expert Sintta - para download e Expert Sintta - homepage oficial
  • Agentes que raciocinam logicamente (cap 6)
  • Agentes baseados em logica de primeira ordem (cap 7)
  • Prolog I
    Livro texto de Prolog: Prolog Programming for Artificial Intelligence,
    I. Bratko, Addison-Wesley, 3rd Ed. 2001
    (várias cópias da 2a edição estão disponíveis na biblioteca do CCEN)
  • Prolog II
  • Aula de laboratório de Prolog
    • 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
  • Redes Semânticas e Frames (cap 10)
  • Regras e objetos: EOOPS
    Referências diversas
  • Aula de laboratório JEOPS
    instruções: http://www.di.ufpe.br/~csff/jeops/aulas/jeops-exs.html
  • Engenharia do Conhecimento (cap 8 AIMA, cap 3 de Turban e outras referências)
  • Aplicacoes de agentes

Avaliação

• Listas de Exercício
  • Exercício 1: Implementar algoritmos de busca
  • Exercício 2: Implementar um sistema especialista usando o Expert Sintta
  • Exercício 3: Implementar um sistema em Prolog
  • Exercício 4: Implementar agente explorador do mundo do Wumpus em JEOPS
  • Uma prova conceitual