Towards Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors

被引：0
|
作者：
Raman, Vasumathi [1 ]
Kress-Gazit, Hadas [2 ]
机构：
[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA
[2] Cornell Univ, Sibley Sch Mech & Aerosp Engn, Ithaca, NY 14853 USA
来源：
2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) | 2013年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
High-level robot control has recently seen the application of formal methods to the automatic synthesis of correct-by-construction controllers from user-defined specifications. When a specification fails to yield a corresponding controller, existing techniques provide feedback on portions of the specification that cause the failure, but at a coarse granularity. This work provides techniques for extracting minimal explanations of such failures. The approach is shown to provide refinement of the feedback on several example specifications.
引用
收藏
页码：757 / 762
页数：6
相关论文
共 50 条
  • [41] Correct High-level Robot Control from Structured English
    Jing, Gangyuan
    Finucane, Cameron
    Raman, Vasumathi
    Kress-Gazit, Hadas
    2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 3543 - 3544
  • [42] Integrating active localization into high-level robot control systems
    Beetz, M
    Burgard, W
    Fox, D
    Cremers, AB
    ROBOTICS AND AUTONOMOUS SYSTEMS, 1998, 23 (04) : 205 - 220
  • [43] Message-based evaluation for high-level robot control
    Lee, C
    Xu, YS
    1998 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, 1998, : 844 - 849
  • [44] Turning high-level plans into robot programs in uncertain domains
    Grosskreutz, H
    Lakemeyer, G
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 548 - 552
  • [45] Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics
    DeCastro, Jonathan A.
    Kress-Gazit, Hadas
    2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 749 - 756
  • [46] Reactive High-level Behavior Synthesis for an Atlas Humanoid Robot
    Maniatopoulos, Spyros
    Schillinger, Philipp
    Pong, Vitchyr
    Conner, David C.
    Kress-Gazit, Hadas
    2016 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2016, : 4192 - 4199
  • [47] Humanoid robot painter: Visual perception and high-level manning
    Ruchanurucks, Miti
    Kudoh, Shunsuke
    Ogawara, Koichi
    Shiratori, Takaaki
    Ikeuchi, Katsushi
    PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10, 2007, : 3028 - +
  • [48] From High-Level Task Descriptions to Executable Robot Code
    Stenmark, Maj
    Malec, Jacek
    Stolt, Andreas
    INTELLIGENT SYSTEMS'2014, VOL 2: TOOLS, ARCHITECTURES, SYSTEMS, APPLICATIONS, 2015, 323 : 189 - 202
  • [49] MODEL-BASED STRATEGIES FOR HIGH-LEVEL ROBOT VISION
    SHNEIER, MO
    LUMIA, R
    KENT, EW
    COMPUTER VISION GRAPHICS AND IMAGE PROCESSING, 1986, 33 (03): : 293 - 306
  • [50] Towards providing explanations for robot motion planning
    Brandao, Martim
    Canal, Gerard
    Krivic, Senka
    Magazzeni, Daniele
    2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 3927 - 3933
12345