MAC0444  Sistemas Baseados em Conhecimento

OBJETIVOS:  Expor o aluno às diversas áreas da Inteligência Artificial, com aprofundamento em alguns tópicos como raciocínio lógico, raciocínio com incerteza, construção de bases de conhecimento, engenharia de conhecimento, ontologia e processamento de linguagem natural.

PROGRAMA:  Fundamentos da Inteligência Artificial. Resolução de problemas com técnicas de busca. Representação de conhecimento. Raciocínio lógico. Inferência em lógica de predicados de primeira ordem. Provador de teoremas. Construção de bases de conhecimento. Engenharia de conhecimento. Engenharia e uso de ontologias. Programação lógica. Sistemas de produção. Redes semânticas. Aprendizagem de conhecimento. Programação lógica indutiva. Aprendizagem baseada em explicação. Agentes que se comunicam. Processamento de linguagem natural.

RESPONSÁVEIS:  Flávio Soares Corrêa da Silva, Renata Wassermann, Marcelo Finger, Leliane Nunes de Barros.

PRÉ-REQUISITOS NO BCC:  MAC0323 e MAC0239.

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, 2nd. ed., Prentice Hall, 2003.
• S. Russel, P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 1995. ta
• 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]