Author:
Kvarnström, Jonas (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Haslum, Patrik (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Extending TALplanner with concurrency and resources
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
In:
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI)
Conference:
European Conference on Artificial Intelligence
Place of publ.:
Amsterdam, The Netherlands
Publisher:
IOS Press
Series:
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389; 54
URI:
urn:nbn:se:liu:diva-41596
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41596
Abstract(en)
:
We present TALplanner, a forward-chaining planner based on the use of domain-dependent search control knowledge represented as temporal formulas in the Temporal Action Logic (TAL). TAL is a narrative based linear metric time logic used for reasoning about action and change in incompletely specified dynamic environments. TAL is used as the formal semantic basis for TALplanner, where a TAL goal narrative with control formulas is input to TALplanner which then generates a TAL narrative that entails the goal formula. We extend the sequential version of TALplanner, which has previously shown impressive performance on standard benchmarks, in two respects: 1) TALplanner is extended to generate concurrent plans, where operators have varied durations and internal state; and 2) the expressiveness of plan operators is extended for dealing with several different types of resources. The extensions to the planner have been implemented and concurrent planning with resources is demonstrated using an extended logistics benchmark.
Available from:
2009-10-10
Statistics:
6 hits