Skip to main content
SpringerLink
Log in

Representation of Conceptual Mechanical Design Knowledge

  • Chapter
Mechanical Design: Theory and Methodology

  • 412 Accesses

Abstract

Conceptual design is typically not well represented by traditional engineering mathematics. This work is concerned with eliciting and representing the knowledge used in the conceptual stage of mechanism design. This is the first stage of design, and, along with formulating the problem, establishes a function structure and selects processes and geometries for components realizing the functions. A formally based representation is developed that reveals conceptual connections and explicates terms and their valid patterns of use. The formalisms are largely adopted from theoretical computer science. Two knowledge components are formulated: one reveals the designer’s view of the problem as it evolves, and the other captures aspects of control and strategy. The reliability of these schemes is discussed and characteristics of limited conceptual design are identified. We describe our methods of collecting and encoding protocols and discuss how our formalisms could underlie a software toolkit for acquiring and representing conceptual mechanical design knowledge. Finally, we relate our formalisms to paradigms of conceptual design.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Alexander, J. H., Freiling, M. J., Shulman, S. J., Rehfuss, S., Messick, S. L. (1987). Ontological Analysis: An Ongoing Experiment, Int. J. of Man-Machine Studies 26, 473–485.

    Article  Google Scholar 

  • Allen, J. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832–843.

    Google Scholar 

  • Anjewierden, A., Wielemaker, J., Toussaint, C. (1992). Shelley—computer aided knowledge engineering. Knowledge Acquisition 4(1).

    Google Scholar 

  • Baeten, J. C. M., Weijland, W. P. (1990). Process Algebra. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Bose, A., Gini, M., Riley, D. R., Esterline, A. (1992a). On reusing linkage designs. Proc. 1992 International Conference on Tools for AI.

    Google Scholar 

  • Bose, A. (1992b). Case Based Design of Planar Linkages. Ph.D. thesis, Dept. of Computer Science, University of Minnesota.

    Google Scholar 

  • Brown, D. C. (1985). Capturing mechanical design knowledge. ASME CIE, Boston, MA, pp. 121–129.

    Google Scholar 

  • Brown, D. C., Chandrasekaran, B. (1989). Design Problem Solving: Knowledge Structures and Control Strategies,London: Pittman.

    Google Scholar 

  • Chen, P. P. (1976). The entity-relationship model—Toward a unified view of data. ACM Trans. on Database Systems, 1 (1).

    Google Scholar 

  • Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM, 33(7), 52–68.

    Google Scholar 

  • Courcelle, B. (1990). Graph rewriting: An algebraic and logic approach. In J. van Leeuwen (Ed.). Handbook of Theoretical Computer Science. Amsterdam: Elsevier Sci. Pub., Vol. B, pp. 193–242.

    Google Scholar 

  • Diederich, J., Ruhmann, I., May, M. (1987). KRITON: A knowledge acquisition tool for expert systems. International Journal of Man Machine Studies 26, pp. 2940.

    Article  Google Scholar 

  • Ehrig, H. (1979). Introduction to the algebraic theory of graph grammars (a survey). In V. Claus, H. Ehrig, G. Rozenberg (Eds.). Graph-Grammars and Their Applications to Computer Science and Biology. Berlin: Springer-Verlag, pp. 1–69.

    Chapter  Google Scholar 

  • Ericsson, K. A., Simon, H. A. (1984), Procotol Analysis: Verbal Reports as Data. Cambridge, MA: The MIT Press.

    Google Scholar 

  • Esterline, A., Riley, D. R., Erdman, A. G. (1989). Design theory and AI Implementations of design methodology. NSF Engineering Design Research Conf., Univ. of Massachusetts, Amherst, MA, pp. 205–220.

    Google Scholar 

  • Esterline, A., Bose, A., Shanmugavelu, I., Riley, D. R., Erdman, A. G. (1992). Concepts and paradigms for the early stages of mechanical design. Proc. 1992 NSF Design and Manuf. Systems Conference.

    Google Scholar 

  • Finger, J. J. (1987) Exploiting Constraints in Design Synthesis. Ph.D. thesis, Computer Science Dept., Stanford University.

    Google Scholar 

  • Finger, S., Rinderle, J. R. (1990). Transforming Behavioral and Physical Representations of Mechanical Designs. In P. A. Fitzhom (Ed.). Proc. First Int. Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly. Fort Collins, CO: Dept. of Mechanical Eng., Colorado State Univ.

    Google Scholar 

  • Flanagan, J. C. (1962). Measuring Human Performance. Pittsburgh: The American Institute of Research.

    Google Scholar 

  • Freiling, M., Alexander, J., Messick, S., Rehfuss, S., Shulman, S. (1985). Starting a knowledge engineering project: A step-by-step approach. The AI Magazine, Fall, 150–164.

    Google Scholar 

  • Freiling, M. J. (1988). Designing an inference engine: from ontology to control. 1988 Int. Workshop on Artificial Intelligence for Industrial Applications, Hitachi City, Japan, 1988.

    Google Scholar 

  • Goel, A., Chandrasekaran, B. (1989). Functional representation of designs and redesign problem solving, IJCAI-89, Palo Alto, CA: Morgan Kaufmann, pp. 1388–1394.

    Google Scholar 

  • Gordon, M. J. C. (1979). The Denotational Description of Programming Languages. New York: Springer-Verlag.

    Book  MATH  Google Scholar 

  • Gregory, S. (1987). Parallel Logic Programming in PARLOG. Reading, MA: Addison-Wesley.

    Google Scholar 

  • Gruber, T. R. (1989). The Acquisition of Strategic Knowledge. Boston: Academic Press. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274.

    Google Scholar 

  • Hayes, P. (1985). The second naive physics manifesto. In Brachman, R. and Levesque, H. (Eds.) Readings in Knowledge Representation, Palo Alto, CA: Morgan Kaufmann.

    Google Scholar 

  • Hennessy, M. (1988). Algebraic Theory of Processes. Cambridge, MA: The MIT Press.

    MATH  Google Scholar 

  • Kannapan, S. M., Marshek, M. K., Gerbert, G. (1989). An approach to nomenclature and classification for mechanical transmissions. Tech. Rep. 214, Mechanical Systems and Design, The Univ. of Texas at Austin.

    Google Scholar 

  • Keller, R. M. (1976). Formal verification of parallel programs. Communications of the ACM, 19(7).

    Google Scholar 

  • Kolodner, J. L., Simpson, R. L. (1989). The mediator: analysis of an early case-based problem solver.“ Cognitive Science 13 (4), 507–549.

    Article  Google Scholar 

  • Kott, A. S., May, J. H. (1989). Decomposition vs. transformation: Case studies of two models of the design process. In Proc. ASME Computers in Engineering Conf. New York: ASME, pp. 1–8.

    Google Scholar 

  • Lakmazaheri, S., Rasdorf, W. J. (1989). Constraint logic programming for the analysis and partial synthesis of truss structures. AI EDAM, 3(3), 157–173.

    Google Scholar 

  • Maher, M. L. (1990). Process models of design thesis. The AI Magazine, Winter, pp. 49–58.

    Google Scholar 

  • Manna, Z., Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems. New York: Springer-Verlag.

    Book  Google Scholar 

  • McDermott, D. V. (1982). A temporal logic for reasoning about processes and plans. Cognitive Science 6, 101–155.

    Article  Google Scholar 

  • Motta, E., Rajan, T., Eisenstadt, M. (1989). A methodology and tool for knowledge acquisition in Keats-2. In Guida, P., Tasso, G. (Eds.). Topics in the Design of Expert Systems. Amsterdam: North-Holland, pp. 265–296.

    Google Scholar 

  • Musen, M. A. (1989). Automated Generation of Model-Based Knowledge-Acquisition Tools. San Mateo, CA: Morgan Kaufmann.

    Google Scholar 

  • Nevins, J. L., Whitney, D. E. (Eds.) (1989). Concurrent Design of Products and Processes, New York: McGraw-Hill.

    Google Scholar 

  • Newell, A., Simon, H. A. (1972). Human Problem Solving. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Olderog, E.-R. (1991). Nets, Terms and Formulas. Cambridge: Cambridge University Press.

    Book  MATH  Google Scholar 

  • Pahl, G., Beitz, W. (1984). K. Wallace (Ed.). Engineering Design, Bath, UK: The Pitman Press.

    Google Scholar 

  • Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Reisig, W. (1985). Petri Nets: An Introduction. Berlin: Springer-Verlag.

    MATH  Google Scholar 

  • Riesbeck, C. K., Schank, R. C. (1989). Inside Case-Based Reasoning, Hillsdale, NJ: Erlbaum.

    Google Scholar 

  • Rinderle, J. R., and Balasubramanian (1990). Automated modeling to support design. Design Theory and Methodology-DTM ‘80 (2nd Int. Conf. on Design Theory and Methodology, Chicago, Sept. 1990), New York: ASME, pp. 281–290.

    Google Scholar 

  • Rosenblatt, A. et al. (1991). Concurrent engineering (Special Report). IEEE Spectrum, July, pp. 22–37.

    Google Scholar 

  • Sankoff, D., Kruskal, J. B. (Eds.) (1983). Time Warps, String Edits, and Macromolecules: The Theory and Practice of Sequence Comparison. Reading, MA: Addison-Wesley.

    Google Scholar 

  • Shanmugavelu, I. (1992). A hypergraph grammar with opportunistic control scheme for conceptual design automation with application to mechanism synthesis. Ph.D. thesis, Dept. of Mechanical Engineering, University of Minnesota, 1992.

    Google Scholar 

  • Shanmugavelu, I., Esterline, A. Riley, D. R., Erdman, A. G. (1991). An opportunistic Approach to conceptual design. 1991 Computers in Engineering. New York: ASME.

    Google Scholar 

  • Sprague, R. A., Singh, K. J., Wood, R. J. (1991). Concurrent engineering in product development. IEEE Design and Tests of Computers, March 1991, pp. 6–13.

    Google Scholar 

  • Stoy, J. E. (1977). Denotational Semantics, Cambridge, MA: The MIT Press.

    Google Scholar 

  • Sussman, G. J., Steele, G. L. (1980). CONSTRAINTS-A Language for expressing almost-hierarchical descriptions. Artificial Intelligence 14, 1–39.

    Article  Google Scholar 

  • Sycara, K. P., Navinchandra, D. (1989). Integrating case-based reasoning and qualitative reasoning in engineering design. In J. Gero (Ed.), AI in Engineering Design. Southampton, UK: Computational Mechanics Publications.

    Google Scholar 

  • Ullman, D. G., and Dietterich, T. G. (1988). Progress in Understanding the Process of Mechanical Design, Design Theory ‘88, The 1988 NSF Grantee Workshop on Design Theory and Methodology. RPI, Troy, NY: pp. 1–11.

    Google Scholar 

  • van Benthem, J. (1983). The Logic of Time. Dordrecht: Reidel, 1983.

    Google Scholar 

  • Waldron, K. J., Waldron, M. B. (1987). A retrospective study of a complex mechanical system design. In M. B. Waldron (Ed.), The Results from the NSF Workshop on the Design Process. The Ohio State Univ., pp. 109–141.

    Google Scholar 

  • Waldron, M. B., Waldron, K. J. (1989). Empirical study on generation of constraints which direct design decision in conceptual mechanical design. NSF Engineering Design Research Conference, Univ. of Mass., Amherst, MA: pp. 15–30.

    Google Scholar 

  • Wielinga, B. J., Schreiber, A. T., Breuker, J. A. (1992). KADS: A modelling approach to knowledge engineering. Knowledge Acquisition 4 (1).

    Google Scholar 

Download references

Authors
  1. Albert Esterline
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Megan Arnold
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Donald R. Riley
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Arthur G. Erdman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Biomedical Engineering Center, Ohio State University, 43210, Columbus, OH, USA

    Manjula B. Waldron PhD (Professor) (Professor)

  2. Department of Mechanical Engineering, Ohio State University, 43210, Columbus, OH, USA

    Kenneth J. Waldron PhD, PE (The John B. Nordholt Professor and Chairman) (The John B. Nordholt Professor and Chairman)

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer Science+Business Media New York

About this chapter

Cite this chapter

Esterline, A., Arnold, M., Riley, D.R., Erdman, A.G. (1996). Representation of Conceptual Mechanical Design Knowledge. In: Waldron, M.B., Waldron, K.J. (eds) Mechanical Design: Theory and Methodology. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2561-2_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-2561-2_6

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4757-2563-6

  • Online ISBN: 978-1-4757-2561-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation