Projects per year
Abstract
Belief revision is the process that incorporates, in a consistent way,
a new piece of information, called input, into a belief base. When both belief
bases and inputs are propositional formulas, a set of natural and rational properties, known as AGM postulates, have been proposed to define genuine revision operations. This paper addresses the following important issue : How to revise a partially preordered information (representing initial beliefs) with a new partially preordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial preorders (called units) using the concept of closed sets of units. Then we restate AGM postulates in this framework by defining counterparts of the notions of logical entailment and logical consistency. In the second part of the paper, we provide some examples of revision operations that respect our set of postulates. We also prove that our revision methods extend wellknown lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total preorder.
a new piece of information, called input, into a belief base. When both belief
bases and inputs are propositional formulas, a set of natural and rational properties, known as AGM postulates, have been proposed to define genuine revision operations. This paper addresses the following important issue : How to revise a partially preordered information (representing initial beliefs) with a new partially preordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial preorders (called units) using the concept of closed sets of units. Then we restate AGM postulates in this framework by defining counterparts of the notions of logical entailment and logical consistency. In the second part of the paper, we provide some examples of revision operations that respect our set of postulates. We also prove that our revision methods extend wellknown lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total preorder.
Original language  English 

Title of host publication  International Conference on Scaleable Uncertainty Management (SUM'12). 
Publisher  SpringerVerlag 
Pages  219232 
Number of pages  13 
DOIs  
Publication status  Published  Sep 2012 
Event  International Conference on Scalable Uncertainty Management, SUM 2012  , Germany Duration: 19 Sep 2012 → … 
Conference
Conference  International Conference on Scalable Uncertainty Management, SUM 2012 

Country  Germany 
Period  19/09/2012 → … 
Projects

R1760CSC: Reasoning the uncertainty and inconsistency in structured scientific knowledge
Liu, W.
01/08/2005 → …
Project: Research

R1118ECI: Centre for Secure Information Technologies (CSIT)
McCanny, J. V., Cowan, C., Crookes, D., Fusco, V., Linton, D., Liu, W., Miller, P., O'Neill, M., Scanlon, W. & Sezer, S.
01/08/2009 → 30/06/2014
Project: Research