Answer Set Planning Under Action Costs

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

JAIR 2003 pp. 25-71

doi:10.1613/JAIR.1148 /jair/2003/eiter2003jair-answer/

Abstract

We present Kc, which extends the declarative planning language K by action costs and optimal plans that minimize overall action costs (cheapest plans). As shown, this novel language allows for expressing some nontrivial planning tasks in an elegant way. Furthermore, it flexibly allows for representing planning problems under other optimality criteria as well, such as computing "fastest" plans (with the least number of steps), and refinement combinations of cheap and fast plans. Our experience is encouraging and supports the claim that answer set planning may be a valuable approach to advanced planning systems in which intricate planning tasks can be naturally specified and effectively solved.

PDF JAIR Semantic Scholar

Cite

Text

Eiter et al. "Answer Set Planning Under Action Costs." Journal of Artificial Intelligence Research, 2003. doi:10.1613/JAIR.1148

Markdown

[Eiter et al. "Answer Set Planning Under Action Costs." Journal of Artificial Intelligence Research, 2003.](https://mlanthology.org/jair/2003/eiter2003jair-answer/) doi:10.1613/JAIR.1148

BibTeX

@article{eiter2003jair-answer,
  title     = {{Answer Set Planning Under Action Costs}},
  author    = {Eiter, Thomas and Faber, Wolfgang and Leone, Nicola and Pfeifer, Gerald and Polleres, Axel},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2003},
  pages     = {25-71},
  doi       = {10.1613/JAIR.1148},
  volume    = {19},
  url       = {https://mlanthology.org/jair/2003/eiter2003jair-answer/}
}