Knowledge updates: Semantics and complexity issues

Artificial Intelligence

Volumn 164, Issue 1-2, 2005, Pages 209-243

  Baral, Chitta ^a   Zhang, Yan ^b  

^a Arizona State University   (United States)

^b UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

Belief revision and update; Complexity; Knowledge representation; Knowledge update; Kripke structures; S5 modal logic

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; KNOWLEDGE ACQUISITION; POLYNOMIAL APPROXIMATION; PROBLEM SOLVING; SET THEORY;

EPISTEMIC LOGICS; MINIMAL CHANGE PROPERTIES; ROBOTIC PLANNING PARADIGM; SENSING;

SEMANTICS;

EID: 16244392772     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.01.005     Document Type: Article

References (39)

1. C. Baral, and Y. Zhang On the semantics of knowledge update Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, WA 2001 Morgan Kaufmann San Mateo, CA 97 102
2. C. Baral, and Y. Zhang The complexity of model checking for knowledge update Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-02) 2002 Morgan Kaufmann San Mateo, CA 82 93
3. A. Baltag A logic for suspicious players: Epistemic actions and belief updates in games Bull. Econom. Res. 54 1 2002 1 45
4. A. Baltag, L.S. Moss, and S. Solecki The logic of public announcements, common knowledge and private suspicions Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge (TARK'98) 1998 Morgan Kaufmann San Mateo, CA 43 56
5. J. Engelfriet Monotonicity and persistence in preferential logics J. Artificial Intelligence Res. 8 1998 1 12
6. R. Fagin, J. Halpern, Y. Moses, and M. Vardi Reasoning about Knowledge 1995 MIT Press Cambridge, MA
7. P. Gardenfors Knowledge in Flux 1988 MIT Press Cambridge, MA
8. M. Garey, and D. Johnson Computers and Intractability 1979 Freeman San Francisco, CA
9. J.D. Gerbrandy, and W. Groeneveld Reasoning about information change J. Logic Language Inform. 6 1997 147 169
10. J.D. Gerbrandy Dynamic epistemic logic Proceedings of STASS Workshops on Logic, Language and Computation, London 1997
11. J.D. Gerbrandy, Bisimulations on planet Kripke, ILLC Dissertation Series DS-1999-01, University of Amsterdam, 1999
12. W. Groeneveld, Logical investigations into dynamic semantics, PhD Thesis, Universiteit van Amsterdam, 1995
13. J.Y. Halpern, and Y. Moses A guide to completeness and complexity for modal logics of knowledge and belief Artificial Intelligence 54 1992 311 379
14. A. Herzigi, and O. Rifi Propositional belief base update and minimal change Artificial Intelligence 115 1999 107 138
15. G. Kartha, and V. Lifschitz Actions with indirect effects: Preliminary report Proc. of KR-94 1994 341 350
16. H. Katsuno, and A. Mendelzon On the difference between updating a knowledge base and revising it Proc. of KR-91 1991 387 394
17. H. Levesque All I know: A study in autoepistemic logic Artificial Intelligence 42 1990 263 309
18. P. Liberatore The complexity of belief update Artificial Intelligence 119 2000 141 190
19. P. Liberatore, and M. Schaerf Belief revision and update: complexity of model checking J. Comput. System Sci. 62 2001 43 72
20. J. Lobo, G. Mendez, and S.R. Taylor Knowledge and the action description language A Theory and Practice of Logic Programming 1 2001 129 184
21. A. Lomuscio, and M. Ryan Ideal agents sharing (some!) knowledge Proceedings of ECAI-98 1998 557 561
22. P. Marquis Possible models approach via independency Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94) 1994 336 340
23. J.-J. Meyer, and W. van der Hoek Epistemic Logics for Computer Science and Artificial Intelligence Cambridge Tracts in Theoretical Computer Science vol. 41 1995 Cambridge University Press Cambridge
24. J.A. Plaza Logic of public communication Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS-89) 1989 201 216
25. G. Schwarz, and M. Truszczyński Minimal knowledge problem: A new approach Artificial Intelligence 67 1994 193 215
26. R. Scherl, and H. Levesque The frame problem and knowledge producing actions Proc. AAAI-93, Washington, DC 1993 689 695
27. R. Scherl, and H. Levesque Knowledge, action, and the frame problem Artificial Intelligence 144 2003 1 39
28. T. Son, and C. Baral Formalizing sensing actions: a transition function based approach Artificial Intelligence 125 2001 19 91
29. B. ten Cate Internalizing epistemic actions Proceedings of the NASSLLI-2002 2002 Stanford University
30. H. Turner Representing actions in logic programs and default theories J. Logic Programming 31 1-3 1997 245 298
31. W. van der Hoek, J. Jaspars, and E. Thijsse Persistence and minimality in epistemic logic Ann. Math. Artificial Intelligence 27 1999 25 47
32. W. van der Hoek, and E. Thijsse A general approach to multi-agent minimal knowledge: With tools and samples Studia Logica 72 1 2002 61 84
33. R. van der Meyden Common knowledge and update in finite environment Inform. and Comput. 140 1998 115 157
34. H.P. van Ditmarsch, Knowledge games, PhD Thesis, University of Groningen, 2000
35. H.P. van Ditmarsch, W. van der Hoek, and B. Kooi Concurrent dynamic epistemic logic Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS03) 2003
36. F. Veltman Defaults in update semantics J. Philos. Logic 25 1996 221 261
37. M. Winslett Reasoning about action using a possible models approach Proceedings of the 7th National Conference on Artificial Intelligence (AAAI-88), St. Paul, NM 1988 89 93
38. Y. Zhang Monotonicity in rule based update Proceedings of the 1999 International Conference on Logic Programming (ICLP'99) 1999 MIT Press Cambridge, MA 471 485
39. Y. Zhang, and N.Y. Foo Updates with disjunctive information: From syntactical and semantical perspectives Comput. Intelligence 16 2000 29 52