A Symbolic Approach to Qualitative Kinematics

  title={A Symbolic Approach to Qualitative Kinematics},
  author={Boi Faltings},
  journal={Artif. Intell.},
An important problem for mechanism design and analysis is reasoning about the relationship between object shapes and their kinematic function. Such reasoning is difficult because of the unstructured influence of the shapes’ metric dimensions. In this paper, we show how a qualitative kinematic analysis can be based solely on symbolic reasoning and evaluation of predicates on metric dimensions. This allows symbolic reasoning about kinematics without explicit numerical representations of object… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-6 of 6 references

Penburthy: “Incremental Analysis in the Graph of Models: A First Step Towards Analysis in the Plumbers World,

  • J. Scott
  • S.M. Thesis,
  • 1987

On the Piano Movers Problem. II. General Techniques for Computing Topological Properties of Real Algebraic Manifolds,

  • J. T. Schwartz, M. Sharir
  • Advances in Applied
  • 1983

Taylor: “Automatic Synthesis of FineMotion Strategies for Robots,

  • T. Lozano-Perez, R. M. Mason
  • MIT AI Memo 759,
  • 1983

Similar Papers

Loading similar papers…