Dissertação de Mestrado

In Knowledge Representation, the knowledge of an agent can be represented by a belief set. Belief Revision explores methods to handle potential changes in a belief set. The AGM model describes operations of expansion, revision, and contraction, which serve as the foundation for revision models. Some studies demonstrated a close relationship between the field of Belief Revision and Ontology Repair. In this research, we analyze repair methods that are able to construct optimal repairs, comparing their results with those of contraction operations. Additionally, we present a method for saturating knowledge bases, allowing contraction operations to yield results that are closer to optimal repairs.

Em Representação de Conhecimento, o conhecimento de um agente pode ser representado por um conjunto de crenças. A Revisão de Crenças pesquisa formas de lidar com possíveis mudanças em um conjunto de crenças. O modelo AGM descreve operações de expansão, revisão e contração, usadas como base para modelos de revisão. Alguns estudos demonstraram uma relação muito próxima entre a área de Revisão de Crenças e os estudos de Reparo de Ontologias. Nesta pesquisa, analisamos métodos de reparo que permitem a construção de reparos ótimos, comparando os seus resultados com os resultados de operações de contração. Além disso, apresentamos um método de saturação de bases de conhecimento, permitindo que operações de contração tenham resultados mais próximos aos reparos ótimos.