MAC0425 Introdução à Inteligência Artificial
OBJETIVOS: Expor o aluno às diversas áreas da Inteligência Artificial, com aprofundamento em alguns tópicos como resolução heurística de problemas, prova automática de teoremas e sistemas especialistas.
PROGRAMA: Resolução heurística de problemas: método de espaço de estados, método de reduções sucessivas de problemas a subproblemas. Prova automática de teoremas: método de resolução de Robinson, algoritmo de unificação, estratégias, respostas a perguntas, redução automática, métodos de organização da informação. Reconhecimento de padrões. Processamento de figuras. Programação automática. Processamento de linguagem natural. Programação em lógica e sistemas especialistas.
CARGA HORÁRIA SEMANAL E NÚMERO DE CRÉDITOS: 4 horas, 4 créditos-aula.
CRITÉRIO DE AVALIAÇÃO DA APRENDIZAGEM: Média ponderada de provas e exercícios.
BIBLIOGRAFIA BÁSICA:
- S. Russel, P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 1995.
![]()
- N.J. Nilsson, Artificial Intelligence: A New Synthesis, Morgan Kaufmann, 1998.
![]()
- E. Charniak, D. McDermott, Introduction to Artificial Intelligence, Addison-Wesley, 1985.
- E. Rich, Inteligência Artificial, McGraw-Hill, São Paulo, 1988.
OBSERVAÇÃO: Disciplina optativa eletiva no currículo do BCC.
[Veja dados da disciplina no JúpiterWeb]