Exercícios resolvidos em Prolog sobre Sistemas Baseados em Conhecimento: regras de produção, extração de conhecimento, procura e otimização

Abstract

Pretende-se neste texto dar um apoio atualizado à unidade curricular de Sistemas Baseados em Conhecimento (SBC), do terceiro ano e segundo semestre do Mestrado Integrado em Engenharia e Gestão de Sistemas de Informação (MIEGSI, http://miegsi.dsi.uminho.pt). O objectivo é complementar a matéria que foi leccionada nas aulas teórico-práticas e práticas- laboratoriais com a apresentação de um conjunto de exercícios e suas resoluções em Prolog. O texto inicia-se com exercícios gerais sobre a linguagem Prolog (Capítulo 2), seguindo-se os dois grandes temas da unidade curricular: i) sistemas baseados em conhecimento para classificação/diagnóstico/decisão via regras de produção, com aquisição de conhecimento manual (Capítulo 3) e automática (via extração de conhecimento a partir de dados (Capítulo 4); e ii) sistemas baseados em conhecimento para resolução de problemas de procura (Capítulo 5) e otimização (Capítulo 6).