Belief change with uncertain action histories

作者: Aaron Hunter , James Delgrande

DOI: 10.1613/JAIR.4558

关键词:

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

参考文章(41)
James Delgrande, Jérôme Lang, Didier Dubois, Iterated revision as prioritized merging principles of knowledge representation and reasoning. pp. 210- 220 ,(2006)
Gabriele Kern-Isberner, Linking iterated belief change operations to nonmonotonic reasoning principles of knowledge representation and reasoning. pp. 166- 176 ,(2008)
Michael Thielscher, Yi Jin, Representing beliefs in the fluent calculus european conference on artificial intelligence. pp. 823- 827 ,(2004)
Aaron Hunter, Belief Change and Non-deterministic Actions canadian conference on artificial intelligence. pp. 289- 294 ,(2014) , 10.1007/978-3-319-06483-3_27
James P. Delgrande, Preliminary considerations on the modelling of belief change operators by metric spaces. non-monotonic reasoning. pp. 118- 125 ,(2004)
James P. Delgrande, Aaron Hunter, Belief change in the context of fallible actions and observations national conference on artificial intelligence. pp. 257- 262 ,(2006)
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque, Reasoning about noisy sensors in the situation calculus international joint conference on artificial intelligence. pp. 1933- 1940 ,(1995)
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
Fiora Pirri, Raymond Reiter, Hector J. Levesque, Foundations for the Situation Calculus. Electronic Transactions on Artificial Intelligence. ,vol. 2, pp. 159- 178 ,(1998)