Skip to main content
SpringerLink
Log in

Knowledge-Centered Problem Solving Strategies

  • Chapter
Intelligent Systems for Engineering

  • 272 Accesses

Abstract

The primary concern in applying search-centered methods for solving engineering problems is the tendency for these methods to lead to combinatorial search spaces, due to the lack of knowledge needed to guide search. To adequately exploit expert’s knowledge and to deal with complex engineering problems search-centered methods should be augmented with: 1) domain specific knowledge, and 2) problem solving techniques to deal with: a) goals and data, b) multiple levels of abstraction, c) assumptions and justifications, d) inexactness of knowledge and data, e) time, and f ) spatial reasoning [59] (see Figure 4.1).

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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

  1. “AI Magazine,” Summer 1988, Vol. 9, No. 2, 1988.

    Google Scholar 

    Google Scholar 

  2. Bobrow, D. and Stefik, M., The Loops Manual, Xerox Corporation, 1983.

    Google Scholar 

  3. Borning, A., THINGLAB — A Constraint Oriented Simulation Laboratory, Standford PhD Thesis, 1979.

    Google Scholar 

  4. Bremdal, B.A., A Knowledge-Based Proposer for Offshore Installation Works. The Mark I version, Technical Report No. MP/R 3, Dept. of Marine Technology, The Norwegian Institute of Technology, The University of Trondheim, 1987.

    Google Scholar 

  5. Bridgeland, D., and Lafferty, L., “Scavenger: An Experimental Rete Compiler,” SPIE Applications of Artificial Intelligence III, Vol. 635, 1986.

    Google Scholar 

  6. Brooks, S. L., Hummel, K. E., and Wolf, M. L., “XCUT: A Rule-Based Expert System for the Automated Process Planning of Machined Parts,” In Intelligent and Integrated Manufacturing Analysis and Synthesis, Liu, C.R., Requicha, A., and Chandrasekar, S., (Editors), American Society of Mechanical Engineers, pp. 181–194, 1987.

    Google Scholar 

  7. Brown, D. and Chandrasekaran, B., Design Problem Solving: Knowledge Structures and Control Strategies, Pitman, London/Morgan Kaufmann Publishers, Inc. San Mateo, California, 1989.

    Google Scholar 

  8. Brownston, L., Kant, E., Farrell, R., and Martin, N., Programming Expert Systems in OPS5, Addison-Wesley Publishing Company, MA, 1985.

    Google Scholar 

  9. Charniak, E. and McDermott, D. Introduction to Artificial Intelligence, Addison Wesley, 1985.

    Google Scholar 

  10. Clocksin, W. F. and Mellish, C. S., Programming in Prolog, Springer-Verlag, Berlin Heidelberg New York, 1981.

    MATH  Google Scholar 

  11. Cohen, J., “Constraint Logic Programming Languages,” Communication of the ACM, Vol 33, No 7, 1990.

    Google Scholar 

  12. de Kleer, J., “Choices Without Backtracking,” In Proceedings of the 4th National Conference on AI, Morgran Kaufmann Publishers, Inc., August 1984.

    Google Scholar 

  13. Dhar, T. and Birmingham, T., “Automated Design for Concurrent Engineering,” IEEE Expert, Volume 9, Number 5, pages 35–42, 1994.

    Article  Google Scholar 

  14. Doyle, J., “A Truth Maintenance System,” Artificial Intelligence, Vol. 12, pp. 231–272, 1979.

    Article  MathSciNet  Google Scholar 

  15. Duda, R. and Gasching, J. G., “Knowledge-Based Expert Systems Come Of Age,” BYTE, Vol. 6, No. 9, pp. 238–279, September 1981.

    Google Scholar 

  16. Eshel, G., Barash, M., and Chang, T. C, “Generate & Test and Rectify: A Plan Synthesis Tactic for Automatic Process Planning,” International Journal for AI in Engineering, Vol. 3, No. 1, pp. 18–31, January 1988.

    Google Scholar 

  17. Fromont, B. and Sriram, D., Constraint Satisfaction as a Planning Problem, Technical Report, Intelligent Engineering Systems Laboratory, M.I.T., Cambridge, MA 02139, 1991 (see also the Proceedings of the AI in Design, 1992, Kluwer Academic Publishers).

    Google Scholar 

  18. Genesereth, M. and Nilsson, N., Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc., 1989.

    Google Scholar 

  19. Gosling, J., Algebraic Constraints, Carnegie-Mellon University, Ph.D. Thesis, 1983.

    Google Scholar 

  20. Guesgen, H. W and Hertzberg, J., A Perspective of Constraint-Based Reasoning, Lecture Notes in AI, Volume 597, Springer-Verlag, 1992.

    Google Scholar 

  21. Van Hentenryck, P., Constraint Satisfaction in Logic Programming, MIT Press, 1989.

    Google Scholar 

  22. Heintze, N., Michaylov, S., and Stuckey, P., CLP(R) and some Electrical Engineering Problems, Technical report CMU-CS-89-139-Dept of Computer Science, 1989.

    Google Scholar 

  23. Hopcroft, J. E. and Karp, R. M., An n 5/2 algorithm for Maximum Matchings in Bipartite Graphs, SIAM J. Computing, Vol 2, no 4, 1973.

    Google Scholar 

  24. Humair, S., Gorti, S., Sriram, R. D., Talukdar, S., and Murthy, S., Solving Constraint Satisfaction Problems using ATeams, Technical Report, Intelligent Engineering Systems Laboratory, MIT, Cambridge, MA 02139 (Also appears in Artificial Intelligence in Engineering Manufacturing and Design, 1996).

    Google Scholar 

  25. Joshi, S., Chang, T. C. and Liu, R., “Process Planning Formalization in an AI Framework,” International Journal for AI in Engineering, Vol. 1, pp. 45–53, July 1986.

    Google Scholar 

  26. Joskowicz, L., “Shape and Function in Mechanical Devices,” In Proceedings 6th National Conference on AI, Morgan Kaufmann Inc., pp. 611–615, 1987 (see also Joskowicz’s paper in [63]).

    Google Scholar 

  27. Kapur, D. and Mundy, J., (Editors), Geometric Reasoning, MIT Press, Cambridge, MA 02139, 1988.

    MATH  Google Scholar 

  28. Kumar, V., “Algorithms for Constraint Satisfaction Problems,” AI Magazine, Volume 13, Number 1, pages 32–44, 1992.

    Google Scholar 

  29. Kartam, N. and Wilkins, D., “Towards a Foundation for Evaluating AI Planners,” Artificial Intelligence in Engineering, Manufacturing and Design, Voll. 4, No. 1, pp: 1–13, 1990.

    Article  Google Scholar 

  30. Kowalski, R. A., Logic for Problem Solving, North Holland Elsevier, 1979.

    Google Scholar 

  31. Laffey, T. J., Cox, P. A., Schmidt, J., Kao, S. M., and Read, J. Y., “Real-Time Knowledge-Based Systems,” AI Magazine, pages 27–45, Spring 1988.

    Google Scholar 

  32. Levitt, R. and Kunz, J., “Use of Artificial Intelligence Techniques to Support Project Management,” Artificial Intelligence in Engineering Design, Analysis and Manufacturing, Vol. 1, No. 1, 1987.

    Google Scholar 

  33. Lindsay, R., Buchanan, B., Feigenbaum, E. and Lederberg, J., Applications of Artificial Intelligence for Chemical Inference: The Dendral Project, McGraw-Hill Book Company, 1980.

    Google Scholar 

  34. Mackworth, A., “Consistency in Networks of Relations,” Artificial Intelligence, 8, 1977.

    Google Scholar 

  35. Maher, M. L., and Fenves, S. J., “HI-RISE: An Expert System For The Preliminary Structural Design Of High Rise Buildings,” In Knowledge Engineering in Computer-Aided Design, Gero, J., Ed., North Holland, pp. 125–146, 1985, (For a detailed description of HI-RISE see Report No. R-85-146, Dept. of Civil Engineering, C-MU, PA 15213).

    Google Scholar 

  36. Manheim, M. L., HIERARCHICAL STRUCTURE: A Model of Design and Planning Processes, MIT Press, Cambridge, Mass., 1966.

    Google Scholar 

  37. McAllester, D., An Outlook on Truth Maintenance, Technical Report: AIM-551, Artificial Intelligence Laboratory, Department of Electrical Engineering and Computer Science, M. I. T., 1980.

    Google Scholar 

  38. Mittal, S. and Falkenhainer, B., “Dynamic Constraint Satisfaction Problems,” In Proceedings of the Eigth NCAI, pages 25–32, 1990.

    Google Scholar 

  39. Mittal, S., Dym, C, and Morjaria, M. “PRIDE: An Expert System for the Design of Paper Handling Systems,” IEEE Computer, 19(7), July 1986.

    Google Scholar 

  40. Murthy, S. Synergy in Cooperating Agents: Designing Manipulators from Task Specifications, Unpublished Ph. D. thesis, submitted to the Dept. of Electrical and Computer Engineering, CMU, Pittsburgh, PA 15213, 1992.

    Google Scholar 

  41. Nadel B. A., “Tree Search and Arc Consistency in Constraint Satisfaction Algorithms,” In Search in Artificial Intelligence, L. Kanal and V. Kumar (Editors), Springer-Verlag, 1988.

    Google Scholar 

  42. Nau, D., “Hierarchical Abstraction for Process Planning,” In Knowledge-Based Expert Systems in Engineering: Planning and Design, Sriram, D. and Adey, R., (Editors)., Computational Mechanics Publications, pp. 129–142, 1987.

    Google Scholar 

  43. Navinchahdra, D. and Rinderle, J. R., Interval Approaches for Concurrent Evaluation of Design Constraints, Proc. Symposium on Concurrent Product and Process Design, San Francisco, 1989.

    Google Scholar 

  44. Navinchandra, D., Sriram, D., and Logcher, R., “GHOST: A Project Network Generator,” ASCE Journal of Computing, pp. 239–254, July 1988.

    Google Scholar 

  45. Navinchandra, D., IMST user’s manual: A Rule-based Expert System Tool, Technical Report CCRE85-6, Center for Construction Research and Education, MIT, June 1985.

    Google Scholar 

  46. Nilsson, N., Principles of Artificial Intelligence, Tioga Publishing Company, Palo Alto, California, 1980 [Now sold by Morgan Kaufmann, Inc.].

    MATH  Google Scholar 

  47. Nudel B. A., “Consistent-labeling Problems and Their Algorithms: Expected-complexities and Theory-Based Heuristics,” In Search and Heuristics, J. Pearl (Editor), North-Holland, Amsterdam, 1983.

    Google Scholar 

  48. Pentland, A., “Perceptual Organization and the Representation of Natural Form,” Artificial Intelligence, Vol. 28, pp. 293–331, 3 1986.

    Article  MathSciNet  Google Scholar 

  49. Sacerdoti, E, A Structure for Plans and Behavior, Technical Report 109, SRI International, 1975.

    Google Scholar 

  50. Sacerdoti, E. D., Plan Generation and Execution for Robots, Technical Report 209, SRI International, April 1980.

    Google Scholar 

  51. Schalkoff, R. J., Artificial Intelligence: An Engineering Approach, McGraw-Hill, 1990.

    Google Scholar 

  52. Serrano, D., Constraint Management in Conceptual Design, PhD Thesis, Department of Mechanical Engineering, M.I.T., Cambridge MA 02139, 1987.

    Google Scholar 

  53. Smith, R. and Davis, R., “Generate Test and Debug,” In Proceedings of IJCAI-87, 1987.

    Google Scholar 

  54. Sriram, D., Knowledge-based Approaches for Structural Design, CM Publications, UK, 1987.

    Google Scholar 

  55. Sriram, D. and Adey, R., (Editors), Knowledge-Based Expert Systems in Engineering: Planning and Design, CM Publications, UK, 1987.

    Google Scholar 

  56. Stallman, R., and Sussman, G. J., “Forward Reasoning and Dependency-directed Backtracking in a System for Computer-Aided Circuit Analysis,” Artificial Intelligence, Vol. 9, pp. 135–196, 1977.

    Article  MATH  Google Scholar 

  57. Steele, Jr., G. L., The Definition and Implementation of a Computer Programming Language Based on Constraints, Technical Report AI-TR-595, MIT AI Laboratory, August 1980.

    Google Scholar 

  58. Stefik, M., Planning With Constraints, Technical Report STAN-CS-80-784, Computer Science Department, Stanford Univer-sity, January 1980 (also appeared in the Artificial Intelligence Journal, Vol. 16, 1981).

    Google Scholar 

  59. Stefik, M., et al., Tutorial notes on Problem Solving, Presented at the Fifth National Conference on AI, 1986.

    Google Scholar 

  60. Steinberg, L. “Design as Refinement Plus Constraint Propagation: The VEXED Experience,” In Proceedings of the Sixth National Conference on AI, Morgan Kaufmann Publishers, Inc., pp 830–835, 1987.

    Google Scholar 

  61. Sussman, G. and Steele, G., CONSTRAINTS: A Language for Expressing Almost-hierarchical Descriptions, Artificial Intelligence, 14, 1980.

    Google Scholar 

  62. Sutherland, I., SKETCHPAD: A Man-machine Graphical Communication System, IFIPS Proceedings of the Spring Joint Conf, 1963.

    Google Scholar 

  63. Tong, C. and Sriram, D. (Editors), Artificial Intelligence Approaches to Engineering Design, Three Volume Series, Published by Academic Press, 1992.

    Google Scholar 

  64. Tong, C., Knowledge-Based Circuit Design, Ph. D. thesis, Stanford University, 1989.

    Google Scholar 

  65. Waltz, D. L., Understanding Line Drawings of Scenes with Shadows, In Winston, P. (Editor), The Psychology of Computer Vision, McGraw-Hill, NY, 1975.

    Google Scholar 

  66. Wilkins, D. E., Practical Planning, Morgan-Kaufmann Eds., 1988.

    Google Scholar 

  67. Winston, P. H. and Horn, B. K. P., LISP, Addison-Wesley Publishing Company, Massachusetts, 1981.

    MATH  Google Scholar 

  68. Winston, P., Artificial Intelligence, Addison-Wesley Publishing Company, Massachusetts, 1984.

    MATH  Google Scholar 

  69. Woodbury, R., The Knowledge Based Representation and Manipulation of Geometry, Technical Report EDRC-02-06-88, Engineering Design Research Center, CMU, Pittsburgh, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Manufacturing Systems Integration Division Manufacturing Engineering Laboratory, National Institute of Standards and Technology, Gaithersburg, MD, 20899-0001, USA

    Dr. Ram D. Sriram

Authors
  1. Dr. Ram D. Sriram
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag London

About this chapter

Cite this chapter

Sriram, R.D. (1997). Knowledge-Centered Problem Solving Strategies. In: Intelligent Systems for Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-0631-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0631-9_4

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-1167-2

  • Online ISBN: 978-1-4471-0631-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation