INFORMAÇÕES

  • Código: 1107263
  • Créditos: 4

EMENTA

Arquiteturas. Resolução de Problemas através de Busca. Algoritmos de Busca. Problemas de Satisfação de Restrições. Agentes Lógicos. Lógica de Primeira ordem. Inferência em lógica de primeira ordem. Representação do Conhecimento. Incerteza. Raciocínio Probabilístico ao Longo do Tempo. Ferramentas de Desenvolvimento e Aplicações.

BIBLIOGRAFIA

Russel, S. e Norvig, P. Artificial Intelligence: A Modern Approach (3rd Edition), Prentice Hall, 2009;

Nilsson, N. Artificial Intelligence: A New Synthesis, Morgan Kaufmann, 1998.