LiU Electronic Press
Full-text not available in DiVA
Author:
Kvarnström, Jonas (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology) (APD)
Title:
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner
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 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS)
Editor:
Malik Ghallab, Joachim Hertzberg, and Paolo Traverso
Publisher: AAAI Press
Year of publ.:
2002
URI:
urn:nbn:se:liu:diva-59885
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-59885
ISBN:
0-57735-142-8
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

A number of current planners make use of automatic domain analysis techniques to extract information such as state invariants or necessary goal orderings from a planning domain. There are also planners that allow the user to explicitly specify additional information intended to improve performance. One such planner is TALplanner, which allows the use of domain-dependent temporal control formulas for pruning a forward-chaining search tree. This leads to the question of how these two approaches can be combined. In this paper we show how to make use of automatically generated state invariants to improve the performance of testing control formulas. We also develop a new technique for analyzing control rules relative to control formulas and show how this often allows the planner to automatically strengthen the preconditions of the operators, thereby reducing time complexity and improving the performance of TALplanner by a factor of up to 400 for the largest problems from the AIPS-2000 competition.

Available from:
2010-09-29
Created:
2010-09-29
Last updated:
2013-08-29
Statistics:
11 hits