Combinações de bases de crenças e aplicações em ontologias

Resumo

Muitas vezes somos confrontados com diferentes especialistas de uma área cujas opiniões podem ser divergentes sobre um assunto particular (um exemplo comum são as consultas médicas). Estas divergências têm de ser "resolvidas" para chegar a um consenso e poder agir. Este consenso faz com que cada um dos participantes tenha de modificar parte das suas opiniões/crenças. Na década do 80, o modelo AGM de revisão de crenças ofereceu um quadro conceitual para a dinâmica de crenças de um agente racional, de forma a conservar o seu conhecimento consistente incorporando novos conhecimentos/crenças e descartando outros. Isto iniciou uma área de pesquisa que já tem 30 anos de desenvolvimento. Uma das propostas, no início do século XXI, chamada "merging", foi estender o modelo AGM para obter um conjunto de consenso entre múltiplos agentes. Contudo ambos modelos realizam importantes idealizações, sendo uma das principais que os agentes são representados por conjuntos que incluem as suas crenças e todas as suas consequências lógicas. Embora estes modelos funcionem bem no campo teórico, têm de ser fortemente adaptados para tornar possíveis suas implementações. Assim, surgiu também o estudo de aplicar o modelo AGM a agentes sem a capacidade de acreditar (explicitamente) nas consequências do seu conhecimento. Está área é conhecida como "belief base change". Propomo-nos a trabalhar no desenvolvimento de um modelo de belief merging para agentes finitos, i.e., que não possuam as consequências do seu conhecimento. Esta pesquisa conta com um forte componente teórico para definir os modelos e um componente prático que permita avaliar o seu comportamento em casos reais. Propomos como área de aplicação o "merging" de ontologias, que permita a um utilizador realizar uma consulta a diferentes ontologias, de forma a obter informação consistente e coerente, mesmo que as fontes de consulta possuam inconsistências. (AU)