A new approach to combined symbolic-geometric backtracking in the context of human-robot interaction
Published 1 May 2014
Lavindra de Silva, Mamoun Gharbi, Amit Kumar Pandey, Rachid Alami
Citations15
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This work presents a new approach to interleaved backtracking, where the symbolic planner backtracks to try alternative action branches that naturally map to different geometric solutions, which eliminates the need to “protect” certain symbolic conditions when backtracking at the geometric level.
Abstract
International audience
Keywords
Computer ScienceEngineering
Artificial IntelligenceStrips: A new approach to the application of theorem proving to problem solving
4,073 Citations1971Richard Fikes, Nils J. Nilsson
A new problem solver called STRIPS is described that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proven to be true.
Hierarchical task and motion planning in the now
477 Citations2011Leslie Pack Kaelbling, Tomás Lozano‐Pérez
An approach to the integration of task planning and motion planning that has the following key properties: It is aggressively hierarchical; it makes choices and commits to them in a top-down fashion in an attempt to limit the length of plans that need to be constructed, and thereby exponentially decrease the amount of search required.
Digital Repository at the University of Maryland (University of Maryland College Park)SHOP: Simple Hierarchical Ordered Planner
399 Citations1999Dana Nau, Yue Cao +2 more
In the authors' tests, SHOP was several orders of magnitude faster man Blackbox and several times faster than TLpian, even though SHOP is coded in Lisp and the other planners are coded in C.
Proceedings of the International Conference on Automated Planning and SchedulingCombined Task and Motion Planning for Mobile Manipulation
206 Citations2010Jason Wolfe, Bhaskara Marthi +1 more
A hierarchical planning system and its application to robotic manipulation that finds high-quality kinematic solutions to task-level problems and takes advantage of subtask-specific irrelevance information, reusing optimal solutions to state-abstracted subproblems across the search space.
G/sup en/oM: a tool for the specification and the implementation of operating modules in a distributed robot architecture
157 Citations2002Sara Fleury, Matthieu Herrb +1 more
This paper presents a general methodology for the specification and the integration of functional modules in a distributed reactive robot architecture based on a hybrid architecture basically composed of two levels: a lower distributed functional level controlled by a centralized decisional level.
Sampling-Based Motion and Symbolic Action Planning with geometric and differential constraints
143 Citations2010Erion Plaku, Gregory D. Hager
Sampling-based Motion and Symbolic Action Planner leverages from sampling-based motion planning the underlying idea of searching for a solution trajectory by selectively sampling and exploring the continuous space of collision-free and dynamically-feasible motions.
Springer tracts in advanced roboticsSemantic Attachments for Domain-Independent Planning Systems
128 Citations2012Christian Dornhege, Patrick Eyerich +4 more
This paper proposes an extension of PDDL for specifying semantic attachments that allows the evaluation of grounded predicates as well as the change of fluents by externally specified functions.
Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation
127 Citations2011Esra Erdem, Kadir Haspalamutgil +3 more
A formal framework that combines high-level representation and causality-based reasoning with low-level geometric reasoning and motion planning with an application to robotic manipulation, and embeds geometric reasoning in causal reasoning.
Total-order planning with partially ordered subtasks
118 Citations2001Dana Nau, Héctor Muñoz‐Avila +3 more
The experimental results suggest that in some problem domains, the difficulty of writing SHOP knowledge bases derives from SHOP's total-ordering requirement--and that in such cases, SHOP2 can plan as efficiently as SHOP using knowledge bases simpler than those needed by SHOP.
Move3D: A generic platform for path planning
92 Citations2002Thierry Siméon, Jean‐Paul Laumond +1 more
Reports on Move3D, a software platform dedicated to collision-free path planning, focuses on results obtained in logistics for industrial installations, in graphics animation and in mobile robotics as well.
Proceedings of the International Conference on Automated Planning and SchedulingSemantic Attachments for Domain-Independent Planning Systems
79 Citations2009Christian Dornhege, Patrick Eyerich +4 more
Constraint propagation on interval bounds for dealing with geometric backtracking
72 Citations2012Fabien Lagriffoul, Dimitar Dimitrov +2 more
This paper uses intervals to represent geometric configurations, and constraint propagation techniques to shrink these intervals according to the geometric constraints of the problem, and reports experiments that show how the search space is reduced.
Integrating symbolic and geometric planning for mobile manipulation
71 Citations2009Christian Dornhege, Mika Gissler +2 more
This work decomposes the manipulation problem into a symbolic and a geometric part that is implemented as a classical symbolic planner that tightly integrates a geometric planner enabling it to efficiently generate correct plans.
A sampling-based path planner for dual-arm manipulation
56 Citations2008Myriam Gharbi, Jorge Cortés +1 more
The method is extended by incorporating an explicit treatment of singular configurations, which permit to find solution paths requiring the robot reconfiguration, and the generality of the approach is demonstrated by its application to a model of the complex DLRpsilas Justin robot.
arXiv (Cornell University)Towards Combining HTN Planning and Geometric Task Planning
50 Citations2013Lavindra de Silva, Amit Kumar Pandey +2 more
An interface between a symbolic planner and a geometric task planner, which is different to a standard trajectory planner in that the former is able to perform geometric reasoning on abstract entities---tasks is presented.
HAL (Le Centre pour la Communication Scientifique Directe)A Robot Task Planner that Merges Symbolic and Geometric Reasoning
46 Citations2004Stéphane Cambon, Fabien Gravot +1 more
The ingredients that allowed us to establish an effective link between the representations used by a symbolic task planner and the representations using by a realistic motion and manipulation planning library are presented.
Mightability maps: A perceptual level decisional framework for co-operative and competitive human-robot interaction
46 Citations2010Ajay Kumar Pandey, Rachid Alami
Interestingly Humans are able to maintain rough estimations of visibility, reachability and other capabilities of not only themselves but of the person they are interacting with as well as that of the human partner.
Unifying perception, estimation and action for mobile manipulation via belief space planning
37 Citations2012Leslie Pack Kaelbling, Tomás Lozano‐Pérez
An integrated strategy for planning, perception, state-estimation and action in complex mobile manipulation domains based on hierarchical symbolic regression (pre-image back-chaining) and a vocabulary of fluents that describe sets of belief states, which are goals and subgoals in the planning process.
Towards planning Human-Robot Interactive manipulation tasks: Task dependent and human oriented autonomous selection of grasp and placement
36 Citations2012Amit Pandey, Jean-Philippe Saut +2 more
This paper will explore essential human oriented constraints on grasp and placement selections and present a framework to incorporate them in synthesizing key configurations of planning basic interactive manipulation tasks.
A Task Planner for an Autonomous Social Robot
32 Citations2009Samir Alili, Rachid Alami +1 more
An overall description of HATP is provided and the features of its plans evaluation mechanisms are discussed and its performance on a real scenario achieved by a robot in interaction with a human partner in a realistic setup is illustrated.
An interface for interleaved symbolic-geometric planning and backtracking
29 Citations2013Lavindra de Silva, Amit Kumar Pandey +1 more
This paper presents a meaningful interface, and insights into a methodology for developing interwoven symbolic-geometric domains, and presents a prototype implementation of the combined system on a PR2 robot.
elib (German Aerospace Center)Combining task and path planning for a humanoid two-arm robotic system
26 Citations2012Lars Karlsson, Julien Bidot +4 more
This paper describes work in progress on planning for a humanoid two-arm robotic system where task and path planning capabilities have been integrated into a coherent planning framework and argues that geometric backtracking is required for resolution completeness.
mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)Robot task and motion planning with sets of convex polyhedra
14 Citations2013Andre Gaschler, Ronald P. A. Petrick +3 more
This work uses sets of convex polyhedra to represent the boundaries of objects, robot manipulators, and swept volumes of robot motions, and applies efficient algorithms for convex decomposition, conservative swept volume approximation and collision detection, and integrates these methods into the existing “knowledge of volumes” approach to robot task planning called KVP.