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)
Using abstractions for decision-theoretic planning with time constraints
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)
Control strategies for a stochastic planner
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Tableau-based automata construction for dynamic linear time temporal logic*
Annals of Mathematics and Artificial Intelligence
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
Goal specification, non-determinism and quantifying over policies
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Planning with first-order temporally extended goals using heuristic search
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Decision-theoretic planning with non-Markovian rewards
Journal of Artificial Intelligence Research
The planning spectrum: one, two, three, infinity
Journal of Artificial Intelligence Research
Non-monotonic temporal logics for goal specification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A heuristic search approach to planning with temporally extended preferences
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Compiling control knowledge into preconditions for planning in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automated verification: graphs, logic, and automata
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning with resources and concurrency a forward chaining approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computational complexity of planning with temporal goals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A rule language for modelling and monitoring social expectations in multi-agent systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Anytime state-based solution methods for decision processes with non-Markovian rewards
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Planning in a distributed system
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Generalized planning: synthesizing plans that work for multiple environments
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Computing infinite plans for LTL goals using a classical planner
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
Combining static and dynamic models for boosting forward planning
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Risk-sensitive plan execution for connected sustainable home
BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings
Automatic behavior composition synthesis
Artificial Intelligence
Probabilistic planning for continuous dynamic systems under bounded risk
Journal of Artificial Intelligence Research
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Knowledge-Based Policy Conflict Analysis in Mobile Social Networks
Wireless Personal Communications: An International Journal
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 in what they can specify, and they also 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.