LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Kvarnström, Jonas (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
TALplanner: A temporal logic based forward chaining planner
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: Springer
Status:
Published
In:
Annals of Mathematics and Artificial Intelligence(ISSN 1012-2443)(EISSN 1573-7470)
Volume:
30
Issue:
1-4
Pages:
119-169
Year of publ.:
2000
URI:
urn:nbn:se:liu:diva-41625
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41625
Local ID:
58418
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 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 and control formulas. The sequential version of TALplanner is presented. The expressivity of plan operators is then extended to deal with an interesting class of resource types. An algorithm for generating concurrent plans, where operators have varying durations and internal state, is also presented. All versions of TALplanner have been implemented. The potential of these techniques is demonstrated by applying TALplanner to a number of standard planning benchmarks in the literature.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2013-08-29
Statistics:
14 hits