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
Proceedings of the first international conference on Artificial intelligence planning systems
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
Reasoning about knowledge
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Projection Using Regression and Sensors
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Probabilistic complex actions in GOLOG
Fundamenta Informaticae
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Knowledge updates: semantics and complexity issues
Artificial Intelligence
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Tools for composite web services: a short overview
ACM SIGMOD Record
Knowledge and communication: a first-order theory
Artificial Intelligence
Modeling mental states in the analysis of multiagent systems requirements
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Cooperation Model of Multi-agent System Based on the Situation Calculus
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A model for capturing and representing the engineering design process
Expert Systems with Applications: An International Journal
Theory and Practice of Logic Programming
Towards a logical theory of coordination and joint ability
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Knowledge and observations in the situation calculus
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
On the Semantics of Conditional Commitment
Agent Communication II
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
DL Reasoning and AI Planning for Web Service Composition
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
State-Based Regression with Sensing and Knowledge
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
Handling prioritized goals and subgoals in a logical account of goal change
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Regression with respect to sensing actions and partial states
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A logical theory of coordination and joint ability
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial 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
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Modeling mental states in the analysis of multiagent systems requirements
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
An epistemic logic for planning with trials
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Property persistence in the situation calculus
Artificial Intelligence
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Handling sequential observations in intelligent surveillance
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Modeling mental states in agent-oriented requirements engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Planning partially for situated agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
On the progression of knowledge in the situation calculus
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A correctness result for reasoning about one-dimensional planning problems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Considerations on belief revision in an action theory
Correct Reasoning
Probabilistic Complex Actions in GOLOG
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)
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A general representation and approximate inference algorithm for sensing actions
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bounded epistemic situation calculus theories
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A classification of first-order progressable action theories in situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
This paper proposes a method for handling the frame problem for knowledge-producing actions. An example of a knowledge-producing action is a sensing 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 approach 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.