Updating epistemic states

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2256, Issue , 2001, Pages 297-308

  Lang, Jérôme ^a   Marquis, Pierre ^b   Williams, Mary Anne ^c  

^a IRIT   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

^c UNIVERSITY OF NEWCASTLE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BELIEF REVISION; BELIEF SETS; EPISTEMIC STATE; RELATIVE PLAUSIBILITIES; UPDATE OPERATORS;

ARTIFICIAL INTELLIGENCE;

EID: 84944908818     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45656-2_26     Document Type: Conference Paper

References (24)

1. Salem Benferhat, Sébastien Konieczny, Odile Papini and Ramon Pino-Perez. Iterated revision by epistemic states: axioms, semantics and syntax. Proceedings of ECAI'2000, 13-17.
2. Craig Boutilier. Revision sequences and nested conditionals. Proceedings of IJ- CAI'93, 519-525.
3. Craig Boutilier. Generalized update: belief change in dynamic settings. Proceedings of IJCAI'95, 1550-1556.
4. Gerhard Brewka and Joachim Hertzberg. How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation, 3 (5), 517-532, 1993.
5. Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Proceedings of TARK'94, 5-23.
6. Patrick Doherty and Witold Lukaszewicz and Ewa Madalinska-Bugaj. The PMA and relativizing change for action update. Proceedings of KR'98, 258-269.
7. Didier Dubois and Henri Prade. Belief revision and updates in numerical formalisms. Proceedings of IJCAI'93, 620-625.
8. Héléne Fargier, Jérôme Lang and Pierre Marquis. Propositional logic and one-stage decision making. Proceedings of KR'2000, 445-456.
9. Nir Friedman and Joseph Halpern. Modeling beliefs in dynamic systems. Part 2: revision and update, Journal of Artificial Intelligence Research, 10, 117-167, 1999.
10. Andreas Herzig. The PMA revisited. Proceedings of KR'96, 40-50.
11. Andreas Herzig and Omar Rifi. Propositional belief base update and minimal change. Artificial Intelligence, 115(1), 107-138, 1999.
12. Andreas Herzig, Jérôme Lang, Pierre Marquis and Thomas Polacsek. Actions, up-dates and planning. Proceedings of IJCAI'2001, 119-124.
13. Hirofumi Katsuno and Alberto Mendelzon. On the diérence between updating a knowledge base and resvising it. Artificial Intelligence 52:263-294, 1991.
14. Sébastien Konieczny. Sur la logique du changement: révision et fusion de bases de connaissances. Thése de l'Université des Sciences et Technologies de Lille,1999. In French.
15. Jérôme Lang, Paolo Liberatore and Pierre Marquis. Complexity results for propositional independence. In preparation.
16. Jérôme Lang and Pierre Marquis. Complexity results for independence and definability in propositional logic. Proceedings of KR'98, 356-367.
17. Shai Berger, Daniel Lehmann and Karl Schlechta. Preferred history semantics for iterated updates. Journal of Logic and Computation, 9(6), 817-833.
18. Fangzhen Lin and Ray Reiter. Forget it! Proceedings of the AAAI Fall Symposium on Relevance, New Orleans, 1994, 154-159.
19. Steven Shapiro, Maurice Pagnucco, Yves Lespérance and Hector Levesque. Iterated change in the situation calculus. Proceedings of KR'2000, 527-538.
20. W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change, and Statistics, vol. 2, 105-134, Kluwer Academic Publishers, 1987.
21. Mary-Anne Williams. Transmutations of knowledge systems. Proceedings of KR'94, 619-629.
22. Mary-Anne Williams. Iterated theory base change: a computational model. Proceedings of IJCAI'95, 1541-1547.
23. Marianne Winslett. Reasoning about action using a possible model approach. Proceedings of AAAI'88, 89-93.
24. Yan Zhang and Normal Foo. Reasoning about persistence: a theory of actions. Proceedings of IJCAI'93, 718-723.