Constructing Symbolic Representations for High-Level Planning

We consider the problem of constructing a symbolic description of a continuous, low-level environment for use in planning. We show that symbols that can represent the preconditions and effects of an agent's actions are both necessary and sufficient for high-level planning. This eliminates the s...

Full description

Bibliographic Details
Main Authors: Konidaris, George D., Kaelbling, Leslie P., Lozano-Perez, Tomas
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for the Advancement of Artificial Intelligence (AAAI) 2016
Online Access:http://hdl.handle.net/1721.1/100720
https://orcid.org/0000-0002-8657-2450
https://orcid.org/0000-0001-6054-7145
_version_ 1826210932457472000
author Konidaris, George D.
Kaelbling, Leslie P.
Lozano-Perez, Tomas
author2 Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
author_facet Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Konidaris, George D.
Kaelbling, Leslie P.
Lozano-Perez, Tomas
author_sort Konidaris, George D.
collection MIT
description We consider the problem of constructing a symbolic description of a continuous, low-level environment for use in planning. We show that symbols that can represent the preconditions and effects of an agent's actions are both necessary and sufficient for high-level planning. This eliminates the symbol design problem when a representation must be constructed in advance, and in principle enables an agent to autonomously learn its own symbolic representations. The resulting representation can be converted into PDDL, a canonical high-level planning representation that enables very fast planning.
first_indexed 2024-09-23T14:58:03Z
format Article
id mit-1721.1/100720
institution Massachusetts Institute of Technology
language en_US
last_indexed 2024-09-23T14:58:03Z
publishDate 2016
publisher Association for the Advancement of Artificial Intelligence (AAAI)
record_format dspace
spelling mit-1721.1/1007202022-09-29T11:45:46Z Constructing Symbolic Representations for High-Level Planning Konidaris, George D. Kaelbling, Leslie P. Lozano-Perez, Tomas Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Konidaris, George D. Kaelbling, Leslie P. Lozano-Perez, Tomas We consider the problem of constructing a symbolic description of a continuous, low-level environment for use in planning. We show that symbols that can represent the preconditions and effects of an agent's actions are both necessary and sufficient for high-level planning. This eliminates the symbol design problem when a representation must be constructed in advance, and in principle enables an agent to autonomously learn its own symbolic representations. The resulting representation can be converted into PDDL, a canonical high-level planning representation that enables very fast planning. Massachusetts Institute of Technology (Intelligence Initiative Fellowship) National Science Foundation (U.S.) (Grant 1117325) United States. Office of Naval Research. Multidisciplinary University Research Initiative (Grant N00014-09-1-1051) United States. Air Force Office of Scientific Research (Grant FA2386-10-1-4135) Singapore. Ministry of Education (SUTD-MIT International Design Centre) 2016-01-06T15:51:51Z 2016-01-06T15:51:51Z 2014-07 Article http://purl.org/eprint/type/ConferencePaper http://hdl.handle.net/1721.1/100720 Konidaris, George, Leslie Pack Kaelbling, and Tomas Lozano-Perez. "Constructing Symbolic Representations for High-Level Planning." 28th AAAI Conference on Artificial Intelligence (July 2014). https://orcid.org/0000-0002-8657-2450 https://orcid.org/0000-0001-6054-7145 en_US http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8424 Proceedings of the 28th AAAI Conference on Artificial Intelligence Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Association for the Advancement of Artificial Intelligence (AAAI) MIT web domain
spellingShingle Konidaris, George D.
Kaelbling, Leslie P.
Lozano-Perez, Tomas
Constructing Symbolic Representations for High-Level Planning
title Constructing Symbolic Representations for High-Level Planning
title_full Constructing Symbolic Representations for High-Level Planning
title_fullStr Constructing Symbolic Representations for High-Level Planning
title_full_unstemmed Constructing Symbolic Representations for High-Level Planning
title_short Constructing Symbolic Representations for High-Level Planning
title_sort constructing symbolic representations for high level planning
url http://hdl.handle.net/1721.1/100720
https://orcid.org/0000-0002-8657-2450
https://orcid.org/0000-0001-6054-7145
work_keys_str_mv AT konidarisgeorged constructingsymbolicrepresentationsforhighlevelplanning
AT kaelblinglesliep constructingsymbolicrepresentationsforhighlevelplanning
AT lozanopereztomas constructingsymbolicrepresentationsforhighlevelplanning