Towards a general theory of action and time
Artificial Intelligence
A first order theory of planning, knowledge, and action
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Planning for Conjunctive Goals
Planning for Conjunctive Goals
Foundations of a logic of knowledge, action, and communication
Foundations of a logic of knowledge, action, and communication
Abductive planning with sensing
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Planning and acting in partially observable stochastic domains
Artificial Intelligence
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
On the logic of cooperation and propositional control
Artificial Intelligence
Artificial Intelligence
Indexical knowledge in robot plans
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
A framework for model-based repair
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Integrated task and motion planning in belief space
International Journal of Robotics Research
Hi-index | 0.00 |
Agents who operate in complex environments must often construct plans on the basis of incomplete knowledge. In such situations, the successful agent must incorporate into his plans actions which obtain information. These plans are intrinsically sketchy to begin with and become more specified as the agent proceeds through his plan. A theory which allows for such flexible planning will have to provide solutions to two problems: (1) how can an agent reason that he knows how to perform an action? (Knowledge Preconditions Problem for Actions) and (2) if an agent must construct an underspecified plan due to incomplete knowledge, when can we say that he can successfully execute his plan? (Knowledge Preconditions Problem for Plans). This paper provides solutions to both these problems. We develop a robust and highly expressive theory of action and planning which allows for actions of varying granularity, primitive as well as complex acts, multi-agent plans, and partially specified plans. We demonstrate that this theory lends itself in a natural manner to solutions to the Knowledge Preconditions Problems.