Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks

被引:0
|
作者
van Waveren, Sanne [1 ,2 ]
Pek, Christian
Leite, Iolanda [3 ]
Tumova, Jana [3 ]
Kragic, Danica [3 ]
机构
[1] Georgia Inst Technol, Sch Interact Comp, Atlanta, GA 30332 USA
[2] Delft Univ Technol, Dept Cognit Robot, Delft, Netherlands
[3] KTH Royal Inst Technol, Div Robot Percept & Learning, Stockholm, Sweden
关键词
TRAJECTORY PREDICTION;
D O I
10.1109/IROS55552.2023.10341369
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Rearranging objects is an essential skill for robots. To quickly teach robots new rearrangements tasks, we would like to generate training scenarios from high-level specifications that define the relative placement of objects for the task at hand. Ideally, to guide the robot's learning we also want to be able to rank these scenarios according to their difficulty. Prior work has shown how generating diverse scenario from specifications and providing the robot with easy-to-difficult samples can improve the learning. Yet, existing scenario generation methods typically cannot generate diverse scenarios while controlling their difficulty. We address this challenge by conditioning generative models on spatial logic specifications to generate spatially-structured scenarios that meet the specification and desired difficulty level. Our experiments showed that generative models are more effective and data-efficient than rejection sampling and that the spatially-structured scenarios can drastically improve training of downstream tasks by orders of magnitude.
引用
收藏
页码:11420 / 11427
页数:8
相关论文
共 50 条
  • [1] Generating layout designs from high-level specifications
    Wang, Xiao-Yu
    Zhang, Kang
    AUTOMATION IN CONSTRUCTION, 2020, 119
  • [2] GENERATING ACTIVE RULES FROM HIGH-LEVEL SPECIFICATIONS
    DIAZ, O
    EMBURY, SM
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 618 : 227 - 243
  • [3] High-level specifications for automatically generating parallel code
    Acosta, Alejandro
    Almeida, Francisco
    Pelaez, Ignacio
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (07): : 989 - 1012
  • [4] Formal techniques for automatically generating marshalling code from high-level specifications
    Dietz, P
    Weigert, T
    Weil, F
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 40 - 47
  • [5] Towards generating optimised finite element solvers for GPUs from high-level specifications
    Markall, Graham R.
    Ham, David A.
    Kelly, Paul H. J.
    ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 1809 - 1817
  • [6] High-level specifications: Lessons from industry
    Batson, B
    Lamport, L
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 242 - 261
  • [7] Generating domain-specific visual language editors from high-level tool specifications
    Grundy, John
    Hosking, John
    Zhu, Nianping
    Liu, Na
    ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 25 - 34
  • [8] Generating fault-tolerant information distribution rules from high-level requirements specifications
    Ahmed, MA
    Rine, DC
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1997, 28 (11) : 1163 - 1176
  • [9] An Object SLAM Framework for Association, Mapping, and High-Level Tasks
    Wu, Yanmin
    Zhang, Yunzhou
    Zhu, Delong
    Deng, Zhiqiang
    Sun, Wenkai
    Chen, Xin
    Zhang, Jian
    IEEE TRANSACTIONS ON ROBOTICS, 2023, 39 (04) : 2912 - 2932
  • [10] Behavior construction and refinement from high-level specifications
    Martignoni, AJ
    Smart, WD
    MOBILE ROBOTS XVII, 2004, 5609 : 289 - 297