Belief revision based on incomplete valuations

被引：0

作者：

Xiao W.-J. ^{[1
]}

Zhu Z.-H. ^{[1
]}

机构：

[1] College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics

来源：

Ruan Jian Xue Bao/Journal of Software | 2010年 / 21卷 / 01期

关键词：

Belief revision; Incomplete valuation; Representation theorem;

D O I：

10.3724/SP.J.1001.2010.03463

中图分类号：

学科分类号：

摘要：

Classical belief revision theory and iterated belief revision theory are both developed in the framework of complete valuations. This paper extends the research to the incomplete valuation. Different from complete valuation, incomplete valuation may assign the unknown state to some atomic propositions. Adopting incomplete valuation as possible world, this paper establishes a model-based representation theorem which characterizes the proposed postulates and constrains. © by Institute of Software, the Chinese Academy of Sciences. All rights reserved.

引用

页码：47 / 54

页数：7

共 15 条

[1]

Alchourron C., Gardenfors P., Makinson D., On the logic of theory change: Partial meet functions for contraction and revision, Journal of Symbolic Logic, 50, 2, pp. 510-530, (1985)

[2]

Alchourron C., Makinson D., On the logic of theory change: Safe contraction, Studia Logica, 44, 4, pp. 405-422, (1985)

[3]

Katsuno H., Mendelzon A.O., Propositional knowledge base revision and minimal change, Artificial Intelligence, 52, 3, pp. 263-294, (1991)

[4]

Williams M.A., Transmutations of knowledge systems, Proc. of the 4th Int'l Conf. on Principles of Knowledge Representation and Reasoning, pp. 619-629, (1994)

[5]

Nayak A.C., Iterated belief change based on epistemic entrenchment, Erkenntnis, 41, 3, pp. 353-390, (1994)

[6]

Boutilier C., Iterated revision and minimal change of conditional beliefs, Journal of Philosophical Logic, 25, 3, pp. 262-304, (1996)

[7]

Darwixhe A., Pearl J., On the logic of iterated belief revision, Artificial Intelligence, 89, 1, pp. 1-29, (1997)

[8]

Konieczny S., Perez R.P., A framework for iterated revision, Journal of Applied Non-Classical Logics, 10, 3-4, pp. 339-367, (2000)

[9]

Yi J., Thielscher M., Iterated belief revision, revised, Artificial Intelligence, 171, 1, pp. 1-18, (2007)

[10]

Rott H., Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, (2001)

← 1 2 →