Iterated Revision Operations Stemming from the History of an Agent’s Observations

作者: Odile Papini

DOI: 10.1007/978-94-015-9817-0_14

关键词:

摘要: Knowledge bases can be used to represent an agent’s perception of the world. As agent often has deal with incomplete, uncertain or vague information, she revise her beliefs about In order model revision, one provide a mechanism support modification knowledge base in presence new item information. Since revision is central topic representation, it been tackled literature according several points view, symbolic numerical, logical probabilistic. Among approaches, AGM paradigm [Alchourron et al., 1985], which interpreted as change, become standard. Although very elegant, this framework does not iterated because underlying preference relation between lost process change. fact, approach epistemic state represented by set, i.e. deductively closed set sentences language, that represents current beliefs. However, only consist but also encodes strategy uses modify his after learning piece A operator satisfying postulates equivalent pre-orders ≤Ψ, where each pre-order corresponds Ψ and for observation. However total associated two successive states are related, requirement these faithful.

参考文章(9)
Salem Benferhat, Alessandro Saffiotti, Henri Prade, Jérôme Lang, Philippe Smets, Didier Dubois, A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases. principles of knowledge representation and reasoning. pp. 466- 477 ,(1998)
Craig Boutilier, Revision sequences and nested conditionals international joint conference on artificial intelligence. pp. 519- 525 ,(1993)
Mary-Anne Williams, Iterated theory base change: a computational model international joint conference on artificial intelligence. pp. 1541- 1547 ,(1995)
Hirofumi Katsuno, Alberto O. Mendelzon, Propositional knowledge base revision and minimal change Artificial Intelligence. ,vol. 52, pp. 263- 294 ,(1991) , 10.1016/0004-3702(91)90069-V
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
Joseph Y. Halpern, Nir Friedman, Conditional logics of belief change national conference on artificial intelligence. pp. 915- 921 ,(1994)
Mary-Anne Williams, Transmutations of Knowledge Systems principles of knowledge representation and reasoning. pp. 619- 629 ,(1994) , 10.1016/B978-1-4832-1452-8.50152-4
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