Carga Horária: 30 horas teóricas + 45 horas Lab.
Créditos: 3
Docente: Luís Moniz Pereira (Prof. Cat. FCT/UNL)

• Formas lógicas de raciocínio e suas ligações, nomeadamente: hipotético, abdutivo, condicional, paracoinsistente, argumentativo, e contrafactual
• Regras “default”, “defeasable”, “defeating”, e de acções
• Métodos de “update” e “belief revision”
• Condições de integridade e de excepção
• Coexistência de diversos tipos de negação
• Métodos e estratégias de preferência
• Respectivas semânticas, procedimentos, e implementações, baseados na Programação em Lógica
• Aplicações ilustrativas à  IA, como diagnóstico, planeamento de acções,  taxonomias, revisão de crenças, multi-agentes, “debugging” declarativo, bases de conhecimento activas, etc.