Carga Horária: 30 horas teóricas + 45 horas Lab.
Créditos: 3
Horário: 2a feiras das 18:10 às 20:00
Docente: José Alferes (Prof. Assoc. FCT/UNL)

• Problemática da representação
• Semântica, expressividade, estruturação e eficácia
• Conhecimento por omissão (“default”)
• Conhecimento auto-epistémico
• Conhecimento por circunscrição
• Conhecimento temporal e acções
• Problema do enquadramento (“frame problem”)
• Cálculo de situações
• Cálculo de eventos
• Representação do conhecimento em Programação em Lógica
• Bases de conhecimento e sistemas periciais
• Semantic Web