Iterated revision by epistemic states: axioms, semantics and syntax
作者： Salem Benferhat , Sébastien Konieczny , Odile Papini , Ramón Pino Pérez
DOI:
关键词: Axiom 、 Epistemology 、 Iterated function 、 Syntax (logic) 、 Semantics (computer science) 、 State (functional analysis) 、 Computer science 、 Set representation
摘要: We propose a very general syntactical notion of epistemic state and compact axiomatization for iterated revision when the new information is an state. set representation theorems give two semantical representations operators: by polynomials weighted belief bases. These will result to be equivalent.
参考文章(16)
Daniel Lehmann, Belief revision, revised international joint conference on artificial intelligence. pp. 1534- 1540 ,(1995)
Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak, Abdul Sattar, Changing conditional beliefs unconditionally theoretical aspects of rationality and knowledge. pp. 119- 135 ,(1996)
Mukesh Dalal, Investigations into a Theory of Knowledge Base Revision. national conference on artificial intelligence. pp. 475- 479 ,(1988)
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
Abhaya C. Nayak, Paul Nelson, Hanan Polansky, Belief change as change in epistemic entrenchment Synthese. ,vol. 109, pp. 143- 174 ,(1996) , 10.1007/BF00413766
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
Peter Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States ,(1990)