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)
The AGM paradigm for belief revision provides a very elegant and powerful framework to reason about idealized agents. The paradigm assumes that the modelled agent is a perfect reasoner with innnite memory. In this paper we propose a framework to reason about non-ideal agents that generalizes the AGM paradigm. We rst introduce a structure to represent an… (More)
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)
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.
Standard belief change assumes an underlying logic containing full classical proposi-tional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We show that the standard basic form of contraction, partial meet, is… (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)