12. Representação de conhecimento e lógica
Cobre lógica proposicional, lógica de predicados, inferência, regras e prova automática em nível prático. O aluno representa fatos e tira conclusões em pequenos domínios, como diagnósticos simples e regras de negócio.