- Full text PDF available (53)
- This year (3)
- Last 5 years (20)
- Last 10 years (37)
Journals and Conferences
Data Set Used
Standard approachs to belief change assume that the underlying logic contains classical propositional logic. Recently there has been interest in investigating approaches to belief change, specifically contraction, in which the underlying logic is not as expressive as full propositional logic. In this paper we consider approaches to belief contraction in… (More)
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in… (More)
When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Revision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards applying belief revision methods to ontologies based on description logics. We depart from the well… (More)
An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. EEcient operations for belief change should aaect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we deene a local consequence operator that only… (More)
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.
The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contraction… (More)
We show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. Moreover,… (More)
In this paper some ideas for adding structure to belief bases are presented. Structured belief bases can be seen as graphs, where each node is a belief and two nodes are adjacent if and only if they are related. Some notions of relatedness are deened. We then show how this extra structure can be used for implementing local change as deened in HW98].
Previous works have shown that the AGM theory cannot be used as the basis for defining contraction operators for several ontology representation languages. In this paper, we examine the postulate of relevance which has been proposed in the belief revision literature as a more intuitive alternative to the AGM postulate of recovery. Even though relevance and… (More)