Projects per year
Abstract
Belief revision studies strategies about how agents revise their belief states when receiving new evidence. Both in classical belief revision and in epistemic revision, a new input is either in the form of a (weighted) propositional formula or a total
pre-order (where the total pre-order is considered as a whole).
However, in some real-world applications, a new input can be a partial pre-order where each unit that constitutes the partial pre-order is important and should be considered individually. To address this issue, in this paper, we study how a partial preorder representing the prior epistemic state can be revised by another partial pre-order (the new input) from a different perspective, where the revision is conducted recursively on the individual units of partial pre-orders. We propose different revision operators (rules), dubbed the extension, match, inner and outer revision operators, from different revision points of view. We also analyze several properties for these operators.
pre-order (where the total pre-order is considered as a whole).
However, in some real-world applications, a new input can be a partial pre-order where each unit that constitutes the partial pre-order is important and should be considered individually. To address this issue, in this paper, we study how a partial preorder representing the prior epistemic state can be revised by another partial pre-order (the new input) from a different perspective, where the revision is conducted recursively on the individual units of partial pre-orders. We propose different revision operators (rules), dubbed the extension, match, inner and outer revision operators, from different revision points of view. We also analyze several properties for these operators.
| Original language | English |
|---|---|
| Title of host publication | International Conference on Principles of Knowledge Representation and Reasoning (KR'12) |
| Publisher | AAAI Press |
| Number of pages | 5 |
| Publication status | Published - Jun 2012 |
| Event | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12). - Roma, Italy Duration: 01 Jun 2012 → 01 Jun 2012 |
Conference
| Conference | Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12). |
|---|---|
| Country | Italy |
| City | Roma |
| Period | 01/06/2012 → 01/06/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
Cite this
Ma, J., Benferhat, S., & Liu, W. (2012). Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework. In International Conference on Principles of Knowledge Representation and Reasoning (KR'12) AAAI Press. http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4484