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

Direct link
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology. (APD)ORCID iD: 0000-0002-5500-8494
2002 (English)In: Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS) / [ed] Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, AAAI Press , 2002Conference paper (Refereed)
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.

Place, publisher, year, edition, pages
AAAI Press , 2002.
National Category
Computer Science
URN: urn:nbn:se:liu:diva-59885DOI: 10.3233/978-1-60750-606-5-341ISBN: 0-57735-142-8 OAI: diva2:353973
Available from: 2010-09-29 Created: 2010-09-29 Last updated: 2013-08-29

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Kvarnström, Jonas
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 123 hits
ReferencesLink to record
Permanent link

Direct link