An approach to geometric reasoning in robotics

Anticipating the use of knowledge-based expert systems for robot task planning, a geometric reasoning is envisioned for the representation and manipulation of geometric information in a manner uniform with other knowledge. The general requirements for such a reasoner are outlined and a proposed architecture is described, built on four concepts: a class structure of spatial sets, features as subsets of those spatial sets, geometric abstractions as partial representations of features, and constraints as a mechanism for reasoning. An example implementation is built in an object-oriented environment and uses an underlying solids modeler, transparent to the end user. >

[1]  Scott E. Fahlman,et al.  A Planning System for Robot Construction Tasks , 1973, Artif. Intell..

[2]  R. Light,et al.  Modification of geometric models through variational geometry , 1982 .

[3]  Daniel R. Rehak,et al.  Object-Oriented Domain Modelling of Constructed Facilities for Robotic Operations , 1986 .

[4]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[5]  Ann Patricia Fothergill,et al.  An Interpreter for a Language for Describing Assemblies , 1980, Artif. Intell..

[6]  Victor J. Milenkovic,et al.  Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic , 1989, Artif. Intell..

[7]  U Flemming,et al.  More on the Representation and Generation of Loosely Packed Arrangements of Rectangles , 1986 .

[8]  Reid G. Simmons.  Spatial and Temporal Reasoning in Geologic Map Interpretation , 1982, AAAI.

[9]  Philip Klahr,et al.  SWIRL: An Object-Oriented Air Battle Simulator , 1982, AAAI.

[10]  Ann Patricia Fothergill,et al.  Inferring the Positions of Bodies from Specified Spatial Relationships , 1974, Artif. Intell..

[11]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[12]  Drew McDermott.  A Theory of Metric Spatial Inference , 1980, AAAI.

[13]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[14]  Gerald J. Agin.  Hierarchical Representation of Three-Dimensional Objects Using Verbal Models , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[15]  G. Stiny.  Introduction to Shape and Shape Grammars , 1980 .

[16]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.