A method of spatial reasoning based on qualitative trigonometry

Artificial Intelligence

Volumn 98, Issue 1-2, 1998, Pages 137-168

  Liu, Jiming ^a  

^a HONG KONG BAPTIST UNIVERSITY   (Hong Kong)

Author keywords

Kinematic analysis; Knowledge representation; Qualitative trigonometry; Spatial reasoning

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; KINEMATICS; PROBLEM SOLVING; SIMULATED ANNEALING;

KINEMATIC CONSTRAINT ANALYSIS; QUALITATIVE TRIGONOMETRY (QTRIG); SIMULATED ANNEALING BASED EXACT QUANTITATIVE VALUE ASSIGNMENT;

KNOWLEDGE REPRESENTATION;

EID: 0031652230     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00069-6     Document Type: Article

References (47)

1. J.F. Allen, Maintaining knowledge about temporal intervals, Comm. ACM 26 (11) (1983) 832-843.
2. R. Arnheim, Art and Visual Perception (University of California Press, Berkeley, CA, 1974).
3. J. Bernasconi, Low autocorrelation binary sequences: statistical mechanics and configuration space analysis, J. Physique 48 (4) (1987) 559-567.
4. A. Blackwell, Qualitative geometric reasoning using a partial distance ordering, in: J.S. Gero and R. Stanton, eds., Artificial Intelligence Developments and Applications (North-Holland, Amsterdam, 1988) 217-229.
5. T. Boseniuk, W. Ebeling, A. Engel, J. Boltzmann and R. Darwin, Strategies in complex optimization, Physics Lett. 125 (6-7) (1987) 307-310.
6. R. Brost, Computing metric and topological properties of configuration-space obstacles, in: Proceedings 1989 IEEE International Conference on Robotics and Automation, Scottsdale, AZ (1989) 170-176.
7. V. Cerný, Thermodynamical approach to the traveling salesman problem: an efficient simulation algorithm, J. Optimization Theory Appl. 45 (1) (1985) 41-51.
8. J. de Kleer and J.S. Brown, A qualitative physics based on confluences, Artificial Intelligence 24 (1984) 7-83; also in: D.G. Bobrow, ed., Qualitative Reasoning about Physical Systems (MIT Press, Cambridge, MA, 1985) 7-83.
9. J. de Kleer and J.S. Brown, A qualitative physics based on confluences, Artificial Intelligence 24 (1984) 7-83; also in: D.G. Bobrow, ed., Qualitative Reasoning about Physical Systems (MIT Press, Cambridge, MA, 1985) 7-83.
10. D. Dubois and H. Prade, Order-of-magnitude reasoning with fuzzy relations, in: Proceedings IFAC Workshop on Advanced Information Processing in Automatic Control, Nancy, France (1989) 195-200.
11. B. Faltings, Qualitative place vocabularies for mechanisms in configuration space, Ph.D. Dissertation, Department of Computer Science, University of Illinois at Urbana-Champaign, IL (1987).
12. B. Faltings, Qualitative kinematics in mechanisms, Artificial Intelligence 44 (1-2) (1990) 89-119.
13. B. Faltings, A symbolic approach to qualitative kinematics, Artificial Intelligence 56 (2-3) (1992) 139-170.
14. B. Faltings, E. Baechler and J. Primus, Reasoning about kinematic topology, in: Proceedings IJCAI-89, Detroit, MI (1989) 1331-1336.
15. K.D. Forbus, P. Nielsen and B. Faltings, Qualitative kinematics: a framework, in: Proceedings IJCAI-87, Milan, Italy (1987) 430-435.
16. K.D. Forbus, P. Nielsen and B. Faltings, Qualitative spatial reasoning: the clock project, Artificial Intelligence 51 (1-3) (1991) 417-471.
17. D.H. Foster, Analysis of discrete internal representations of visual pattern stimuli, in: J. Beck, ed., Organization and Representation in Perception (Lawrence Erlbaum Associates, Hillsdale, NJ, 1982) 319-341.
18. C. Freksa, Qualitative spatial reasoning, in: D.M. Mark and A.U. Frank, eds., Cognitive and Linguistic Aspects of Geographic Space (Kluwer, Dordrecht, 1991).
19. H.W. Gusgen, Spatial reasoning based on Allen's temporal logic, Tech. Rept. TR-89-049, International Computer Science Institute, Berkeley, CA (1989).
20. B. Hajek, Cooling schedules for optimal annealing, Math. Oper. Res. 13 (2) (1988) 311-329.
21. K.H. Hunt, Kinematic Geometry of Mechanisms, Oxford Engineering Science Series (Oxford University Press, Oxford, 1978).
22. L. Joskowicz and D. Neville, A representation language for mechanical behavior, Artificial Intelligence in Engineering 10 (1996) 109-116.
23. L. Joskowicz and E. Sacks, Incremental configuration space construction for mechanism analysis, in: Proceedings AAAI-91, Anaheim, CA (1991) 888-893.
24. G. Kanizsa, Organization in Vision (Praeger Publishers, New York, NY, 1979).
25. S. Kirkpatrick, C.D. Gelatt and M.P. Vecchi, Optimization by simulated annealing, Science 220 (1983) 671-680.
26. S. Kota, A.G. Erdman, D.R. Riley, A. Esterline and J.R. Slagle, A network based expert system for intelligent design of mechanisms, AI EDAM 2 (1) (1988) 17-32.
27. G.A. Kramer, Solving geometric constraint systems, in: Proceedings AAAI-90, Vol. 2, Boston, MA (1990) 708-714.
28. L. Latecki and R. Rohrig, Orientation and qualitative angle for spatial reasoning, in: Proceedings IJCAI-93, Chambery, France (1993) 1544-1549.
29. J. Liu, A framework for the qualitative kinematics of planar mechanisms, Tech. Rept., TR-CIM-90-14, Centre for Intelligent Machines, McGill University, Montréal, Quebec (1990).
30. J. Liu, Spatial reasoning about robot compliant movements and optimal paths in qualitatively-modeled environments, International J. Robotics Res. 15 (2) (1996) 181-210.
31. J. Liu and L.K. Daneshmend, Qualitative physics for robot task planning, Part I: Grammatical reasoning and commonsense augmentations, in: Proceedings 1991 IEEE/RSJ International Workshop on Intelligent Robots and Systems (IROS-91), Osaka, Japan (1991).
32. J. Liu and L.K. Daneshmend, Qualitative physics for robot task planning, Part II: Kinematics of mechanical devices, in: Proceedings 1991 IEEE/RSJ International Workshop on Intelligent Robots and Systems (IROS-91), Osaka, Japan (1991).
33. J. Liu and L.K. Daneshmend, Qualitative analysis of task kinematics for compliant motion planning, in: Proceedings 1991 IEEE International Conference on Robotics and Automation, Sacramento, CA (1991) 1258-1265.
34. M. Lundy and A. Mees, Convergence of an annealing algorithm, Math. Programming 34 (1987) 111-124.
35. M.L. Mavrovouniotis and G. Stephanopoulos, Reasoning with order of magnitude and approximate relations, in: Proceedings AAAI-87, Seattle, WA (AAAI Press/The MIT Press, 1987) 626-630.
36. N. Metropolis, A. Rosenbluth, M. Rosenbluth, A. Teller and E. Teller, Equations of state calculations by fast computing machines, J. Chem. Phys. 21 (1953) 1087-1091.
37. P. Molitor, Layer assignment by simulated annealing, Microprocessing and Microprogramming 16 (4-5) (1985) 345-349.
38. A. Mukerjee, Accidental alignments: an approach to qualitative vision, in: Proceedings IEEE International Conference on Robotics and Automation, Sacramento, CA (1991) 1096-1101.
39. C.H. Orgill, An on-line mobility model for robotic assemblages using orthogonal physical constraints, in: Proceedings International Workshop on Artificial Intelligence for Industrial Applications (1988) 401-410.
40. P. Pu, Qualitative simulation of ordinary and intermittent mechanisms, Ph.D. Dissertation, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA (1989).
41. O. Raiman, Order of magnitude reasoning, in: Proceedings AAAI-86, Philadelphia, PA (1986) 100-104.
42. I. Rock, The Logic of Perception (MIT Press, Cambridge, MA, 1983).
43. E. Sacks and L. Joskowicz, Automated modeling and kinematic simulation of mechanisms, Computer-Aided Design 25 (2) (1993) 106-118.
44. G.N. Sandor and A.G. Erdman, Advanced Mechanism Design: Analysis and Synthesis (Prentice-Hall, Englewood Cliffs, NJ, 1984).
45. C. Stanfill, The decomposition of a large domain: reasoning about machines, in: Proceedings AAAI-83, Washington, DC (1983) 387-390.
46. L. Travé-Massuyès, N. Piera and A. Missier, What can we do with qualitative calculus today, in: Proceedings IFAC Workshop on Advanced Information Processing in Automatic Control, Nancy, France (1989) 207-212.
47. P. Van Hentenryck, M. Laurent and F. Benhamou, Newton: constraint programming over non-linear constraints, Scientific Programming, submitted (1997).