Inteligência Artificial

Justificativa

Apresentar os métodos de resolução de problemas

utilizando os paradigmas da Inteligência Artificial,
principalmente aqueles ligados à programação heurística.
Desenvolver aplicações de IA, notadamente aquelas em
uso em outras áreas da Ciência da Computação.

Ementa

Sistemas de Produção e Inteligência Artificial. Estratégias

de Busca. Estratégias de Busca para sistemas
decomponíveis. Cálculo de Predicados em IA. Resolução.
Sistemas de Dedução baseados em regras. Aplicações.

Descrição do Conteúdo
 Sistemas de Produção e Inteligência Artificial
o Sistemas de Produção
o Sistemas de Produção Especializados
o Diferentes tipos de Sistemas de Produção
 Estratégias de Busca
o Backtracking
o Busca em grafos
o Procedimentos aleatórios de busca em grafos
o Procedimentos heurísticos
o Algoritmos Heurísticos
o Medidas de performance
 Estratégias de Busca para sistemas decomponíveis
o Busca cm grafos E/OU
o Algoritmo AO*
o Relações entre sistemas decomponíveis e comutativos
o Busca em árvores de jogos
 Cálculo de Predicados em lA
o Cálculo de Predicados
o Resolução
o Funções de Skolem
o O uso de cálculo de predicados em IA
 Resolução
o Sistemas de Produção para refutações
o Estratégias de controle para métodos de resolução
o Estratégias de Simplificação
o Extração de respostas a partir de refutações
 Sistemas de Dedução baseados em regras
o Encadeamento para frente
o Encadeamento para trás
o Dedução em grafos E/OU
o Combinação de Encadeamentos
o Conhecimento em sistemas de dedução
 Aprendizagem Automática
o Aprendizagem de Conceitos
o Árvores de Decisão
o Redes Neurais Artificiais
o Algoritmos Genéricos
 Aplicações
o Movimentos de Robôs
o Sistemas Baseados em Conhecimento

Bibliografia Básica

 Rich, E. & Knight, K. (1991). Artificial Intelligence. 2nd ed. McGraw-

Hill.
 Russell, S. & Norvig, P. (1995). Artificial Intelligence – A Modern
Approach. Prentice-Hall.

Bibliografia Complementar

 Michael G. (1987). Logical Foundations of Artificial Intelligence.

Morgan Kaufman.
 Winston, P. (1992). Artificial Intelligence. Addison-Wesley.