SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:DiVA.org:liu-59900"
 

Search: onr:"swepub:oai:DiVA.org:liu-59900" > Admissible Heuristi...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist
  • Haslum, PatrikLinköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan (author)

Admissible Heuristics for Optimal Planning

  • Article/chapterEnglish2000

Publisher, publication year, extent ...

  • AAAI Press,2000
  • printrdacarrier

Numbers

  • LIBRIS-ID:oai:DiVA.org:liu-59900
  • https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-59900URI
  • https://doi.org/10.1609/aimag.v21i4.1536DOI

Supplementary language notes

  • Language:English
  • Summary in:English

Part of subdatabase

Classification

  • Subject category:ref swepub-contenttype
  • Subject category:kon swepub-publicationtype

Notes

  • There is an error in the paper: the condition for commutativity of actions (section "Commutativity Pruning") must also include that neither action adds a precondition of the other. Thus, commutativity is not the same as Graphplan-style "non-interference".
  • hsp and hspr are two recent planners that search the state-space using an heuristic function extracted from Strips encodings. hsp does a forward search from the initial state recomputing the heuristic in every state, while hspr does a regression search from the goal computing a suitable representation of the heuristic only once. Both planners have shown good performance, often producing solutions that are competitive in time and number of actions with the solutions found by Graphplan and sat planners. hsp and hsp r, however, are not optimal planners. This is because the heuristic function is not admissible and the search algorithms are not optimal. In this paper we address this problem. We formulate a new admissible heuristic for planning, use it to guide an ida search, and empirically evaluate the resulting optimal planner over a number of domains. The main contribution is the idea underlying the heuristic that yields not one but a whole family of polynomial and admissible heuristics that trade accuracy for efficiency. The formulation is general and sheds some light on the heuristics used in hsp and Graphplan, and their relation. It exploits the factored (Strips) representation of planning problems, mapping shortest-path problems in state-space into suitably defined shortest-path problems in atom-space. The formulation applies with little variation to sequential and parallel planning, and problems with different action costs.

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

  • Geffner, HéctorUniversidad Simón Bolivar, Venezuela (author)
  • Linköpings universitetKPLAB - Laboratoriet för kunskapsbearbetning (creator_code:org_t)

Related titles

  • In:Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS): AAAI Press, s. 140-1499781577351115

Internet link

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Haslum, Patrik
Geffner, Héctor
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
and Computer Science ...
Articles in the publication
Proceedings of t ...
By the university
Linköping University

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view