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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. University of Freiburg, Freiburg, Germany. (AIICS)ORCID iD: 0000-0002-1350-2144
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-2498-8020
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Universitat Pompeu Fabra, Barcelona, Spain; Institució Catalana de Recerca i Estudis Avançats (ICREA), Barcelona, Spain.ORCID iD: 0000-0001-9851-8219
2022 (English)In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS2022), Palo Alto, California USA, 2022, p. 62-70Conference paper, Published paper (Refereed)
Abstract [en]

Recently, sketches have been introduced as a general language for representing the subgoal structure of instances drawn from the same domain. Sketches are collections of rules of the form C -> E over a given set of features where C expresses Boolean conditions and E expresses qualitative changes. Each sketch rule defines a subproblem: going from a state that satisfies C to a state that achieves the change expressed by E or a goal state. Sketches can encode simple goal serializations, general policies, or decompositions of bounded width that can be solved greedily, in polynomial time, by the SIW_R variant of the SIW algorithm. Previous work has shown the computational value of sketches over benchmark domains that, while tractable, are challenging for domain-independent planners. In this work, we address the problem of learning sketches automatically given a planning domain, some instances of the target class of problems, and the desired bound on the sketch width. We present a logical formulation of the problem, an implementation using the ASP solver Clingo, and experimental results. The sketch learner and the SIW_R planner yield a domain-independent planner that learns and exploits domain structure in a crisp and explicit form.

Place, publisher, year, edition, pages
Palo Alto, California USA, 2022. p. 62-70
Series
Proceedings of the International Conference on Automated Planning and Scheduling, ISSN 2334-0835
Keywords [en]
Classical planning, Serialized Iterated Width, Learning the Subgoal Structure, Policy Sketches, Combinatorial Optimization Approach
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-184354DOI: 10.1609/icaps.v32i1.19786Scopus ID: 2-s2.0-85134742351ISBN: 9781577358749 (print)OAI: oai:DiVA.org:liu-184354DiVA, id: diva2:1652049
Conference
32nd International Conference on Automated Planning and Scheduling, Singapore (Virtual), June 13-24, 2022
Funder
Knut and Alice Wallenberg FoundationEU, Horizon 2020, 952215European Commission, 885107Swedish National Infrastructure for Computing (SNIC), 2018-05973Available from: 2022-04-14 Created: 2022-04-14 Last updated: 2024-08-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopusPaper

Authority records

Drexler, DominikSeipp, JendrikGeffner, Hector

Search in DiVA

By author/editor
Drexler, DominikSeipp, JendrikGeffner, Hector
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 335 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf