Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning

REFERENCES

• Allen , J. F. 1983 . Maintaining knowledge about temporal intervals . Communications of the ACM , 26 ( 11 ) : 832 – 843 .
   Web of Science ®Google Scholar
• Apt , K. R. and Brand , S. Infinite qualitative simulations by means of constraint programming . Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP1906) . Edited by: Benhamou , F. pp. 29 – 43 . Berlin : Springer. .
   Google Scholar
• Balbiani , P. , Condotta , J.-F. and del Cerro , L. F. 2002 . Tractability results in the block algebra . Journal of Logic and Computation , 12 ( 5 ) : 885 – 909 .
   Google Scholar
• van Beek , P. and Cohen , R. 1990 . Exact and approximate reasoning about temporal relations . Computational Intelligence , 6 : 132 – 144 .
   Google Scholar
• Bessière , C. 2006 . “ Constraint propagation. ” . In Handbook of Constraint Programming Edited by: Rossi , F. , van Beek , P. and Walsh , T. 29 – 83 . Amsterdam : Elsevier. .
   Google Scholar
• Bhatt , M. and Loke , S. 2008 . Modelling dynamic spatial systems in the situation calculus . Spatial Cognition & Computation: An Interdisciplinary Journal , 8 ( 1–2 ) : 86 – 130 .
   Web of Science ®Google Scholar
• Boor , V. , Overmars , M. and van der Stappen , A. The Gaussian sampling strategy for probabilistic roadmap planners . Proceedings of the IEEE International Conference on Robotics and Automation (ICRA1999) . pp. 1018 – 1023 . IEEE Press. .
   Google Scholar
• Buss , S. R. and Kim , J.-S. 2005 . Selectively damped least squares for inverse kinematics . Journal of Graphics Tools , 10 ( 3 ) : 37 – 49 .
   Google Scholar
• Cohn , A. G. and Renz , J. 2008 . “ Qualitative spatial representation and reasoning. ” . In Handbook of Knowledge Representation Edited by: van Hermelen , F. , Lifschitz , V. and Porter , B. 551 – 596 . Amsterdam : Elsevier. .
   Google Scholar
• Cui , Z. , Cohn , A. G. and Randell , D. A. Qualitative simulation based on a logical formalism of space and time . Proceedings of the 10th National Conference on Artificial Intelligence (AAAI1992) . Edited by: Swartout , W. R. pp. 679 – 684 . Menlo Park : AAAI Press. .
   Google Scholar
• Dornhege , C. , Eyerich , P. , Keller , T. , Trüg , S. , Brenner , M. and Nebel , B. Semantic attachments for domain-independent planning systems . Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS1909) . Edited by: Gerevini , A. , Howe , A. E. , Cesta , A. and Refanidis , I. pp. 114 – 121 . Menlo Park : AAAI Press. .
   Google Scholar
• Dornhege , C. , Gissler , M. , Teschner , M. and Nebel , B. Integrating symbolic and geometric planning for mobile manipulation . IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR1909) .
   Google Scholar
• Dylla , F. , Frommberger , L. , Wallgrün , J. O. , Wolter , D. , Nebel , B. and Wölfl , S. SailAway: Formalizing navigation rules . Proceedings of the Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication (AISB1907) .
   Google Scholar
• Dylla , F. and Wallgrün , J. O. 2007 . Qualitative spatial reasoning with conceptual neighborhoods for agent control . Journal of Intelligent and Robotic Systems , 48 ( 1 ) : 55 – 78 .
   Google Scholar
• Frank , A. U. 1996 . Qualitative spatial reasoning: Cardinal directions as an example . International Journal of Geographical Information Science , 10 ( 3 ) : 269 – 290 .
   Web of Science ®Google Scholar
• Freksa , C. 1991 . “ Conceptual neighborhood and its role in temporal and spatial reasoning. ” . In IMACS International Workshop on Decision Support Systems and Qualitative Reasoning 181 – 187 . Amsterdam : North-Holland. .
   Google Scholar
• Galton , A. 2000 . Qualitative Spatial Change. Oxford University Press. .
   Google Scholar
• Galton , A. 2001 . Dominance diagrams: A tool for qualitative reasoning about continuous systems . Fundamenta Informaticae , 46 ( 1–2 ) : 55 – 70 .
   Google Scholar
• Gantner , Z. , Westphal , M. and Wölfl , S. GQR - A fast reasoner for binary qualitative constraint calculi . Proceedings of the AAAI1908 Workshop on Spatial and Temporal Reasoning . Menlo Park : AAAI Press. .
   Google Scholar
• Gooday , J. and Galton , A. 1997 . The transition calculus: A high-level formalism for reasoning about action and change . Journal of Experimental and Theoretical Artificial Intelligence , 9 ( 1 ) : 51 – 66 .
   Web of Science ®Google Scholar
• Gooday , J. M. and Cohn , A. G. 1996 . “ Transition-based qualitative simulation. ” . In Proceedings of the 10th International Workshop on Qualitative Reasoning 74 – 82 . Menlo Park : AAAI Press. .
   Google Scholar
