Abstract
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general language with disjunctivity and conditional effects first requires an exponential size reduction to STRIPS operators. I present direct formalizations of a number of distance heuristics for a general operator description language in a uniform way, avoiding the exponentiality inherent in earlier reductive approaches. The formalizations use formulae to represent the conditions under which operators have given effects. The exponentiality shows up in satisfiability tests with these formulae, but would appear to be a minor issue because of the small size of the formulae.
Original language | English |
---|---|
Title of host publication | ECAI 2006 |
Subtitle of host publication | 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy |
Editors | Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso |
Publisher | IOS Press BV |
Pages | 600-604 |
Number of pages | 5 |
ISBN (Print) | 9781586036423 |
Publication status | Published - 2006 |
Externally published | Yes |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Volume | 141 |
ISSN (Print) | 0922-6389 |
ISSN (Electronic) | 1879-8314 |
Other files and links
Fingerprint
Dive into the research topics of 'Unified definition of heuristics for classical planning'. Together they form a unique fingerprint.
View full fingerprint
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Rintanen, J. (2006). Unified definition of heuristics for classical planning. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.), ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy (pp. 600-604). (Frontiers in Artificial Intelligence and Applications; Vol. 141). IOS Press BV.
Rintanen, Jussi. / Unified definition of heuristics for classical planning. ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. editor / Gerhard Brewka ; Silvia Coradeschi ; Anna Perini ; Paolo Traverso. IOS Press BV, 2006. pp. 600-604 (Frontiers in Artificial Intelligence and Applications).
@inbook{a63808b819c44186b8b83591622d310d,
title = "Unified definition of heuristics for classical planning",
abstract = "In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general language with disjunctivity and conditional effects first requires an exponential size reduction to STRIPS operators. I present direct formalizations of a number of distance heuristics for a general operator description language in a uniform way, avoiding the exponentiality inherent in earlier reductive approaches. The formalizations use formulae to represent the conditions under which operators have given effects. The exponentiality shows up in satisfiability tests with these formulae, but would appear to be a minor issue because of the small size of the formulae.",
author = "Jussi Rintanen",
year = "2006",
language = "English",
isbn = "9781586036423",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "600--604",
editor = "Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso",
booktitle = "ECAI 2006",
address = "Netherlands",
}
Rintanen, J 2006, Unified definition of heuristics for classical planning. in G Brewka, S Coradeschi, A Perini & P Traverso (eds), ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. Frontiers in Artificial Intelligence and Applications, vol. 141, IOS Press BV, pp. 600-604.
Unified definition of heuristics for classical planning. / Rintanen, Jussi.
ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. ed. / Gerhard Brewka; Silvia Coradeschi; Anna Perini; Paolo Traverso. IOS Press BV, 2006. p. 600-604 (Frontiers in Artificial Intelligence and Applications; Vol. 141).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
TY - CHAP
T1 - Unified definition of heuristics for classical planning
AU - Rintanen, Jussi
PY - 2006
Y1 - 2006
N2 - In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general language with disjunctivity and conditional effects first requires an exponential size reduction to STRIPS operators. I present direct formalizations of a number of distance heuristics for a general operator description language in a uniform way, avoiding the exponentiality inherent in earlier reductive approaches. The formalizations use formulae to represent the conditions under which operators have given effects. The exponentiality shows up in satisfiability tests with these formulae, but would appear to be a minor issue because of the small size of the formulae.
AB - In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general language with disjunctivity and conditional effects first requires an exponential size reduction to STRIPS operators. I present direct formalizations of a number of distance heuristics for a general operator description language in a uniform way, avoiding the exponentiality inherent in earlier reductive approaches. The formalizations use formulae to represent the conditions under which operators have given effects. The exponentiality shows up in satisfiability tests with these formulae, but would appear to be a minor issue because of the small size of the formulae.
UR - http://www.scopus.com/inward/record.url?scp=58349088280&partnerID=8YFLogxK
M3 - Chapter
SN - 9781586036423
T3 - Frontiers in Artificial Intelligence and Applications
SP - 600
EP - 604
BT - ECAI 2006
A2 - Brewka, Gerhard
A2 - Coradeschi, Silvia
A2 - Perini, Anna
A2 - Traverso, Paolo
PB - IOS Press BV
ER -
Rintanen J. Unified definition of heuristics for classical planning. In Brewka G, Coradeschi S, Perini A, Traverso P, editors, ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. IOS Press BV. 2006. p. 600-604. (Frontiers in Artificial Intelligence and Applications).