From skills to symbols: Learning symbolic representations for abstract high-level planning

被引：0
|
作者：
Konidaris, George [1 ,2 ]
Kaelbling, Leslie Pack [3 ]
Lozano-Perez, Tomas [3 ]
机构：
[1] Brown University, Providence,RI,02912, United States
[2] Duke University, Durham,NC,27708, United States
[3] MIT CSAIL, 32 Vassar Street, Cambridge,MA,02139, United States
来源：
Journal of Artificial Intelligence Research | 2018年 / 61卷
关键词：
Abstract representation - Probabilistic classification - Probabilistic density - Probabilistic planning - Probability of success - Specific distribution - Symbolic representation - Theoretical foundations;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：215 / 289
相关论文
共 50 条
  • [21] Canonical representations of high-level decision diagrams
    Karputkina A.
    Ubara R.
    Raika J.
    Tombakb M.
    Estonian Journal of Engineering, 2010, 16 (01): : 39 - 55
  • [22] 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
  • [23] Learning First-Order Symbolic Representations for Planning from the Structure of the State Space
    Bonet, Blai
    Geffner, Hector
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 2322 - 2329
  • [24] Recovery of high-level intermediate representations of algorithms from binary code
    Bugerya, Alexander Borisovich
    Kulagin, Ivan Ivanovich
    Padaryan, Vartan Andronikovich
    Solovev, Mikhail Aleksandrovich
    Tikhonov, Andrei Yur'evich
    2019 IVANNIKOV MEMORIAL WORKSHOP (IVMEM 2019), 2019, : 57 - 63
  • [25] 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
  • [26] 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
  • [27] 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
  • [28] 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
  • [29] Apprentice advises high-level skills panel
    不详
    PROFESSIONAL ENGINEERING, 2010, 23 (02) : 56 - 56
  • [30] Testing Effect on High-Level Cognitive Skills
    Jensen, Jamie L.
    McDaniel, Mark A.
    Kummer, Tyler A.
    Godoy, Patricia D. D. M.
    St Clair, Bryn
    CBE-LIFE SCIENCES EDUCATION, 2020, 19 (03): : 1 - 13
12345