Ontology revision is the process of managing an ontology when a new axiom or fact would render it inconsistent. So far, the AGM approach to belief revision has been adapted to work with ontologies. However, when multiple sources are contributing uncertain knowledge about a static domain, an approach that doesn’t give priority to incoming information and allows to recover previously discarded ax...

Abstract In standard Bayesian probability revision, the adoption of full beliefs (propositions with 1) is irreversible. Once an agent has belief in a proposition, no subsequent revision can remove that belief. This unrealistic feature, and it also makes incompatible change theory, which focuses on how set modified through both additions retractions. problem theory be solved model (i) lets codom...

In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence and a reference sentence. The key idea is similar to the model of ‘revision by comparison’ investigated by Fermé and Rott (Artificial Intelligence 157, 2004). In contrast to the latter, however, bounded revision satisfies the AGM a...

In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision oper...

oric and Composition, Revision: History, Theory and Practice explores the wide range of scholarship on revision while bringing new light to bear on enduring questions. Starting with its overview of conventional definitons and misconceptions about revision, whether surface or deep, Revision then offers both theoretical and practical strategies designed to facilitate post-secondary writing instru...

a 43-year-old man with liver cirrhosis received transjugular intrahepatic portosystemic shunt (tips) for the treatment of recurrent variceal bleeding and f3 esophageal varices. during routine follow up liver ultrasound examination, six months after the implantation, tips occlusion was suspected and tips revision was performed. during the revision, moderate to severe stenosis at the hepatic veno...