Revision of partially ordered information: axiomatization, semantics and iteration
作者： Salem Benferhat , Sylvain Lagrue , Odile Papini
DOI:
关键词: Point (geometry) 、 Discrete mathematics 、 Mathematics 、 Class (set theory) 、 Representation theorem 、 Belief revision 、 Semantics (computer science) 、 Set (abstract data type) 、 Algebra 、 Iterated function
摘要: This paper deals with iterated revision of partially ordered information. The first part this concerns the Katsuno-Mendelzon's postulates: we point out that these postulates are not fully satisfactory since only a class information can be revised. We then propose suitable definition faithful assignment, followed by new set and representation theorem. second investigates additional dedicated to operators Three extensions well-known belief operations for dealing briefly presented.
ijcai.org 参考文章(14)
Craig Boutilier, Revision sequences and nested conditionals international joint conference on artificial intelligence. pp. 519- 525 ,(1993)
Daniel Lehmann, Belief revision, revised international joint conference on artificial intelligence. pp. 1534- 1540 ,(1995)
Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez, Iterated revision by epistemic states: axioms, semantics and syntax european conference on artificial intelligence. pp. 13- 17 ,(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
Nir Friedman, Joseph Y. Halpern, Belief Revision: A Critique Journal of Logic, Language and Information. ,vol. 8, pp. 401- 420 ,(1999) , 10.1023/A:1008314832430
Didier Dubois, Henri Prade, Belief Revision: Belief change and possibility theory ,(1992) , 10.1017/CBO9780511526664.006
Odile Papini, Iterated Revision Operations Stemming from the History of an Agent’s Observations Applied Logic Series. pp. 279- 301 ,(2001) , 10.1007/978-94-015-9817-0_14
Abhaya C. Nayak, Iterated belief change based on epistemic entrenchment Erkenntnis. ,vol. 41, pp. 353- 390 ,(1994) , 10.1007/BF01130759
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