All I know: a study in autoepistemic logic
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Minimal knowledge problem: a new approach
Artificial Intelligence
Reasoning about knowledge
Common knowledge and update in finite environments
Information and Computation
Propositional belief base update and minimal change
Artificial Intelligence
Logic, language and computation, vol. 2
The complexity of belief update
Artificial Intelligence
Monotonicity in rule based update
Proceedings of the 1999 international conference on Logic programming
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Belief revision and update: complexity of model checking
Journal of Computer and System Sciences
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
Reasoning about Information Change
Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Knowledge, action, and the frame problem
Artificial Intelligence
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
On the semantics of knowledge update
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
An application CTL formula based on problem solving methodology
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
CTL Model Update: Semantics, Computations and Implementation
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Knowledge forgetting: Properties and applications
Artificial Intelligence
CTL model update for system modifications
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
CTL model update implementation using ANTLR tools
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We consider the problem of updating of an agent's knowledge. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our method, an update is specified according to the minimal change on both the agent's actual world and knowledge. We discuss general minimal change properties of knowledge update and show that our knowledge update operator satisfies all the update postulates of Katsuno and Mendelzon. We characterize several specific forms of knowledge update which have important applications in reasoning about change of agents' knowledge. We also examine the persistence property of knowledge and ignorance associated with knowledge update.We then investigate the computational complexity of model checking for knowledge update. We first show that in general the model checking for knowledge update is ΣP2 -complete. We then identify a subclass of knowledge update problems that has polynomial time complexity for model checking. We point out that some important knowledge update problems belong to this subclass. We further address another interesting subclass of knowledge update problems for which the complexity of model checking is NP-complete.