How to clear a block: A theory of plans
Journal of Automated Reasoning
Artificial intelligence and mathematical theory of computation
An empirical study of sensing and defaulting in planning
Proceedings of the first international conference on Artificial intelligence planning systems
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Building plans to monitor and exploit open-loop and closed-loop dynamics
Proceedings of the first international conference on Artificial intelligence planning systems
Knowledge Preconditions for Plans
Knowledge Preconditions for Plans
Reasoning about noisy sensors in the situation calculus
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
How to progress a database II: the STRIPS connection
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
From theory to practice: the UTEP robot in the AAAI 96 and AAAI 97 robot contests
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Abductive planning with sensing
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
A logical approach to high-level agent control
Proceedings of the fifth international conference on Autonomous agents
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Relating logic programming theories of actions and partial order planning
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Modelling Intelligent Behaviour: The Markov Decision Process Approach
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Domain-Independent Online Planning for STRIPS Domains
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Belief Update in the pGOLOG Framework
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Inferring Implicit State Knowledge and Plans with Sensing Actions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Sensing Actions, Time, and Concurrency in the Situation Calculus
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
High-Level Robot Control through Logic
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Knowledge, action, and the frame problem
Artificial Intelligence
Plan evaluation with incomplete action descriptions
Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Probabilistic complex actions in GOLOG
Fundamenta Informaticae
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Continual planning and acting in dynamic multiagent environments
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Theory and Practice of Logic Programming
An ASP-based approach to dealing with agent perception failure
AI Communications
Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Regression with respect to sensing actions and partial states
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Reasoning with incomplete initial information and nondeterminism in situation calculus
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
Journal of Artificial Intelligence Research
Query evaluation and progression in AOL knowledge bases
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Projection using regression and sensors
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Action representation and partially observable planning using epistemic logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
An on-line decision-theoretic Golog interpreter
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
What robots can do: robot programs and effective achievability
Artificial Intelligence
Continual planning and acting in dynamic multiagent environments
Autonomous Agents and Multi-Agent Systems
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Conditional planning with external functions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
An epistemic logic for planning with trials
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Adding knowledge to the action description language A
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
Iterated belief change due to actions and observations
Journal of Artificial Intelligence Research
Handling sequential observations in intelligent surveillance
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
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
Probabilistic Complex Actions in GOLOG
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
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 |
Despite the existence of programs that are able to generate so-called conditional plans, there has yet to emerge a clear and general specification of what it is these programs are looking for: what exactly is a plan in this setting, and when is it correct? In this paper, we develop and motivate a specification within the situation calculus of conditional and iterative plans over domains that include binary sensing actions. The account is built on an existing theory of action which includes a solution to the frame problem, and an extension to it that handles sensing actions and the effect they have on the knowledge of a robot. Plans are taken to be programs in a new simple robot program language, and the planning task is to find a program that would be known by the robot at the outset to lead to a final situation where the goal is satisfied. This specification is used to analyze the correctness of a small example plan, as well as variants that have redundant or missing sensing actions. We also investigate whether the proposed robot program language is powerful enough to serve for any intuitively achievable goal.