Belief change in the context of fallible actions and observations

作者: James P. Delgrande , Aaron Hunter

DOI:

关键词: Computer scienceBelief changeArtificial intelligenceCognitive scienceFormalism (philosophy of mathematics)Belief revision

摘要: We consider the iterated belief change that occurs following an alternating sequence of actions and observations. At each instant, agent has some beliefs about action as well resulting state world. represent such problems by a ranking functions, so assigns quantitative plausibility value to every at point in time. The formalism is able fallible knowledge, erroneous perception, exogenous actions, failed actions. illustrate our framework generalization several existing approaches change, it appropriately captures non-elementary interaction between update revision.

参考文章(12)
Michael Thielscher, Yi Jin, Representing beliefs in the fluent calculus european conference on artificial intelligence. pp. 823- 827 ,(2004)
James P. Delgrande, Aaron Hunter, Iterated belief change: a transition system approach international joint conference on artificial intelligence. pp. 460- 465 ,(2005)
Paolo Liberatore, Marco Schaerf, BReLS: A System for the Integration of Knowledge Bases. principles of knowledge representation and reasoning. pp. 145- 152 ,(2000)
Hirofumi Katsuno, Alberto O. Mendelzon, On the difference between updating a knowledge base and revising it principles of knowledge representation and reasoning. pp. 387- 394 ,(1991) , 10.1017/CBO9780511526664.007
Abhaya C. Nayak, Iterated belief change based on epistemic entrenchment Erkenntnis. ,vol. 41, pp. 353- 390 ,(1994) , 10.1007/BF01130759
Adam Grove, Two modellings for theory change Journal of Philosophical Logic. ,vol. 17, pp. 157- 170 ,(1988) , 10.1007/BF00247909
Adnan Darwiche, Judea Pearl, On the logic of iterated belief revision Artificial Intelligence. ,vol. 89, pp. 1- 29 ,(1997) , 10.1016/S0004-3702(96)00038-0
Wolfgang Spohn, Ordinal Conditional Functions: A Dynamic Theory of Epistemic States Causation in Decision, Belief Change, and Statistics. pp. 105- 134 ,(1988) , 10.1007/978-94-009-2865-7_6
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque, Iterated belief change in the situation calculus Artificial Intelligence. ,vol. 175, pp. 165- 192 ,(2011) , 10.1016/J.ARTINT.2010.04.003
Carlos E. Alchourrón, Peter Gärdenfors, David Makinson, On the logic of theory change: Partial meet contraction and revision functions Journal of Symbolic Logic. ,vol. 50, pp. 510- 530 ,(1985) , 10.2307/2274239