CI311 - Fundamentos Lógicos da Inteligência Artificial
Pré-requisito(s):	Período: semestral	Natureza: optativa
Carga-horária: 60 horas	Aulas práticas: 30 horas	Aulas teóricas: 30 horas
Créditos: 3	FICHA 1	FICHA 2
Ementa: Lógica Proposicional e de Primeira ordem. Provadores automáticos de teoremas para lógicas clássicas. Lógicas não-clássicas. Raciocínio não monotônico. Resolução e Tableaux semânticos. Planejamento em IA.