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: An empirical investigation of 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:
Conference paper (Refereed)
Language:
English
In:
6th International Workshop on Temporal Representation and Reasoning (TIME-99)
Editor:
Clare Dixon, Michael Fisher
Conference:
Temporal Representation and Reasoning
Place of publ.: Los Alamitos, CA, USA Publisher: IEEE Computer Society
Pages:
47-
Year of publ.:
1999
URI:
urn:nbn:se:liu:diva-41594
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41594
ISBN:
0-7695-0173-7
Local ID:
58073
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus and Kabanza, where domain-dependent search control knowledge represented as temporal formulas is used to effectively control forward chaining. Instead of using a linear modal tense logic as with Bacchus and Kabanza, we use TAL, a narrative-based linear temporal logic used for reasoning about action and change in incompletely specified dynamic environments. Two versions of TALplanner are considered, TALplan/modal which is based on the use of emulated modal formulas and a progression algorithm, and TALplan/non-modal which uses neither modal formulas nor a progression algorithm. For both versions of TALplanner and for all tested domains, TALplanner is shown to be considerably faster and requires less memory. The TAL versions also permit the representation of durative actions with internal state.

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