The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Proceedings of the first international conference on Principles of knowledge representation and reasoning
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Handbook of theoretical computer science (vol. B)
O-Plan: the open planning architecture
Artificial Intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
The first law of robotics (a call to arms)
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Universal plans for reactive robots in unpredictable environments
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Synthesis of reactive plans for multi-path environments
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
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
An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Evaluating options in a context
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Bounded Model Search in Linear Temporal Logic and Its Application to Planning
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Communicating Time-Oriented, Skeletal Plans to Domain Experts Lucidly
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Using α-ctl to Specify Complex Planning Goals
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Causal temporal constraint networks for representing temporal knowledge
Expert Systems with Applications: An International Journal
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Planning for temporally extended goals as propositional satisfiability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
Planning for human-robot teaming in open worlds
ACM Transactions on Intelligent Systems and Technology (TIST)
Rich goal types in agent programming
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In planning, goals have traditionally been viewed as specifying a set of desirable final states. Any plan that transforms the current state to one of these desirable states is viewed to be correct. Goals of this form are limited as they do not allow us to constrain the manner in which the plan achieves its objectives. We propose viewing goals as specifying desirable sequences of states, and a plan to be correct if its execution yields one of these desirable sequences. We present a logical language, a temporal logic, for specifying goals with this semantics. Our language is rich and allows the representation of a range of temporally extended goals, including classical goals, goals with temporal deadlines, quantified goals (with both universal and existential quantification), safety goals, and maintenance goals. Our formalism is simple and yet extends previous approaches in this area. We also present a planning algorithm that can generate correct plans for these goals. This algorithm has been implemented, and we provide some examples of the formalism at work. The end result is a planning system which can generate plans that satisfy a novel and useful set of conditions.