Esta disciplina apresenta os principais conceitos e técnicas utilizados para a concepção e desenvolvimento de sistemas computacionais inteligentes, enfatizando os problemas que se destinam a solucionar, os principais formalismos e linguagens de programação e as principais aplicações práticas.