David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 16 (1):63-89 (2007)
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method.
|Keywords||Applied temporal logic Artificial intelligence planning Knowledge representation|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
P. Paolo Battaglini, Paolo Bernardis & Nicola Bruno (2004). At Least Some Electrophysiological and Behavioural Data Cannot Be Reconciled with the Planning–Control Model. Behavioral and Brain Sciences 27 (1):24-25.
David A. Westwood & Melvyn A. Goodale (2001). Perception and Action Planning: Getting It Together. Behavioral and Brain Sciences 24 (5):907-908.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Matthew R. Longo & Bennett I. Bertenthal (2004). Automaticity and Inhibition in Action Planning. Behavioral and Brain Sciences 27 (1):44-45.
John Threlfall (2005). The Formative Use of Assessment Information in Planning: The Notion of Contingent Planning. British Journal of Educational Studies 53 (1):54 - 65.
Valérie Gaveau & Michel Desmurget (2004). Do Movement Planning and Control Represent Independent Modules? Behavioral and Brain Sciences 27 (1):35-36.
Added to index2009-01-28
Total downloads6 ( #230,343 of 1,410,159 )
Recent downloads (6 months)3 ( #75,846 of 1,410,159 )
How can I increase my downloads?