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).
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
“AI Magazine,” Summer 1988, Vol. 9, No. 2, 1988.
Bobrow, D. and Stefik, M., The Loops Manual, Xerox Corporation, 1983.
Borning, A., THINGLAB — A Constraint Oriented Simulation Laboratory, Standford PhD Thesis, 1979.
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.
Bridgeland, D., and Lafferty, L., “Scavenger: An Experimental Rete Compiler,” SPIE Applications of Artificial Intelligence III, Vol. 635, 1986.
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.
Brown, D. and Chandrasekaran, B., Design Problem Solving: Knowledge Structures and Control Strategies, Pitman, London/Morgan Kaufmann Publishers, Inc. San Mateo, California, 1989.
Brownston, L., Kant, E., Farrell, R., and Martin, N., Programming Expert Systems in OPS5, Addison-Wesley Publishing Company, MA, 1985.
Charniak, E. and McDermott, D. Introduction to Artificial Intelligence, Addison Wesley, 1985.
Clocksin, W. F. and Mellish, C. S., Programming in Prolog, Springer-Verlag, Berlin Heidelberg New York, 1981.
Cohen, J., “Constraint Logic Programming Languages,” Communication of the ACM, Vol 33, No 7, 1990.
de Kleer, J., “Choices Without Backtracking,” In Proceedings of the 4th National Conference on AI, Morgran Kaufmann Publishers, Inc., August 1984.
Dhar, T. and Birmingham, T., “Automated Design for Concurrent Engineering,” IEEE Expert, Volume 9, Number 5, pages 35–42, 1994.
Doyle, J., “A Truth Maintenance System,” Artificial Intelligence, Vol. 12, pp. 231–272, 1979.
Duda, R. and Gasching, J. G., “Knowledge-Based Expert Systems Come Of Age,” BYTE, Vol. 6, No. 9, pp. 238–279, September 1981.
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.
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).
Genesereth, M. and Nilsson, N., Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc., 1989.
Gosling, J., Algebraic Constraints, Carnegie-Mellon University, Ph.D. Thesis, 1983.
Guesgen, H. W and Hertzberg, J., A Perspective of Constraint-Based Reasoning, Lecture Notes in AI, Volume 597, Springer-Verlag, 1992.
Van Hentenryck, P., Constraint Satisfaction in Logic Programming, MIT Press, 1989.
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.
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.
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).
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.
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]).
Kapur, D. and Mundy, J., (Editors), Geometric Reasoning, MIT Press, Cambridge, MA 02139, 1988.
Kumar, V., “Algorithms for Constraint Satisfaction Problems,” AI Magazine, Volume 13, Number 1, pages 32–44, 1992.
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.
Kowalski, R. A., Logic for Problem Solving, North Holland Elsevier, 1979.
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.
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.
Lindsay, R., Buchanan, B., Feigenbaum, E. and Lederberg, J., Applications of Artificial Intelligence for Chemical Inference: The Dendral Project, McGraw-Hill Book Company, 1980.
Mackworth, A., “Consistency in Networks of Relations,” Artificial Intelligence, 8, 1977.
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).
Manheim, M. L., HIERARCHICAL STRUCTURE: A Model of Design and Planning Processes, MIT Press, Cambridge, Mass., 1966.
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.
Mittal, S. and Falkenhainer, B., “Dynamic Constraint Satisfaction Problems,” In Proceedings of the Eigth NCAI, pages 25–32, 1990.
Mittal, S., Dym, C, and Morjaria, M. “PRIDE: An Expert System for the Design of Paper Handling Systems,” IEEE Computer, 19(7), July 1986.
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.
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.
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.
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.
Navinchandra, D., Sriram, D., and Logcher, R., “GHOST: A Project Network Generator,” ASCE Journal of Computing, pp. 239–254, July 1988.
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.
Nilsson, N., Principles of Artificial Intelligence, Tioga Publishing Company, Palo Alto, California, 1980 [Now sold by Morgan Kaufmann, Inc.].
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.
Pentland, A., “Perceptual Organization and the Representation of Natural Form,” Artificial Intelligence, Vol. 28, pp. 293–331, 3 1986.
Sacerdoti, E, A Structure for Plans and Behavior, Technical Report 109, SRI International, 1975.
Sacerdoti, E. D., Plan Generation and Execution for Robots, Technical Report 209, SRI International, April 1980.
Schalkoff, R. J., Artificial Intelligence: An Engineering Approach, McGraw-Hill, 1990.
Serrano, D., Constraint Management in Conceptual Design, PhD Thesis, Department of Mechanical Engineering, M.I.T., Cambridge MA 02139, 1987.
Smith, R. and Davis, R., “Generate Test and Debug,” In Proceedings of IJCAI-87, 1987.
Sriram, D., Knowledge-based Approaches for Structural Design, CM Publications, UK, 1987.
Sriram, D. and Adey, R., (Editors), Knowledge-Based Expert Systems in Engineering: Planning and Design, CM Publications, UK, 1987.
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.
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.
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).
Stefik, M., et al., Tutorial notes on Problem Solving, Presented at the Fifth National Conference on AI, 1986.
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.
Sussman, G. and Steele, G., CONSTRAINTS: A Language for Expressing Almost-hierarchical Descriptions, Artificial Intelligence, 14, 1980.
Sutherland, I., SKETCHPAD: A Man-machine Graphical Communication System, IFIPS Proceedings of the Spring Joint Conf, 1963.
Tong, C. and Sriram, D. (Editors), Artificial Intelligence Approaches to Engineering Design, Three Volume Series, Published by Academic Press, 1992.
Tong, C., Knowledge-Based Circuit Design, Ph. D. thesis, Stanford University, 1989.
Waltz, D. L., Understanding Line Drawings of Scenes with Shadows, In Winston, P. (Editor), The Psychology of Computer Vision, McGraw-Hill, NY, 1975.
Wilkins, D. E., Practical Planning, Morgan-Kaufmann Eds., 1988.
Winston, P. H. and Horn, B. K. P., LISP, Addison-Wesley Publishing Company, Massachusetts, 1981.
Winston, P., Artificial Intelligence, Addison-Wesley Publishing Company, Massachusetts, 1984.
Woodbury, R., The Knowledge Based Representation and Manipulation of Geometry, Technical Report EDRC-02-06-88, Engineering Design Research Center, CMU, Pittsburgh, 1988.
Author information
Authors and Affiliations
Rights 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