Abstract
In this paper, we discuss dynamic integration of multiple aspects, i.e., integration accomplished according to progress of design. It is not prepared in advance, but created in design processes. Firstly, we introduce our model of design processes that is based on a logical framework. Secondly, we define aspects in the logical framework. An aspect is represented as a tuple of theory and vocabulary in the logical framework. In particular knowledge in analytical aspects is represented as virtual logical theory. Thirdly, we propose integration of aspects by abduction that is another approach than integration of models. Abduction defined with multiple aspects integrates aspects by superposition of hypothesis which is identification of instantiated entities in hypothesis. It also examines connectivity of hypotheses by explanatory coherence. Since superposition of hypotheses and theories used in abduction tell us how aspects are integrated in design, they can contribute to re-organize aspect knowledge-bases.
This is a preview of subscription content, log in via an institution to check access.
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
Cox, P. T. and Pietrzykowski, T.: 1986, Causes for events: Their computation and applications. Lecture Notes in Computer Science 230, Springer-Verlag, Berlin, pp. 608–62
Coyne, R.: 1988, Logic Models of Design, Pitman, London.
Davis, M.: 1980, Notes on the mathematics of non-monotonic reasoning, Artificial Intelligence, 13.
Dietterich, T. H. and Ullman, D. G.: 1987, FORLOG: A logic-based architecture for design, Report No. 86-30-8, Computer Science Department, Oregon State University.
Farm, K. T.: 1970, Peirce’s Theory of Abduction, Martinus Nijhoff, The Hague, The Netherlands.
Finger, J. J. and Genesereth, M. R.: 1985, RESIDUE: A deductive approach to design synthesis, Technical Report stan-cs-85-1035, Stanford University.
Gruber, T. R.: 1993, Toward principles for the design of ontologies used for knowledge sharing, Technical Report KSL 93-04, Knowledge Systems Laboratory, Stanford University.
Hubka, V. and Eder, W. E.: 1988, Theory of Technical Systems, Springer-Verlag, Berlin.
Levesque, H. J.: 1989, A knowledge-level account of abduction. Proceedings IJCAI-89, Detroit, pp. 1061-1067.
Lloyd, J. W.: 1984, Foundations of Logic Programming, Springer-Verlag, Berlin.
McCarthy, J.: 1980, Circumscription—a form of non-monotonic reasoning, Artificial Intelligence, 13: 27–39.
Ng, H. T. and Mooney, R. J.: 1990, On the role of coherence in abductive explanation, Proceedings AAAI-90, pp. 337-342.
Pahl, G. and Beitz, W.: 1984, Engineering Design, The Design Council, London.
Peirce, C. S.: 1935, Collected Papers of Charles Sanders Peirce, Vol. 5, Harvard University Press, Cambridge, MA.
Poole, D.: 1988, A logical framework for default reasoning, Artificial Intelligence, 36: 27–47.
Suh, N. H.: 1990, The Principles of Design, Oxford University Press, New York/Oxford.
Suzuki, H., Ando, H. and Kimura, F.: 1990, Synthesizing product shapes with geometric design constraints, in Yoshikawa, H. and Holden, T. (eds), Intelligent CAD, II, North-Holland, Amsterdam, pp. 309–324.
Takeda, H., Tomiyama, T. and Yoshikawa, H.: 1990, A logical formalization of design processes for intelligent CAD systems, in Yoshikawa, H. and Holden, T. (eds), Intelligent CAD, II, North-Holland, Amsterdam, pp. 325–336.
Takeda, H., Hamada, S., Tomiyama, T. and Yoshikawa, H.: 1990, A cognitive approach of the analysis of design processes, Design Theory and Methodology — DTM ’90-, The American Society of Mechanical Engineers (ASME), pp. 153-160.
Takeda, H., Veerkamp, P., Tomiyama, T. and Yoshikawa, H.: 1990, Modeling design processes, AI Magazine, 11(4): 37–48.
Takeda, H., Tomiyama, T., Yoshikawa, H. and Veerkamp, P. J.: 1990, Modeling design processes, Technical Report CS-R9059, Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands.
Tomiyama, T., Kiriyama, T., Takeda, H. and Xue, D.: 1989, Metamodel: A key to intelligent CAD systems, Research in Engineering Design, 1: 19–34.
Treur, J.: 1991, A logical framework for design processes, in ten Hagen, P. J. W. and Veerkamp, P. J. (eds), Intelligent CAD Systems III—Practical Experience and Evaluation, Springer-Verlag, Berlin.
Xue, D., Takeda, H., Kiriyama, T., Tomiyama, T. and Yoshikawa, H.: 1991, An intelligent integrated interactive CAD—a preliminary report, Proceedings of the IFIP 5.2 Working Conference on Intelligent Computer Aided Design, Ohio.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Takeda, H., Nishida, T. (1994). Integration of Aspects in Design Processes. In: Gero, J.S., Sudweeks, F. (eds) Artificial Intelligence in Design ’94. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0928-4_18
Download citation
DOI: https://doi.org/10.1007/978-94-011-0928-4_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4400-4
Online ISBN: 978-94-011-0928-4
eBook Packages: Springer Book Archive