Revision over Partial Pre-orders: A Postulational Study

Jianbing Ma, Salem Benferhat, Weiru Liu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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 pre-ordered information (representing initial beliefs) with a new partially pre-ordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial pre-orders (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 well-known lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total pre-order.
Original languageEnglish
Title of host publicationInternational Conference on Scaleable Uncertainty Management (SUM'12).
PublisherSpringer-Verlag
Pages219-232
Number of pages13
DOIs
Publication statusPublished - Sep 2012
EventInternational Conference on Scalable Uncertainty Management, SUM 2012 - , Germany
Duration: 19 Sep 2012 → …

Conference

ConferenceInternational Conference on Scalable Uncertainty Management, SUM 2012
CountryGermany
Period19/09/2012 → …

Cite this

Ma, J., Benferhat, S., & Liu, W. (2012). Revision over Partial Pre-orders: A Postulational Study. In International Conference on Scaleable Uncertainty Management (SUM'12). (pp. 219-232). Springer-Verlag. https://doi.org/10.1007/978-3-642-33362-0_17
Ma, Jianbing ; Benferhat, Salem ; Liu, Weiru. / Revision over Partial Pre-orders: A Postulational Study. International Conference on Scaleable Uncertainty Management (SUM'12). . Springer-Verlag, 2012. pp. 219-232
@inproceedings{f846e269d75b47c1b8f239147b1ce21b,
title = "Revision over Partial Pre-orders: A Postulational Study",
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 beliefbases 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 pre-ordered information (representing initial beliefs) with a new partially pre-ordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial pre-orders (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 well-known lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total pre-order.",
author = "Jianbing Ma and Salem Benferhat and Weiru Liu",
year = "2012",
month = "9",
doi = "10.1007/978-3-642-33362-0_17",
language = "English",
pages = "219--232",
booktitle = "International Conference on Scaleable Uncertainty Management (SUM'12).",
publisher = "Springer-Verlag",

}

Ma, J, Benferhat, S & Liu, W 2012, Revision over Partial Pre-orders: A Postulational Study. in International Conference on Scaleable Uncertainty Management (SUM'12). . Springer-Verlag, pp. 219-232, International Conference on Scalable Uncertainty Management, SUM 2012, Germany, 19/09/2012. https://doi.org/10.1007/978-3-642-33362-0_17

Revision over Partial Pre-orders: A Postulational Study. / Ma, Jianbing; Benferhat, Salem; Liu, Weiru.

International Conference on Scaleable Uncertainty Management (SUM'12). . Springer-Verlag, 2012. p. 219-232.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Revision over Partial Pre-orders: A Postulational Study

AU - Ma, Jianbing

AU - Benferhat, Salem

AU - Liu, Weiru

PY - 2012/9

Y1 - 2012/9

N2 - Belief revision is the process that incorporates, in a consistent way,a new piece of information, called input, into a belief base. When both beliefbases 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 pre-ordered information (representing initial beliefs) with a new partially pre-ordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial pre-orders (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 well-known lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total pre-order.

AB - Belief revision is the process that incorporates, in a consistent way,a new piece of information, called input, into a belief base. When both beliefbases 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 pre-ordered information (representing initial beliefs) with a new partially pre-ordered information (representing inputs) while preserving AGM postulates? We first provide a particular representation of partial pre-orders (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 well-known lexicographic revision and natural revision for both cases where the input is either a single propositional formula or a total pre-order.

U2 - 10.1007/978-3-642-33362-0_17

DO - 10.1007/978-3-642-33362-0_17

M3 - Conference contribution

SP - 219

EP - 232

BT - International Conference on Scaleable Uncertainty Management (SUM'12).

PB - Springer-Verlag

ER -

Ma J, Benferhat S, Liu W. Revision over Partial Pre-orders: A Postulational Study. In International Conference on Scaleable Uncertainty Management (SUM'12). . Springer-Verlag. 2012. p. 219-232 https://doi.org/10.1007/978-3-642-33362-0_17