ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
A formal theory of indexical knowledge and action
A formal theory of indexical knowledge and action
A constraint logic approach to automated modal deduction
A constraint logic approach to automated modal deduction
Proving properties of states in the situation calculus
Artificial Intelligence
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
What robots can do: robot programs and effective achievability
Artificial Intelligence
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
Planning for human-robot teaming in open worlds
ACM Transactions on Intelligent Systems and Technology (TIST)
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Autonomous Agents and Multi-Agent Systems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Handling sequential observations in intelligent surveillance
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Belief revision in the situation calculus without plausibility levels
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Epistemic actions and ontic actions: a unified logical framework
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Theories of intentions in the framework of situation calculus
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Towards the Automated Engineering of Dependable Adaptive Services
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Modal Probability, Belief, and Actions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
Bounded epistemic situation calculus theories
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
This paper proposes a solution to the frame problem for knowledge-producing actions. An example of a knowledge-producing action is a sense operation performed by a robot to determine whether or not there is an object of a particular shape within its grasp. The work is an extension of Reiter's solution to the frame problem for ordinary actions and Moore's work on knowledge and action. The properties of our specification are that knowledge-producing actions do not affect fluents other than the knowledge fluent, and actions that are not knowledge-producing only affect the knowledge fluent as appropriate. In addition, memory emerges as a side-effect: if something is known in a certain situation, it remains known at successor situations, unless something relevant has changed. Also, it will be shown that a form of regression examined by Reiter for reducing reasoning about future situations to reasoning about the initial situation now also applies to knowledge-producing actions.