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
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Implementation of CTL model checker update
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Updating action domain descriptions
Artificial Intelligence
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
A logic approach for LTL system modification
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Algorithms for CTL system modification
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.02 |
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 @S"2^P-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.