The Edinburgh designer system as a framework for robotics

The Edinburgh Designer System provides a high level of integration of knowledge about function and form for Mechanical Engineering Design. In this paper I discuss the extensions required to make this system suitable for assembly planning, showing that interface modules (eg. a seated-bearing) give rise to the basic acts of assembly, and that, with the provision of a suitable temporal formalism, the detailing of these actions can be accomplished within the Designer System framework.

[1]  Aristides A. G. Requicha,et al.  Mathematical Foundations of Constructive Solid Geometry: General Topology of Closed Regular Sets , 1978 .

[2]  A. Sanderson,et al.  Task planning and control synthesis for flexible assembly systems , 1987 .

[3]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[4]  Aristides A. G. Requicha,et al.  Toward a Theory of Geometric Tolerancing , 1983 .

[5]  Gerard Huet,et al.  Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[6]  Alan Bundy,et al.  Solving mechanics problems using meta-level inference , 1979, IJCAI 1979.

[7]  J. Hervé.  Analyse structurelle des mcanismes par groupe des dplacements , 1978 .

[8]  精機学会.  International Symposium on Design and Synthesis , 1984 .

[9]  小口 武彦,et al.  D.C. Mattis: The Theory of Magnetism, Harper and Row, New York, Evanston, and London, John Weatherhill, Inc. Tokyo, 1965, 303頁, 15×23cm, 約1,700円. , 1969 .

[10]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[11]  J. Schwartz,et al.  On the “piano movers'” problem I. The case of a two‐dimensional rigid polygonal body moving amidst polygonal barriers , 1983 .

[12]  Matthew T. Mason,et al.  Robot Motion: Planning and Control , 1983 .

[13]  Harry G. Barrow.  Proving the Correctness of Digital Hardware Designs , 1983, AAAI.

[14]  Johan de Kleer,et al.  Choices Without Backtracking , 1984, AAAI.

[15]  Harry G. Barrow,et al.  VERIFY: A Program for Proving Correctness of Digital Hardware Designs , 1984, Artif. Intell..

[16]  Rodney A. Brooks,et al.  Symbolic Error Analysis and Robot Planning , 1982 .

[17]  Alan Fleming.  Analysis of Uncertainties in a Structure of Parts , 1985, IJCAI.

[18]  Daniel E. Whitney,et al.  Force Feedback Control of Manipulator Fine Motions , 1977 .

[19]  Ann Patricia Fothergill,et al.  Reasoning About the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot , 1983, IJCAI.

[20]  Stephen Alan Cameron,et al.  Modelling solids in motion , 1984 .

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

[22]  Russell H. Taylor,et al.  Automatic Synthesis of Fine-Motion Strategies for Robots , 1984 .

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

[24]  Rod M. Burstall,et al.  Programming in POP-2 , 1971 .

[25]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[26]  Michael J. Swain,et al.  Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[27]  Josh D. Tenenberg,et al.  Planning with Abstraction , 1986, AAAI.