Constructing Symbolic Representations for High-Level Planning

被引：0

作者：

Konidaris, George ^{[1
]}

Kaelbling, Leslie Pack ^{[1
]}

Lozano-Perez, Tomas ^{[1
]}

机构：

[1] MIT, Comp Sci & Artificial Intelligence Lab, 32 Vassar St, Cambridge, MA 02139 USA

来源：

PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2014年

基金：

美国国家科学基金会;

关键词：

MOTION;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：1932 / +

页数：9

共 50 条

[11] DISCRIMINATIVE HIGH-LEVEL REPRESENTATIONS FOR SCENE CLASSIFICATION
Zhang, Lei
Xie, Shouzhi
Zhen, Xiantong
2013 20TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2013), 2013, : 4345 - 4348
[12] High-level symbolic simulation for automatic model extraction
Ouchet, Florent
Borrione, Dominique
Morin-Allory, Katell
Pierre, Laurence
PROCEEDINGS OF THE 2009 IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2009, : 218 - 221
[13] Formal verification of high-level conformance with symbolic simulation
Kaivola, R
Naik, A
HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 153 - 159
[14] High-level data conversion synthesis by symbolic methods
Horta, NC
Franca, JE
ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 802 - 805
[15] A high-level symbolic language for distributed Web programming
Visser, CT
Eliëns, A
IC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, 2000, : 93 - 97
[16] Joining high-level symbolic planning with low-level motion primitives in adaptive HRI: application to dressing assistance
Canal, Gerard
Pignat, Emmanuel
Alenya, Guillem
Calinon, Sylvain
Torras, Carme
2018 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2018, : 3273 - 3278
[17] HLR: Generating Adversarial Examples by High-Level Representations
Hao, Yuying
Li, Tuanhui
Li, Li
Jiang, Yong
Cheng, Xuanye
ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2019: IMAGE PROCESSING, PT III, 2019, 11729 : 724 - 730
[18] High-level representations through unconstrained sensorimotor learning
Ozturkcu, Ozgur Baran
Ugur, Emre
Oztop, Erhan
10TH IEEE INTERNATIONAL CONFERENCE ON DEVELOPMENT AND LEARNING AND EPIGENETIC ROBOTICS (ICDL-EPIROB 2020), 2020,
[19] High-Level Visual Object Representations Are Constrained by Position
Kravitz, Dwight J.
Kriegeskorte, Nikolaus
Baker, Chris I.
CEREBRAL CORTEX, 2010, 20 (12) : 2916 - 2925
[20] Hierarchical Skill Learning for High-level Planning
MacGlashan, James
PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1988 - 1989

← 1 2 3 4 5 →