Abstract
This paper reports on a new aspect of the author’s ongoing research to develop a logical framework for engineering design processes. Since this is a new project, the goal of this paper is to describe the nature of the problem being studied, to sketch the architecture of the system being developed to address it, and to identify various areas of application. Reasoning about design processes is found to be a task essentially about reasoning about product knowledge. A recently developed logic, called ALX3, has been found to provide all the basic mechanisms for representing design processes. ADPM will extend ALX3 to support directly the kinds of knowledge needed for design processes to occur. Some examples from the area of automotive engineering are used to indicate some of ADPM’s benefits in practical environments.
Chapter PDF
References
Alexander, C., Ishikawa, S., and Silverstein, M. (1977). A Pattern Language: Towns, Buildings, Construction. Oxford University Press, London.
Chang, C. and Keisler, H. (1977). Model Theory, volume 73 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam.
Chen, X. and De Giacomo, G. (1999). Reasoning about nondeterministic and concurrent actions: A process algebra approach. Artificial Intelligence, 107: 63–98.
Dabke, P. (1999). Enterprise integration via corba-based information agents. IEEE Internet Computing, 3 (5): 49–57.
Fagin, R., Halpern, J., Moses, Y., and Vardi, M. (1995). Reasoning about Knowledge. MIT Press, Cambridge, MA.
Fagin, R., Halpem, J., Moses, Y., and Vardi, M. (1999). Common knowledge revisited. Annals of Pure and Applied Logic, 96: 89–105.
Harel, D. and Singerman, E. (1999). Computation paths logic: An expressive, yet elementary, process logic. Annals of Pure and Applied Logic, 96: 167–186.
Henriksen, J. and Thiagarajan, P. (1999). Dynamic linear time temporal logic. Annals of Pure and Applied Logic, 96: 187–207.
Huang, Z. (1994). Logics for Agents with Bounded Rationality. PhD thesis, University of Amsterdam.
Huang, Z., Masuch, M., and Polos, L. (1996). Alx, an action logic for agents with bounded rationality. Artificial Intelligence, 82: 75–127.
Hubka, V. and Eder, W. (1992). Engineering Design: General Procedural Model of Engineering Design. Edition Heurista, Zurich.
Lockledge, J. and Salustri, F. (1999). Defining the engine design process. J. Engineering Design, 10 (2): 109–124.
Maher, M., Balachandran, M., and Zhang, D. (1995). Case-Based Reasoning in Design. Lawrence Eribaum Assoc.
McNeill, T., Gero, J., and Warren, J. (1998). Understanding conceptual electronic design using protocol analysis. Research in Engineering Design, 10 (3): 129–140.
Park, H. and Cutkosky, M. (1999). Framework for modeling dependencies in collaborative engineering processes. Research in Engineering Design, 11(2):84–102.
Pugh, S. (1991). Total design: integrated methods for successful product engineering. Addison-Wesley, England.
Roozenburg, N. (1992). On the Logic of Innovative Design, pages 127–138. Delft University Press, Netherlands.
Salustri, F. A. (1996). A formal theory for knowledge-based product model representation. In Finger, S., Tomiyama, T., and Mantyla, M., editors, Knowledge-Intensive CAD II: proceedings of the IFIP WG 5.2 workshop,London. Chapman & Hall.
Simon, H. A., editor (1981). The Sciences of the Artificial. The MIT Press, Cambridge, Massachusetts, 2nd edition.
Singh, M., Rao, A., and Georgeff, M. (1999). Formal Methods in DAI. Logic-Based Representation and Reasoning, pages 331–376. MIT Press, Cambridge, Mass.
Suh, N. P. (1990). The Principles of Design. Oxford University Press, New York.
Yang, B. and Salustri, F. (1999). Function modeling based on interactions of mass, energy and information. In Kumar, A. and Russell, I. editors, Proc. 12th Florida Artificial Intelligence Research Symposium, special track on Reasoning about Function,pages 384–388.
Zeng, Y. and Gu, P. (1999). A science-based approach to product design theory part i: formulation and formalization of design process. Robotics and Computer Integrated Manufacturing, 15: 331–339.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Salustri, F.A. (2002). Towards a Logical Framework for Engineering Design Processes. In: Cugini, U., Wozny, M. (eds) From Knowledge Intensive CAD to Knowledge Intensive Engineering. KIC 2000. IFIP — The International Federation for Information Processing, vol 79. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35494-1_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-35494-1_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5283-0
Online ISBN: 978-0-387-35494-1
eBook Packages: Springer Book Archive