liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner
1999 (English)In: 6th International Workshop on Temporal Representation and Reasoning (TIME-99) / [ed] Clare Dixon, Michael Fisher, Los Alamitos, CA, USA: IEEE Computer Society, 1999, 47-Conference paper (Refereed)
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.

National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41594 (URN)58073 (Local ID)0-7695-0173-7 (ISBN)oai:DiVA.org:liu-41594 (OAI)diva2:262448 (DiVA)
Conference
Temporal Representation and Reasoning
Available from2009-10-10 Created:2009-10-10 Last updated:2013-08-29

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, PatrickKvarnström, Jonas
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link