Hybrid planning for challenging construction problems : An Answer Set Programming approach
(2023) In Artificial Intelligence 319.- Abstract
We study construction problems where multiple robots rearrange stacks of prefabricated blocks to build stable structures. These problems are challenging due to ramifications of actions, true concurrency, and requirements of supportedness of blocks by a surface or a robot and stability of the overall structure at all times. We propose a general elaboration tolerant method to solve a wide range of construction problems, based on the knowledge representation and reasoning paradigm of Answer Set Programming. This method not only (i) determines a stable final configuration of the structure, but also (ii) computes the order of manipulation tasks for multiple autonomous robots to build the structure from an initial configuration, (iii) while... (More)
We study construction problems where multiple robots rearrange stacks of prefabricated blocks to build stable structures. These problems are challenging due to ramifications of actions, true concurrency, and requirements of supportedness of blocks by a surface or a robot and stability of the overall structure at all times. We propose a general elaboration tolerant method to solve a wide range of construction problems, based on the knowledge representation and reasoning paradigm of Answer Set Programming. This method not only (i) determines a stable final configuration of the structure, but also (ii) computes the order of manipulation tasks for multiple autonomous robots to build the structure from an initial configuration, (iii) while simultaneously ensuring the requirements of supportedness and stability at all times. We prove the soundness and completeness of our method with respect to these properties. We introduce a set of challenging construction benchmark instances, including construction of (uneven) bridges and overhangs, and discuss the usefulness of our framework over these instances. Furthermore, we perform experiments to investigate the computational performance of our hybrid method, and demonstrate the applicability of our method using a bimanual Baxter robot.
(Less)
- author
- Ahmad, Faseeh LU ; Patoglu, Volkan and Erdem, Esra
- organization
- publishing date
- 2023-06
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Answer Set Programming, Construction problems, Hybrid planning
- in
- Artificial Intelligence
- volume
- 319
- article number
- 103902
- publisher
- Elsevier
- external identifiers
-
- scopus:85150463387
- ISSN
- 0004-3702
- DOI
- 10.1016/j.artint.2023.103902
- language
- English
- LU publication?
- yes
- id
- c4533a7b-54db-4ccb-8f21-627919967ac9
- date added to LUP
- 2023-04-24 11:10:16
- date last changed
- 2023-11-22 17:27:59
@article{c4533a7b-54db-4ccb-8f21-627919967ac9,
abstract = {{<p>We study construction problems where multiple robots rearrange stacks of prefabricated blocks to build stable structures. These problems are challenging due to ramifications of actions, true concurrency, and requirements of supportedness of blocks by a surface or a robot and stability of the overall structure at all times. We propose a general elaboration tolerant method to solve a wide range of construction problems, based on the knowledge representation and reasoning paradigm of Answer Set Programming. This method not only (i) determines a stable final configuration of the structure, but also (ii) computes the order of manipulation tasks for multiple autonomous robots to build the structure from an initial configuration, (iii) while simultaneously ensuring the requirements of supportedness and stability at all times. We prove the soundness and completeness of our method with respect to these properties. We introduce a set of challenging construction benchmark instances, including construction of (uneven) bridges and overhangs, and discuss the usefulness of our framework over these instances. Furthermore, we perform experiments to investigate the computational performance of our hybrid method, and demonstrate the applicability of our method using a bimanual Baxter robot.</p>}},
author = {{Ahmad, Faseeh and Patoglu, Volkan and Erdem, Esra}},
issn = {{0004-3702}},
keywords = {{Answer Set Programming; Construction problems; Hybrid planning}},
language = {{eng}},
publisher = {{Elsevier}},
series = {{Artificial Intelligence}},
title = {{Hybrid planning for challenging construction problems : An Answer Set Programming approach}},
url = {{http://dx.doi.org/10.1016/j.artint.2023.103902}},
doi = {{10.1016/j.artint.2023.103902}},
volume = {{319}},
year = {{2023}},
}