Open AccessProceedings Article
Planning Domain + Execution Semantics: A Way Towards Robust Execution?
Reads0
Chats0
TLDR
It is shown that the combined used of causal, temporal and categorical knowledge allows the robot to detect failures even when the effects of actions are not directly observable.Abstract:
Robots are expected to carry out complex plans in real world environments. This requires the robot to track the progress of plan execution and detect failures which may occur. Planners use very abstract world models to generate plans. Additional causal, temporal, categorical knowledge about the execution, which is not included in the planner's model, is often avail- able. Can we use this knowledge to increase robustness of execution and provide early failure detection? We propose to use a dedicated Execution Model to monitor the executed plan based on runtime observations and rich execution knowl- edge. We show that the combined used of causal, temporal and categorical knowledge allows the robot to detect failures even when the effects of actions are not directly observable. A dedicated Execution model also introduces a degree of mod- ularity, since the platform- and execution-specific knowledge does not need to be encoded into the planner.read more
Citations
More filters
Journal ArticleDOI
Cognition-Enabled Robot Manipulation in Human Environments: Requirements, Recent Work, and Open Problems
TL;DR: Problem in different research areas related to mobile manipulation from the cognitive perspective are outlined, recently published works and the state-of-the-art approaches to address these problems are reviewed, and open problems to be solved are discussed.
Proceedings ArticleDOI
Online task merging with a hierarchical hybrid task planner for mobile service robots
TL;DR: The planner CHIMP is introduced, which is based on meta-CSP planning to represent the hybrid plan space and uses hierarchical planning as the strategy for cutting efficiently through this space.
Journal ArticleDOI
The RACE Project : Robustness by Autonomous Competence Enhancement
Joachim Hertzberg,Jianwei Zhang,Liwei Zhang,Sebastian Rockel,Bernd Neumann,Jos Lehmann,Krishna Dubba,Anthony G. Cohn,Alessandro Saffiotti,Federico Pecora,Masoumeh Mansouri,Štefan Konečný,Martin Günther,Sebastian Stock,Luís Seabra Lopes,Miguel Oliveira,Gi Hyun Lim,Hamidreza Kasaei,Vahid Mokhtari,Lothar Hotz,Wilfried Bohlken +20 more
TL;DR: The general system architecture is introduced and some results in detail regarding hybrid reasoning and planning used in RACE are sketches, and instances of learning from the experiences of real robot task execution are sketched.
Proceedings ArticleDOI
Interactive teaching and experience extraction for learning about objects and robot activities
Gi Hyun Lim,Miguel Oliveira,Vahid Mokhtari,S. Hamidreza Kasaei,Aneesh Chauhan,Luís Seabra Lopes,Ana Maria Tomé +6 more
TL;DR: The robot's ontology is extended with concepts for representing human-robot interactions as well as the experiences of the robot, and these experiences are extracted and stored in memory and they are used as input for learning methods.
Journal ArticleDOI
Logics based on qualitative descriptors for scene understanding
Zoe Falomir,Ana-Maria Olteţeanu +1 more
TL;DR: An approach for scene understanding based on qualitative descriptors, domain knowledge and logics is proposed, and promising results were obtained.
References
More filters
Proceedings Article
Integrating metric and qualitative temporal reasoning
Henry Kautz,Peter B. Ladkin +1 more
TL;DR: This paper demonstrates how metric and Allenstyle constraint networks can be integrated in a constraint-based reasoning system and develops a simple but powerful logical language for expressing both quantitative and qualitative information.
Journal ArticleDOI
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
TL;DR: This article provides the final step in the classification of complexity for satisfiability problems over constraints expressed in Allen's interval algebra, and shows that this algebra contains exactly eighteen maximal tractable subalgebras, and reasoning in any fragment not entirely contained in one of these subalagbras is NP-complete.
Journal Article
Unifying planning and scheduling as timelines in a component-based perspective
TL;DR: The timeline-based approach to planning represents an effective alternative to classical planning for complex domains requiring the use of both temporal reasoning and scheduling features.
Proceedings Article
Adaptive control for autonomous underwater vehicles
TL;DR: The novelty of this approach is in integrating deliberation and reaction over different temporal and functional scopes within a single model, and in breaking new ground in oceanography by allowing for precise sampling within a feature of interest using an autonomous robot.
ReportDOI
Monitored execution of robot plans produced by strips
TL;DR: PANEXl, a plan executor for the Stanford Research Institute robot system, is described, designed so that it executes only that portion of the plan necessary for completing the task, reexecutes any portion ofThe plan that has failed to achieve the desired results, and initiates replanning in situations where the plan can no longer be effective in completing thetask.