Qualitative rigid-body mechanics

Artificial Intelligence

Volumn 119, Issue 1, 2000, Pages 19-60

  Stahovich, Thomas F ^a   Davis, Randall ^b   Shrobe, Howard ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER PROGRAM LISTINGS; COMPUTER SIMULATION; FORCE MEASUREMENT; SPRINGS (COMPONENTS);

QUALITATIVE CONFIGURATION SPACE; QUALITATIVE GEOMETRIC REASONING; QUALITATIVE PHYSICS; QUALITATIVE SIMULATION; RIGID BODY DYNAMICS;

COMPUTATION THEORY;

EID: 0033686627     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00009-6     Document Type: Article

References (27)

1. Boyse J.W. Interference detection among solids. Comm. ACM. 1977;3-9.
2. Caine M.E. The design of shape from motion constraints, Technical Report 1425. September 1993;MIT AI Lab.
3. de Kleer J. Multiple representations of knowledge in a mechanics problem solver. Proc. IJCAI-77, Cambridge, MA. 1977;290-304.
4. de Kleer J. Causal and teleological reasoning in circuit recognition, Ph.D. Thesis. September 1979;Massachusetts Institute of Technology, Cambridge, MA.
5. de Kleer J., Brown J.S. A qualitative physics based on confluences. Artificial Intelligence. Vol. 24:1984;7-83.
6. Faltings B. Qualitative kinematics in mechanisms. Artificial Intelligence. Vol. 44:1990;89-119.
7. Forbus K.D. Spatial and qualitative aspects of reasoning about motion. Proc. AAAI-80, Stanford, CA. 1980.
8. Forbus K.D., Nielsen P., Faltings B. Qualitative spatial reasoning: The CLOCK project, Technical Report 9. 1991;Northwestern University, The Institute for the Learning Sciences, Evanston, IL.
9. Forbus K.D. Qualitative process theory. Artificial Intelligence. Vol. 24:1984;85-168.
10. Joskowicz L., Sacks E. Computational kinematics. Artificial Intelligence. Vol. 51:1991;381-416.
11. Joskowicz L., Sacks E., Srinivasan V. Kinematic tolerance analysis. Proc. 3rd ACM Symposium on Solid Modeling and Applications. 1995.
12. Kuipers B. Qualitative simulation. Artificial Intelligence. Vol. 29:1986;289-388.
13. Kuipers B., Chiu C. Taming intractable branching in qualitative simulation. Proc. IJCAI-87, Milan, Italy. 1987;1079-1085.
14. Lozano-Pérez T. Spatial planning: A configuration space approach. IEEE Trans. Comput. Vol. C-32:(2):1983.
15. Nielsen P. A qualitative approach to mechanical constraint. Proc. AAAI-88, St. Paul, MN. 1988;270-274.
16. Orlandea N., Chace M.A., Calahan D.A. A sparsity-oriented approach to the dynamic analysis of mechanical systems - Part 1. J. Engineering for Industry. 1977;773-779.
17. Sacks E., Joskowicz L. Automated modeling and kinematic simulation of mechanisms. Computer-Aided Design. Vol. 25:(2):1993;106-118.
18. Sacks E., Joskowicz L. Dynamical simulation of planar assemblies with changing contacts using configuration space, Technical Report 97-008. January 1997;Computer Science Department, Purdue University, West Lafayette, IN.
19. Shimada K. A collision detection algorithm for geometric simulation. Proc. ASME USA-Japan Symposium on Flexible Automation. 1988;959-966.
20. Shrobe H. Understanding linkages. Proc. AAAI-93, Washington, DC. 1993;620-625.
21. Stahovich T.F., Davis R., Shrobe H. Generating multiple new designs from a sketch. Proc. AAAI-96, Portland, OR. 1996;1022-1029.
22. Stahovich T.F., Davis R., Shrobe H. Generating multiple new designs from a sketch. Artificial Intelligence. Vol. 104:1998;211-264.
23. Stallman R.M., Sussman G.J. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Technical Report Memo 380. September 1976;MIT AI Lab, Cambridge, MA.
24. Waltz D. Understanding line drawings of scenes with shadows, Ph.D. Thesis. 1972;Massachusetts Institute of Technology, Cambridge, MA.
25. Wehage R.A., Haug E.J. Dynamic analysis of mechanical systems with intermittent motion. J. Mechanical Design. Vol. 104:1982;784-788.
26. Weld D.S., de Kleer J. Readings in Qualitative Reasoning about Physical Systems. 1990;Morgan Kaufmann, San Mateo, CA.
27. Williams B.C. Qualitative analysis of MOS circuits. Artificial Intelligence. Vol. 24:(1-3):1984;281-346.