Abstract
The selection of symbols and their accompanying environment are a central feature of a system for automated reasoning. If these symbols and relationships are part of a defined and proven mathematical system, then the properties of each relationship and of the system of interrelated relationships are known. If such a mathematical system is isomorphic to the engineering system, it constitutes a good representation for reasoning about the engineering system.
This paper presents some results of a ten-year study of such representations for artificial intelligence methods in engineering. The project as a whole explored graph theory, matroid theory and discrete linear programming. This paper demonstrates the viability of using systems of proven mathematical properties, which map closely to an engineering system, by showing the use of graph theory for a limited set of two systems only - truss structures and planetary gear systems.
By representing an engineering system as a graph, the knowledge for many engineering domains transforms to implicit properties embedded in the graph syntax. Reasoning with this knowledge is then achieved by applying proven algorithms of known properties to the graph. Reasoning about the engineering system with these algorithms will then give mathematically proven solutions.
The paper is written assuming that the reader is familiar with fundamental graph theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balabanian, N. and Bickart, T. A.: 1969, Electrical Network Theory, John Wiley, New York.
Davis, M. and Putnam, H.: 1960, A computing procedure for quantification theory, Journal of the Association for Computing Machinery, 7(3), 201–221.
Erdman, A. G. (ed.): 1993, Modern Kinematics- Developments in the Last Forty Years, John Wiley, New York.
Fenves, S. J. and Branin, F. H.: 1963, Network topological formulation of structural analysis, Journal of the Structural Division, ASCE, 89(ST4).
Freudenstein, F.: 1971, An application of boolean algebra to the motion of epicyclic drives, ASME Journal Engineering for Industry,93, 525–532.
Gero, J. S.: 1991, Preface, in J. S. Gero (ed.), Artificial Intelligence in Design ‘81, Butterworth-Heinemann, Oxford.
Laman, G.: 1970, On graphs and rigidity of plane skeletal structures, Journal of Engineering Mathematics, 4, 331–340.
Lovasz, L. and Yemini, Y.: 1982, On generic rigidity in the plane, SIAM Journal of Algebraic and Discrete Methods, 3(1), 91–98.
Moisa, R., Preiss, K. and Shai, 0.: 1996, Truss analysis by graph theory,The 26th Israel Conference on Mechanical Engineering, Haifa, Israel, pp. 621–623.
Nash-Williams, C. St. J. A.: 1961, Edge-disjoint spanning trees of finite graphs, Journal London Mathematics Society, 36, 445–450.
Nilsson, N. J.: 1971, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, NY.
Parnas D. L.: 1985, Software aspects of strategic defense studies, Communications of the ACM, 28(12), 1326–1335.
Polomodov, B. and Gershon, T.: 1995, Matriculation Project: Checking the validity and analysis of planetary gear system, High School Ort Rehovot.
Preiss, K. and Shai, O.: 1994, Deep artificial intelligence knowledge for truss analysis, The 25th Israel Conference on Mechanical Engineering, Haifa, Israel, pp. 207–209.
Recski, A.: 1989, Matroid Theory and its Applications in Electric Network Theory and in Statics, Springer-Verlag, Berlin.
Robinson, J. A.: 1965, A machine oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, 12(1), 23–41.
Shai, O.: 1997, Representation of Embedded Engineering Knowledge for Artificial Intelligence Systems, Ph.D. Thesis, Ben Gurion University of the Negev, Israel.
Simon, H. A.: 1981, The Sciences of the Artificial, 2nd edn, MIT Press, Cambridge, MA.
Swamy, M. N. and Thulasiraman, K.: 1981, Graphs: Networks and Algorithms, John Wiley, NY.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Shai, O., Preiss, K. (1998). Representation of Embedded Engineering Knowledge for Design. In: Gero, J.S., Sudweeks, F. (eds) Artificial Intelligence in Design ’98. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5121-4_8
Download citation
DOI: https://doi.org/10.1007/978-94-011-5121-4_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6153-7
Online ISBN: 978-94-011-5121-4
eBook Packages: Springer Book Archive