LiU Electronic Press
Full-text not available in DiVA
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)
Language:
English
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
Pages:
501-
Year of publ.:
2000
URI:
urn:nbn:se:liu:diva-41596
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41596
ISBN:
1586030132
Local ID:
58094
Subject category:
Computer Science
SVEP category:
Computer science
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
Created:
2009-10-10
Last updated:
2013-08-29
Statistics:
6 hits