Refining the execution of abstract actions with learned action models

被引:7
|
作者
Stulp, Freek [1 ]
Beetz, Michael [1 ]
机构
[1] Tech Univ Munich, Intelligent Autonomous Syst Grp, D-85747 Garching, Germany
关键词
D O I
10.1613/jair.2479
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Robots reason about abstract actions, such as go to position 'l', in order to decide what to do or to generate plans for their intended course of action. The use of abstract actions enables robots to employ small action libraries, which reduces the search space for decision making. When executing the actions, however, the robot must tailor the abstract actions to the specific task and situation context at hand. In this article we propose a novel robot action execution system that learns success and performance models for possible specializations of abstract actions. At execution time, the robot uses these models to optimize the execution of abstract actions to the respective task contexts. The robot can so use abstract actions for efficient reasoning, without compromising the performance of action execution. We show the impact of our action execution model in three robotic domains and on two kinds of action execution problems: ( 1) the instantiation of free action parameters to optimize the expected performance of action sequences; ( 2) the automatic introduction of additional subgoals to make action sequences more reliable.
引用
收藏
页码:487 / 523
页数:37
相关论文
共 50 条
  • [31] Refining Model Checking by Abstract Interpretation
    Cousot P.
    Cousot R.
    Automated Software Engineering, 1999, 6 (1) : 69 - 95
  • [32] Symbolic execution with abstract subsumption checking
    Anand, S
    Pasareanu, CS
    Visser, W
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 163 - 181
  • [33] Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models
    Mitrevski, Alex
    Ploeger, Paul G.
    Lakemeyer, Gerhard
    2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 11025 - 11031
  • [34] An abstract setting for hamiltonian actions
    Neeb, Karl-Hermann
    Vizman, Cornelia
    MONATSHEFTE FUR MATHEMATIK, 2010, 159 (03): : 261 - 288
  • [35] An abstract setting for hamiltonian actions
    Karl-Hermann Neeb
    Cornelia Vizman
    Monatshefte für Mathematik, 2010, 159 : 261 - 288
  • [36] WORDS AND ACTIONS AS ABSTRACT OBJECTS
    SCHNEIDER, HJ
    DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1992, 40 (10): : 1141 - 1154
  • [37] Automated generation and execution of disassembly actions
    Chen, Wei Hua
    Foo, Gwendolyn
    Kara, Sami
    Pagnucco, Maurice
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2021, 68
  • [38] FUNCTIONAL-MODELING IN THE EXECUTION OF ACTIONS
    AIRENTI, G
    COLOMBETTI, M
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (05): : 469 - 480
  • [39] Shape Analysis by Refining on Abstract Evaluation Path
    Ma, Xiaodong
    Wang, Ji
    Dong, Wei
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 207 (137-151) : 137 - 151
  • [40] Minimal TCB code execution (Extended abstract)
    McCune, Jonathan M.
    Pamo, Bryan
    Perrig, Adrian
    Reiter, Michael K.
    Seshadri, Arvind
    2007 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2007, : 267 - +