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/Territory | Italy |
City | Roma |
Period | 01/06/2012 → 01/06/2012 |
-
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