Introduzir técnicas e métodos da inteligência artificial clássica, focando em planejamento inteligente e resolução automática de problemas usando métodos de prova de teorema. Tratar a abordagem destes problemas em Prolog visando entender os desafios e possibilidades de construir aplicações dessas técnicas em robótica e automação, bem como em sistemas cognitivos capazes de lidar com a Teoria da Racionalidade.
Compõe-se assim um escopo inter e trans-disciplinar que reúne o histórico dos sistemas inteligentes, o entendimento do movimento pendular que em dados momentos projetou a Inteligência Artificial para a opinião pública criando uma enorme expectativa nos anos 80 e novamente nos dias atuais, ao tempo em que se busca entender as reais possibilidades, tanto teóricas quanto práticas, especialmente se automação é o foco do processo.
- Docente: Jose Reinaldo Silva