Knowledge-Centered Problem Solving Strategies

  • Ram D. Sriram


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).


Constraint Satisfaction Constraint Satisfaction Problem Inference Network Inference Mechanism Constraint Handling 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    “AI Magazine,” Summer 1988, Vol. 9, No. 2, 1988.Google Scholar
  2. 2.
    Bobrow, D. and Stefik, M., The Loops Manual, Xerox Corporation, 1983.Google Scholar
  3. 3.
    Borning, A., THINGLAB — A Constraint Oriented Simulation Laboratory, Standford PhD Thesis, 1979.Google Scholar
  4. 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. 5.
    Bridgeland, D., and Lafferty, L., “Scavenger: An Experimental Rete Compiler,” SPIE Applications of Artificial Intelligence III, Vol. 635, 1986.Google Scholar
  6. 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. 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. 8.
    Brownston, L., Kant, E., Farrell, R., and Martin, N., Programming Expert Systems in OPS5, Addison-Wesley Publishing Company, MA, 1985.Google Scholar
  9. 9.
    Charniak, E. and McDermott, D. Introduction to Artificial Intelligence, Addison Wesley, 1985.Google Scholar
  10. 10.
    Clocksin, W. F. and Mellish, C. S., Programming in Prolog, Springer-Verlag, Berlin Heidelberg New York, 1981.MATHGoogle Scholar
  11. 11.
    Cohen, J., “Constraint Logic Programming Languages,” Communication of the ACM, Vol 33, No 7, 1990.Google Scholar
  12. 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. 13.
    Dhar, T. and Birmingham, T., “Automated Design for Concurrent Engineering,” IEEE Expert, Volume 9, Number 5, pages 35–42, 1994.CrossRefGoogle Scholar
  14. 14.
    Doyle, J., “A Truth Maintenance System,” Artificial Intelligence, Vol. 12, pp. 231–272, 1979.MathSciNetCrossRefGoogle Scholar
  15. 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. 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. 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. 18.
    Genesereth, M. and Nilsson, N., Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc., 1989.Google Scholar
  19. 19.
    Gosling, J., Algebraic Constraints, Carnegie-Mellon University, Ph.D. Thesis, 1983.Google Scholar
  20. 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. 21.
    Van Hentenryck, P., Constraint Satisfaction in Logic Programming, MIT Press, 1989.Google Scholar
  22. 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. 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. 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. 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. 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. 27.
    Kapur, D. and Mundy, J., (Editors), Geometric Reasoning, MIT Press, Cambridge, MA 02139, 1988.MATHGoogle Scholar
  28. 28.
    Kumar, V., “Algorithms for Constraint Satisfaction Problems,” AI Magazine, Volume 13, Number 1, pages 32–44, 1992.Google Scholar
  29. 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.CrossRefGoogle Scholar
  30. 30.
    Kowalski, R. A., Logic for Problem Solving, North Holland Elsevier, 1979.Google Scholar
  31. 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. 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. 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. 34.
    Mackworth, A., “Consistency in Networks of Relations,” Artificial Intelligence, 8, 1977.Google Scholar
  35. 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. 36.
    Manheim, M. L., HIERARCHICAL STRUCTURE: A Model of Design and Planning Processes, MIT Press, Cambridge, Mass., 1966.Google Scholar
  37. 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. 38.
    Mittal, S. and Falkenhainer, B., “Dynamic Constraint Satisfaction Problems,” In Proceedings of the Eigth NCAI, pages 25–32, 1990.Google Scholar
  39. 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. 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. 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. 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. 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. 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. 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. 46.
    Nilsson, N., Principles of Artificial Intelligence, Tioga Publishing Company, Palo Alto, California, 1980 [Now sold by Morgan Kaufmann, Inc.].MATHGoogle Scholar
  47. 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. 48.
    Pentland, A., “Perceptual Organization and the Representation of Natural Form,” Artificial Intelligence, Vol. 28, pp. 293–331, 3 1986.MathSciNetCrossRefGoogle Scholar
  49. 49.
    Sacerdoti, E, A Structure for Plans and Behavior, Technical Report 109, SRI International, 1975.Google Scholar
  50. 50.
    Sacerdoti, E. D., Plan Generation and Execution for Robots, Technical Report 209, SRI International, April 1980.Google Scholar
  51. 51.
    Schalkoff, R. J., Artificial Intelligence: An Engineering Approach, McGraw-Hill, 1990.Google Scholar
  52. 52.
    Serrano, D., Constraint Management in Conceptual Design, PhD Thesis, Department of Mechanical Engineering, M.I.T., Cambridge MA 02139, 1987.Google Scholar
  53. 53.
    Smith, R. and Davis, R., “Generate Test and Debug,” In Proceedings of IJCAI-87, 1987.Google Scholar
  54. 54.
    Sriram, D., Knowledge-based Approaches for Structural Design, CM Publications, UK, 1987.Google Scholar
  55. 55.
    Sriram, D. and Adey, R., (Editors), Knowledge-Based Expert Systems in Engineering: Planning and Design, CM Publications, UK, 1987.Google Scholar
  56. 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.MATHCrossRefGoogle Scholar
  57. 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. 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. 59.
    Stefik, M., et al., Tutorial notes on Problem Solving, Presented at the Fifth National Conference on AI, 1986.Google Scholar
  60. 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. 61.
    Sussman, G. and Steele, G., CONSTRAINTS: A Language for Expressing Almost-hierarchical Descriptions, Artificial Intelligence, 14, 1980.Google Scholar
  62. 62.
    Sutherland, I., SKETCHPAD: A Man-machine Graphical Communication System, IFIPS Proceedings of the Spring Joint Conf, 1963.Google Scholar
  63. 63.
    Tong, C. and Sriram, D. (Editors), Artificial Intelligence Approaches to Engineering Design, Three Volume Series, Published by Academic Press, 1992.Google Scholar
  64. 64.
    Tong, C., Knowledge-Based Circuit Design, Ph. D. thesis, Stanford University, 1989.Google Scholar
  65. 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. 66.
    Wilkins, D. E., Practical Planning, Morgan-Kaufmann Eds., 1988.Google Scholar
  67. 67.
    Winston, P. H. and Horn, B. K. P., LISP, Addison-Wesley Publishing Company, Massachusetts, 1981.MATHGoogle Scholar
  68. 68.
    Winston, P., Artificial Intelligence, Addison-Wesley Publishing Company, Massachusetts, 1984.MATHGoogle Scholar
  69. 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

Copyright information

© Springer-Verlag London 1997

Authors and Affiliations

  • Ram D. Sriram
    • 1
  1. 1.Manufacturing Systems Integration Division Manufacturing Engineering LaboratoryNational Institute of Standards and TechnologyGaithersburgUSA

Personalised recommendations