Métodos de Computação Inteligente:

Inteligência Artificial Simbólica

Nesta disciplina, estudaremos métodos de construção de programas 
capazes de exibir um  comportamento inteligente na realização de 
tarefas complexas, para das quais a computação convencional ainda 
não consegue resultados satisfatórios.  Em particular, nos dedicaremos 
aos métodos simbólicos seguindo a abordagem  de agentes inteligentes, 
que tem atualmente despontado como a mais promissora.

Dando continuidade a esta disciplina, oferecemos no segundo semestre 
letivo Topicos Avancados em Computacai Inteligente II, que trata das  
tecnicas mais avancadas da IA simbolica.

Informações Gerais

• Homepage: www.di.ufpe.br/~compint/metodos.html
• Cursos realizados ou em andamento:
  • 1998.1
  • 1998.2
  • 1999.1
  • 2000.1

• Ementa

        Parte I : Conceitos básicos

  • Introdução
    1. Inteligência Artificial
    2. Agentes Inteligentes
  • Resolucao de problemas e busca
    1. Resolução de Problemas
    2. Busca cega e Busca heurística
  • Conhecimento e Raciocínio
    1. Agentes que raciocinam logicamente
    2. Agentes baseados em lógica de primeira ordem
    3. Regras
    4. Hierarquias, classes e objetos
    5. Engenharia de conhecimento, ontologias e sistemas especialistas
    6. Ferramentas de implementacao: shells, prolog, sistemas hibridos
    7. Tratamento de incerteza

   Parte II: Projeto

  • Aula de defnição
  • Realização (4 semanas)

  Material bibliográfico:

  • Livro texto:
    • Artificial Intelligence: a Modern Approach.
      Russel, S., & Norvig, P.
      Englewood Cliffs: Prentice-Hall, Inc. 1995
  •  Outros livros:
    • Expert Systems and Applied Artificial Intelligence
      Turban, E.
      McMillan, 1992
    • Artificial Intelligence
      Rich, E., & Knight, K.
      McGraw-Hill. (2nd ed.), 1983.
    • Artificial Intelligence, Theory and Practice.
      Dean., T., Allen, J. and Aloimonos, Y.
      Menlo Park: The Benjamin/Cummings Pub. Co., 1995.
    • Artificial Intelligence: structures and Strategies for Complex Problem Solving.
      Luger, G. & Stubblefiled, W.
      Menlo Park: The Benjamin/Cummings Pub. Co. (2nd ed.). 1993
      Artificial Intelligence
    • Winston, P.
      London: Addison-Wesley, (3rd ed.), 1992.
    • Software Agents.
      Bradshaw, J.
      MIT Press, 1997
    • Internet Agents
      Cheong, F.
      New Riders, 1997
  • Artigos diversos
    • Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents.
      S. Franklin and A. Graesser (1997)
      in J.P. Muller, M.J. Wooldridge & N.R. Jennings (eds.). Intelligent Agents III: Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages. Vol 1193 of Lecture Notes in Computer Science, Springer-Verlag.