PMR3510 - Inteligência Artificial (2019)

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.