Graduate studies at Western
Journal of Logic, Language and Information 16 (1):63-89 (2007)
|Abstract||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)|
|Through your library||Configure|
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 downloads2 ( #246,859 of 739,163 )
Recent downloads (6 months)1 ( #61,778 of 739,163 )
How can I increase my downloads?