Abstract
The field of design science attempts to place engineering design on a more formal, rigorous footing. This paper introduces recent work by the author in this area. Artifact-Centered Modeling (ACM) is a general framework intended to partition the design endeavor in manageable sections. A fundamental part of ACM is the representation of information about products being designed. The Axiomatic Information Model for Design (AIM-D) is a formal theory about product information based on axiomatic set theory. AIM-D provides formal bases for quantities, features, parts and assemblies, systems, and subassemblies; these are all notions essential to design. It is not a product modeling system per se, but rather a logic of product structure whose axioms define criteria for determining the logical validity of product models. A previous version of the theory has been found to contain logical inconsistencies; the version presented herein addresses those problems. A complete axiomatization of the new theory is given, including a discussion of its validity. One of the obvious applications of AIM-D is in the development of knowledge-based systems for design. The author is currently implementing such a system using AIM-D as its foundation. The system, called Designer, provides the logical rigor of AIM-D within a computerized environment. At the user’s level, the system appears to be an object-oriented knowledge-base capable of representing information about all the kinds of entities represented in AIM-D. Although still under development, a discussion of the design and implementation plans for Designer is given.
Chapter PDF
Similar content being viewed by others
References
Bernays, P. (1968) Axiomatic set theory. Dover Publications, New York.
Bijl, A. (1987) An approach to design theory. Proceedings, IFIP WG 5.2 Working Conference on Design Theory for CAD (eds. H. Yoshikawa and E. A. Warman ), pp. 3–31.
Brachman, R. J., McGuiness, D. L., Patel-Schneider, P. F., and Resnick, L. A. (1991) Living with CLASSIC: when and how to use a KL-ONE-like Language. Principles of Semantic Networks: Explorations in the Representation of Knowledge (ed. J. F. Sowa ), pp. 401–56.
Buvac, S., Buvac, V., and Mason, I. A. (1995) Metamathematics of contexts. To appear in Fondamenta Informaticae, 23.
Capoyleas, V., Chen, X., and Hoffman, C. M. (1996) Generic naming in generative, constraint-based design. Computer-Aided Design, 28, 17–28.
Copi, I. M. (1979) Symbolic logic, 5th ed MacMillan Publishing Company, Inc., New York.
DePaoli, F., and Tisato, F. (1994) CSDL: A language for cooperative systems design. IEEE Transactions of Software Engineering, 20, 606–16.
Eastman, C. M., Bond, A. H., and Chase, S. C. (1991) A formal approach for product model information. Research in Engineering Design, 2, 65–80.
Fraenkel, A., A., Bar-Hillel, Y., and Levy, A. (1973) Foundations of set theory. North-Holland, Amsterdam.
Friedman, G. J, and Leondes, C. T. (1969) Constraint theory, part I: fundamentals. IEEE Transactions on Systems Science and Cybernetics, 5, 48–56.
Fulton, J. A. (1992) Enterprise integration using the semantic unification meta-model. Proceedings, 1 st International Conference on Enterprise Integration Modeling (ed. C. J. Petrie, Jr. ), pp. 278–89.
Gonzalez, A. J., and Dankel, D. D. (1993) The engineering of knowledge-based systems, theory and practice. Prentice Hall, New Jersey.
Grove, A. J. (1995) Naming and identity in epistemic logic, Part II: a first-order logic for naming. Artificial Intelligence, 74, 311–50.
Hakim, M. M., and Garret, J. H. (1993) A description logic approach for representing engineering design standards. Engineering with Computers, 9, 108–24.
Henderson, M. R., and Taylor, L. E. (1993) A meta-model for mechanical products based upon the mechanical design process. Research in Engineering Design, 5, 140–60.
Hofstadter, D. R. (1979) Goedel, Escher, Bach: An eternal golden braid. Vintage Books, New York. IEEE (1991) IEEE standard for the scheme programming language IEEE Std 1178–1990, Institute of Electrical and Electronic Engineers
Jaluria, Y. and Lombardi, D. (1991) Use of expert systems in the design of thermal equipment and processes. Research in Engineering Design, 2, 239–53.
Johnson, R. E., and Zweig, J. M. (1991) Delegation in C++. Journal of Object-Oriented Programming, 7, 31–4.
Karnopp, D. C., Margolis, D. L., and Rosenberg, R. C. (1990) System dynamics: a unified approach. Wiley and Sons, New York.
Nebel, B. (1990) Reasoning and revision in hybrid representation systems. Lecture Notes in Artificial Intelligence, No. 422. Springer-Verlag, Berlin.
NIST (1993) Integration definition for functional modeling (IDEF-0). Federal Information Processing Standard Publication 183, National Institute of Standards and Technology, Gaithersburg, MD, USA. Pabon, J., Young, R., and Keirouz, W. (1992) Integrating parametric geometry, features, and variational modeling for conceptual design. International Journal of Systems Automation: Research and Applications, 2, 17–36.
Polat, F., Shekhar, S., and Guvenir, H. A. (1993) A negotiation platform for cooperating multi-agent systems. Concurrent Engineering: Research and Applications, 1, 179–87.
Roozenburg, N. (1992) On the logic of innovative design. Research in Design Thinking (eds. N. Cross, K. Dorst, and N. Roozenburg). Delft University Press, Netherlands, pp. 127–38.
Rosen, D. W. (1993) Feature-based design: four hypotheses for future CAD systems. Research in Engineering Design, 5, 125–39.
Rosen, D. W., and Peters, T. J. (1992) Topological properties that model feature-based representation
conversions within concurrent engineering. Research in Engineering Design,4, 147–58.
Salustri, F. A. (1995) An artifact-centered framework for modeling engineering design. Proceedings, 10 th International Conference on Engineering Design (ed. V. Hubka). Edition HEURISTA, Zurich, pp. 74–9. Salustri, F. A. (1996) Integrated computer modeling of engineering design information. Proceedings of
the Canadian Society for Mechanical Engineering Forum (ed. S. A. Meguid), pp. 613–24.
Salustri, F. A., and Venter, R. D. (1992) An axiomatic theory of engineering design information. Engineering with Computers, 8, 197–211.
Salustri, F. A., and Venter, R. D. (1994) A new programming paradigm for engineering design software. Engineering with Computers, 10, 95–111.
Shapiro, S. (1991) Foundations without foundationalism: a case for second-order logic. Clarendon Press, Oxford.
Suh, N. P. (1990) The principles of design. Oxford University Press, New York.
van Dalen, D., Doets, H. C., and de Swart, H. (1978) Sets: naive, axiomatic and applied. Pergamon Press, Oxford.
Ward, A. C. (1992) Some language-based approaches to concurrent engineering. International Journal of Systems Automation: Research and Applications, 2, 335–51.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Salustri, F.A. (1997). A formal theory for knowledge-based product model representation. In: Mäntylä, M., Finger, S., Tomiyama, T. (eds) Knowledge Intensive CAD. KIC 1996. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35192-6_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-35192-6_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5634-0
Online ISBN: 978-0-387-35192-6
eBook Packages: Springer Book Archive