A Method of Spatial Reasoning Based on Qualitative Trigonometry

Abstract Due to the lack of exact quantitative information or the difficulty associated with obtaining or processing such information, qualitative spatial knowledge representation and reasoning often become an essential means for solving spatial constraint problems as found in science and engineering. This paper presents a computational approach to representing and reasoning about spatial constraints in two-dimensional Euclidean space, where the a priori spatial information is not precisely expressed in quantitative terms. The spatial quantities considered in this work are qualitative distances and qualitative orientation angles. Here, we explicitly define the semantics of these quantities and thereafter formulate a representation of qualitative trigonometry (QTRIG). The resulting QTRIG formalism provides the necessary inference rules for qualitative spatial reasoning. In the paper, we illustrate how the QTRIG relationships can be employed in generating qualitative spatial descriptions in two-dimensional Euclidean geometric problems, and furthermore, how the derived qualitative spatial descriptions can be used to guide a simulated-annealing-based exact quantitative value assignment. Finally, we discuss an application of the proposed spatial reasoning method to the kinematic constraint analysis in computer-aided pre-parametric mechanism design.

[1]  Boi Faltings,et al.  A Symbolic Approach to Qualitative Kinematics , 1992, Artif. Intell..

[2]  Jiming Liu,et al.  Qualitative physics for robot task planning. II. Kinematics of mechanical devices , 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

[3]  John S. Gero,et al.  Artificial Intelligence Developments and Applications , 1988 .

[4]  Leo Joskowicz,et al.  Automated modeling and kinematic simulation of mechanisms , 1993, Comput. Aided Des..

[5]  Sridhar Kota,et al.  A network based expert system for intelligent design of mechanisms , 1988, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[6]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[7]  Alistair I. Mees,et al.  Convergence of an annealing algorithm , 1986, Math. Program..

[8]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[9]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[10]  N. Metropolis,et al.  Equation of State Calculations by Fast Computing Machines , 1953, Resonance.

[11]  Randy C. Brost,et al.  Computing metric and topological properties of configuration-space obstacles , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[12]  Paul Molitor.  Layer assignment by simulated annealing , 1985 .

[13]  Kenneth D. Forbus,et al.  Qualitative Spatial Reasoning: The Clock Project , 1991, Artif. Intell..

[14]  J. Beck.  Organization and representation in perception , 1982 .

[15]  Longin Jan Latecki,et al.  Orientation and Qualitative Angle for Spatial Reasoning , 1993, IJCAI.

[16]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[17]  Boi Faltings,et al.  Reasoning about Kinematic Topology , 1989, IJCAI.

[18]  Jaakko Hintikka,et al.  On the Logic of Perception , 1969 .

[19]  C. H. Orgill.  An on-line mobility model for robotic assemblages using orthogonal physical constraints , 1988, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[20]  Craig Stanfill.  The Decomposition of a Large Domain: Reasoning About Machines , 1983, AAAI.

[21]  Pascal Van Hentenryck,et al.  Newton - Constraint Programming over Nonlinear Constraints , 1998, Sci. Comput. Program..

[22]  Michael L. Mavrovouniotis,et al.  Reasoning with Orders of Magnitude and Approximate Relations , 1987, AAAI.

[23]  Didier Dubois,et al.  Order-of-Magnitude Reasoning with Fuzzy Relations , 1989 .

[24]  F. Freudenstein.  Advanced mechanism design: Analysis and synthesis: Vol. 2, by G. N. Sandor and A. G. Erdman. Prentice-Hall Inc., Englewood Cliffs, New Jersey, 1984, 688 p , 1985 .

[25]  Jiming Liu,et al.  Qualitative physics for robot task planning. I. Grammatical reasoning and commonsense augmentations , 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

[26]  K. H. Hunt,et al.  Kinematic geometry of mechanisms , 1978 .

[27]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

[28]  Boi Faltings,et al.  Qualitative Kinematics: A Framework , 1987, IJCAI.

[29]  J. Bernasconi.  Low autocorrelation binary sequences : statistical mechanics and configuration space analysis , 1987 .

[30]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[31]  Louise Travé-Massuyès,et al.  What Can we do with Qualitative Calculus Today , 1989 .

[32]  Amitabha Mukerjee.  Accidental alignments-an approach to qualitative vision , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[33]  Leo Joskowicz,et al.  A representation language for mechanical behavior , 1996, Artif. Intell. Eng..

[34]  Boi Faltings,et al.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[35]  Leo Joskowicz,et al.  Incremental Configuration Space Construction for Mechanism Analysis , 1991, AAAI.

[36]  Jiming Liu,et al.  Qualitative analysis of task kinematics for compliant motion planning , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[37]  W. Mauch,et al.  Contents , 2007, European Neuropsychopharmacology.

[38]  D. Bobrow.  Qualitative Reasoning about Physical Systems , 1985 .

[39]  David H. Foster.  Analysis of discrete internal representations of visual pattern stimuli. , 1982 .

[40]  Bruce E. Hajek,et al.  Cooling Schedules for Optimal Annealing , 1988, Math. Oper. Res..

[41]  Jiming Liu,et al.  Spatial Reasoning About Robot Compliant Movements and Optimal Paths in Qualitatively Modeled Environments , 1996, Int. J. Robotics Res..

[42]  Glenn A. Kramer,et al.  Solving Geometric Constraint Systems , 1990, AAAI.

[43]  V. Cerný.  Thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm , 1985 .