Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
All I know: a study in autoepistemic logic
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Artificial Intelligence
The logic of knowledge bases
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Autonomous Agents and Multi-Agent Systems
A Logic for Planning under Partial Observability
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
PDL-based framework for reasoning about actions
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Knowledge, action, and the frame problem
Artificial Intelligence
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
A language for default reasoning about actions
Correct Reasoning
Hi-index | 0.00 |
In previous work, we proposed a modal fragment of the situation calculus called ƐS, which fully captures Reiter's basic action theories. ƐS also has epistemic features, including only-knowing, which refers to all that an agent knows in the sense of having a knowledge base. While our model of only-knowing has appealing properties in the static case, it appears to be problematic when actions come into play. First of all, its utility seems to be restricted to an agent's initial knowledge base. Second, while it has been shown that only-knowing correctly captures default inferences, this was only in the static case, and undesirable properties appear to arise in the presence of actions. In this paper, we remedy both of these shortcomings and propose a new dynamic semantics of only-knowing, which is closely related to Lin and Reiter's notion of progression when actions are performed and where defaults behave properly.