Linear temporal logic as an executable semantics for planning languages
Journal of Logic, Language and Information 16 (1) (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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesP. 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #275,109 of 551,054 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