• Hsu , D. , Jiang , T. , Reif , J. and Sun , Z. The bridge test for sampling narrow passages with probabilistic roadmap planners . Proceedings of the IEEE International Conference on Robotics and Automation (ICRA1903 . pp. 4420 – 4426 . IEEE Press. .
   Google Scholar
• Hsu , D. , Sánchez-Ante , G. , Cheng , H.-L. and Latombe , J.-C. Multi-level free-space dilation for sampling narrow passages in PRM planning . Proceedings of the IEEE International Conference on Robotics and Automation (ICRA1906) . pp. 1255 – 1260 . IEEE Press. .
   Google Scholar
• Jacoff , A. and Messina , E. Urban search and rescue robot performance standards: Progress update . Proceedings on SPIE Unmanned Systems Technology IX. Edited by: Gerhart , G. R. , Gage , D. W. and Shoemaker , C. M. Bellingham SPIE Press. .
   Google Scholar
• Kavraki , L. and Latombe , J.-C. Randomized preprocessing of configuration space for path planning: Articulated robots . Proceedings of the International Conference on Intelligent Robots and Systems (IROS1994) . pp. 1764 – 1771 . IEEE Press. .
   Google Scholar
• Kavraki , L. , Svestka , P. , Latombe , J. and Overmars , M. 1996 . Probabilistic roadmaps for path planning in high-dimensional configuration spaces . IEEE Transactions on Robotics and Automation , 12 ( 4 ) : 566 – 580 .
   Google Scholar
• Klippel , A. , Worboys , M. F. and Duckham , M. 2008 . Identifying factors of geographic event conceptualisation . International Journal of Geographical Information Science , 22 ( 2 ) : 183 – 204 .
   Web of Science ®Google Scholar
• Latombe , J.-C. 1991 . Robot Motion Planning. Dordrecht : Kluwer. .
   Google Scholar
• Ligozat , G. 1998 . Reasoning about cardinal directions . Journal of Visual Languages and Computing , 9 ( 1 ) : 23 – 44 .
   Web of Science ®Google Scholar
• Ligozat , G. and Renz , J. What is a qualitative calculus? A general framework . Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI1904) . Edited by: Zhang , C. , Guesgen , H. W. and Yeap , W.-K. pp. 53 – 64 . Berlin : Springer. .
   Google Scholar
• Lozano-Perez , T. 1980 . Spatial planning: A configuration space approach. . IEEE Transactions on Computers , C-32 ( 2 ) : 108 – 120 .
   Google Scholar
• Moratz , R. 2004 . Qualitative Spatial Reasoning about Oriented Points (Tech. Rep. No. 003/10–2004). SFB/TR 8 Spatial Cognition
   Google Scholar
• Ragni , M. and Wölfl , S. Temporalizing spatial calculi: On generalized neighborhood graphs . Proceedings of the 28th Annual German Conference on AI (KI1905) . Edited by: Furbach , U. pp. 64 – 78 . Berlin : Springer. .
   Google Scholar
• Ragni , M. and Wölfl , S. Temporalizing cardinal directions: From constraint satisfaction to planning . Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR1906) . Edited by: Doherty , P. , Mylopoulos , J. and Welty , C. A. pp. 472 – 480 . Menlo Park : AAAI Press. .
   Google Scholar
• Randell , D. A. , Cui , Z. and Cohn , A. G. A spatial logic based on regions and connection . Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR1992) . Edited by: Nebel , B. , Swartout , W. and Rich , C. pp. 165 – 176 . San Francisco : Morgan Kaufmann. .
   Google Scholar
• Renz , J. and Nebel , B. 2006 . “ Qualitative spatial reasoning using constraint calculi. ” . In The Logic of Space Edited by: Aiello , M. , Pratt-Hartmann , I. and van Benthem , J. 161 – 215 . Dordrecht : Kluwer. .
   Google Scholar
• Saha , M. , Latombe , J. , Chang , Y.-C. and Prinz , F. 2005 . Finding narrow passages with probabilistic roadmaps: The small-step retraction method . Autonomous Robots , 19 ( 3 ) : 301 – 319 .
   Google Scholar
• Sánchez , G. and Latombe , J. A single-query bi-directional probabilistic roadmap planner with lazy collision checking . Proceedings of the Tenth International Symposium on Robotics Research (ISRR1901) . Edited by: Jarvis , R. and Zelinsky , A. pp. 403 – 417 . Berlin : Springer. .
   Google Scholar
• Schwarzer , F. , Saha , M. and Latombe , J. 2005 . Adaptive dynamic collision checking for single and multiple articulated robots in complex environments . IEEE Transactions on Robotics and Automation , 21 ( 3 ) : 338 – 353 .
   Google Scholar
• Vilain , M. B. , Kautz , H. A. and van Beek , P. G. 1989 . “ Constraint propagation algorithms for temporal reasoning: A revised report. ” . In Readings in Qualitative Reasoning about Physical Systems Edited by: Weld , D. S. and de Kleer , J. 373 – 381 . San Francisco : Morgan Kaufmann. .
   Google Scholar
• Westphal , M. and Wölfl , S. Qualitative CSP, finite CSP, and SAT: Comparing methods for qualitative constraint-based reasoning . Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI1909) . Edited by: Boutilier , C. pp. 628 – 633 . Menlo Park : AAAI Press. .
   Google Scholar
• Wölfl , S. and Westphal , M. On combinations of binary qualitative constraint calculi . Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI1909) . Edited by: Boutilier , C. pp. 967 – 973 . Menlo Park : AAAI Press. .
   Google Scholar
• Zhang , L. , Kim , Y. and Manocha , D. A hybrid approach for complete motion planning . Proceedings of the International Conference on Intelligent Robots and Systems (IROS1907) . pp. 7 – 14 . IEEE Press. .
   Google Scholar