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 条
  • [31] Discovery of high-level tasks in the operating room
    Bouarfa, L.
    Jonker, P. P.
    Dankelman, J.
    JOURNAL OF BIOMEDICAL INFORMATICS, 2011, 44 (03) : 455 - 462
  • [32] Refactoring ISP for High-Level Vision Tasks
    Shi, Yongjie
    Li, Songjiang
    Jia, Xu
    Liu, Jianzhuang
    2022 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2022), 2022, : 2366 - 2372
  • [33] Synthesizing fast intrusion prevention/detection systems from high-level specifications
    Sekar, R
    Uppuluri, P
    USENIX ASSOCIATION PROCEEDINGS OF THE EIGHTH USENIX SECURITY SYMPOSIUM (SECURITY '99), 1999, : 63 - 78
  • [34] Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications
    Moarref, Salar
    Kress-Gazit, Hadas
    2017 INTERNATIONAL SYMPOSIUM ON MULTI-ROBOT AND MULTI-AGENT SYSTEMS (MRS), 2017,
  • [35] Tutorial - Bluespec SystemVerilog: Efficient, correct RTL from high-level specifications
    Nikhil, R
    Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 69 - 70
  • [36] AUTOMATED TECHNIQUE FOR HIGH-LEVEL CIRCUIT SYNTHESIS FROM TEMPORAL LOGIC SPECIFICATIONS
    DOWSING, R
    ELLIOTT, R
    MARSHALL, I
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (03): : 145 - 152
  • [37] Convolutional Oriented Boundaries: From Image Segmentation to High-Level Tasks
    Maninis, Kevis-Kokitsi
    Pont-Tuset, Jordi
    Arbelaez, Pablo
    Van Gool, Luc
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2018, 40 (04) : 819 - 833
  • [38] A synthesis approach to deriving object-based specifications from object interaction scenarios
    Cheung, King-Sing
    Chow, Kai-On
    ADVANCES IN INFORMATION SYSTEMS DEVELOPMENT, VOL 1 AND 2: BRIDGING THE GAP BETWEEN ACADEMIA AND INDUSTRY, 2006, : 647 - +
  • [39] AUTOMATED HIGH-LEVEL VERIFICATION AGAINST CLOCKED ALGORITHMIC SPECIFICATIONS
    CORELLA, F
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 147 - 154
  • [40] Towards high-level, verifiable autonomous behaviors with temporal specifications
    Wang, Ju
    Pandit, Sagar
    PROCEEDINGS OF THE 2019 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2019, : 92 - 99