[BibTeX] [RIS]
Using temporal logics to express search control knowledge for planning
Type of publication: Article
Citation: bacchus2000_temporallogicsassearchcontrolknowledge
Journal: Artificial Intelligence
Volume: 116
Number: 1-2
Year: 2000
Pages: 123 - 191
ISSN: 0004-3702
Abstract: Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from combinatorial complexity even in simple domains. Theoretical results demonstrate that planning is in the worst case intractable. Nevertheless, planning in particular domains can often be made tractable by utilizing additional domain structure. In fact, it has long been acknowledged that domain-independent planners need domain-dependent information to help them plan effectively. In this work we present an approach for representing and utilizing domain-specific control knowledge. In particular, we show how domain-dependent search control knowledge can be represented in a temporal logic, and then utilized to effectively control a forward-chaining planner. There are a number of advantages to our approach, including a declarative semantics for the search control knowledge; a high degree of modularity (new search control knowledge can be added without affecting previous control knowledge); and an independence of this knowledge from the details of the planning algorithm. We have implemented our ideas in the TLplan system, and have been able to demonstrate its remarkable effectiveness in a wide range of planning domains.
Userfields: bdsk-url-1={http://www.sciencedirect.com/science/article/B6TYF-40W6PMM-5/2/836df2c3643e1a101f2c8a726fef310d}, bdsk-url-2={http://dx.doi.org/10.1016/S0004-3702(99)00071-5}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, xxxdoi={DOI: 10.1016/S0004-3702(99)00071-5}, xxxurl={http://www.sciencedirect.com/science/article/B6TYF-40W6PMM-5/2/836df2c3643e1a101f2c8a726fef310d},
Keywords: Search control knowledge
Authors Bacchus, Fahiem
Kabanza, Froduald
Attachments
    Notes
      Topics