Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-25T15:40:45.332Z Has data issue: false hasContentIssue false

MAPCon: a case study in a configuration expert system

Published online by Cambridge University Press:  27 February 2009

H. V. D. Parunak
Affiliation:
Industrial Technology Institute, PO Box 1485, Ann Arbor, MI 48106, U.S.A.
J. D. Kindrick
Affiliation:
Industrial Technology Institute, PO Box 1485, Ann Arbor, MI 48106, U.S.A.
K. H. Muralidhar
Affiliation:
Industrial Technology Institute, PO Box 1485, Ann Arbor, MI 48106, U.S.A.

Abstract

MAPCon II is the second generation (Muralidhar and Irish, IEEE Journal on Selected Areas in Commumcctions 6(5), 869–873, 1988) of an expert system that interactively guides a user in performing off-line configuration for local area networks that use MAP, the manufacturing automation protocol. This paper describes the configuration task in general and MAPCon in particular.

Though MAPCon's purpose is off-line configuration, its problem domain requires that it accomplish other reasoning objectives in addition to those commonly associated with configuration. It is in the process of being expanded into an on-line network supervisor. We develop a taxonomy of reasoning objectives and show how MAPCon combines two different kinds of reasoning to accomplish its objectives. Our experience confirms that of other researchers, and suggests that building robust, practical systems will require us to understand more clearly the interfaces among different reasoning objectives.

The paper has four parts: 1. a definition of configuration and other reasoning objectives; 2. a summary of the problem domain in which MAPCon operates; 3. a description of MAPCon as the user sees it; 4. a look ‘under the hood’ to see how MAPCon combines different objectives.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Allen, J. F. and Hayes, P. J. 1985. A common-sense theory of time. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp. 528531. AAAI.Google Scholar
Chapman, D. 1987. Planning for conjunctive goals. Artificial Intelligence 32, 333377.CrossRefGoogle Scholar
Davis, W. J. 1987. Real time production scheduling in an uncertain manufacturing environment. In Real Time Factory Control. SME.Google Scholar
DeKleer, J. and Brown, J. S. 1984. Qualitative physics based on confluences. Artificial Intelligence 24, 783.CrossRefGoogle Scholar
Descotte, Y. and Latombe, J. 1981. GARI: a problem solver that plans how to machine mechanical parts. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI- 81), pp. 766772. IJCAI.Google Scholar
Descotte, Y. and Latombe, J. -C. 1985. Making compromises among antagonist constraints in a planner. Artificial Intelligence 27, 183217.CrossRefGoogle Scholar
Forbus, K. D., Nielsen, P. and Faltings, B. 1987. Qualitative kinematics: a framework. In Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 430435. IJCAI.Google Scholar
Fox, M. 1983 a. Constraint-directed search: a case study of job-shop scheduling. Technical Report CMU-RI-TR-83–22, Robotics Institute, Carnegie-Mellon University.Google Scholar
Fox, M. S.Lowenfeld, S. and Kleinosky, P. 1983 b. Techniques for sensor-based diagnosis. In Proceedings of the 1983 International Joint Conference on Artificial Intelligence, pp. 158163. IJCAI.Google Scholar
Funt, B. V. 1980. Problem-solving with diagrammatic representations. Artificial Intelligence 13(3), 201230.CrossRefGoogle Scholar
Hart, P. E. 1982. Direction for AI in the eighties. SIGART Newsletter 79, January.Google Scholar
Hummel, K. E. 1985. An expert machine tool planner. In Computers in Engineering 1985: Proceedings of the 1985 ASME International Computers in Engineering Conference and Exhibition, pp. 367373. ASME.Google Scholar
LTV 1984. ICAM Conceptual Design for Computer-Integrated Manufacturing, Executive Overview. LTV Aerospace and Defense Company.Google Scholar
ISO 1984. Information systems processing—open systems interconnection—basic reference model. Technical Report IS 7498, International Organization for Standardization.Google Scholar
Kaminsky, M. A. 1986. Protocols for communicating in the factory. IEEE Spectrum 23(4), 5662.CrossRefGoogle Scholar
Kramer, M. A. and Finch, F. E. 1987. Development and classification of expert systems for chemical process fault diagnosis. In Proceedings of the International Conference on the Manufacturing Science and Technology of the Future. MIT.Google Scholar
Kusiak, A. and Heguru, S. 1988. Computer integrated manufacturing: a structural perspective. IEEE Network 3, 1422.CrossRefGoogle Scholar
Lingoes, J. C. 1979 Measurement. Geometric Representations of Relational Data. Ann Arbor, MI: Mathesis Press.Google Scholar
Matthews, R. S. and Irish, B. W. 1987. EGJUDGE: an expert system tool for protocol conformance testing. In Proceedings of the 1st Annual ESD/SMI Expert Systems Conference and Exposition for Advanced Manufacturing Technology, pp. 261269. Engineering Society of Detroit/Society for Machine Intelligence.Google Scholar
McDermott, J. 1982. R1: a rule-based configurer of computer systems. Artificial Intelligence 19(1), 3988.CrossRefGoogle Scholar
Meyer, J. F. 1980. On evaluating the performability of degradable computing systems. IEEE Transactions on Computers C-29 98, 720731.CrossRefGoogle Scholar
Meyer, J. F., Movaghar, A and Sanders, W. H. 1986. Stochastic activity networks: structure, behavior, and application. In Proceedings International Workshop on Timed Petri Nets, pp. 106115. IEEE.Google Scholar
Milne, R. 1987. Strategies for diagonsis. IEEE Transactions on Systems, Man, and Cybernetics SMC-173, 333339.Google Scholar
Morgan, D. E. 1985. CIM PLUS MAP. Technical Report ITI 85–19, Industrial Technology Institute.CrossRefGoogle Scholar
Movaghar, A. and Meyer, J. F. 1984. Performability modeling with stochastic activity networks. In Proceedings 1984 Real-Time Systems Symposium, pp. 215244. IEEE.Google Scholar
MUG(MAP/TOP User’s Group) 1987 a Manufacturing Automation Protocol Version 3.0. Society of Mechanical Engineers.Google Scholar
MUG(MAP/TOP User’s Group) 1987 b. Network management requirements specification MAP 3.0 Specification, Chap. 13. Society of Mechanical Engineers.Google Scholar
Muralidhar, K. H. and Irish, B. W. 1988. MAPCON: an expert system for configuration of MAP networks. IEEE Journal on Selected Areas in Communications 6(5), 869873.CrossRefGoogle Scholar
Nau, D. S. and Chang, T. C. 1983. Prospects for process selection using artificial intelligence. Computers in Industry 4, 253263.CrossRefGoogle Scholar
Nau, D. S. and Chang, T. -C. 1986. Hierarchical representation of problem-solving knowledge in a frame-based process planning system. International Journal of Intelligent Systems 1, 2944.CrossRefGoogle Scholar
Olson, J. R. and Rueter, H. H. 1987. Extracting expertise from experts: methods for knowledge acquisition. Expert Systems 4(3), 152168.CrossRefGoogle Scholar
Polit, S. 1985. R1 and beyond: AI technology transfer at DEC. AI Magazine 7678.Google Scholar
Sanders, W. H. and Meyer, J. F. 1986. METASAN: a performability evaluation tool based on stochastic activity networks. In Proceedings ACM-IEEE Computer Society 1986 Fall Joint Computer Conference, pp. 806817. IEEE.Google Scholar
Smith, S. F., Fox, M. S. and Ow, P. S. 1986. Constructing and maintaining detailed production plans: investigations into the development of knowledge-based factory scheduling systems. AI Magazine 7(4), 4561.Google Scholar
Thompson, M. B. 1987. Scheduling of scarce manufacturing resources by application of forward simulation. In Simulation and Artificial Intelligence in Manufacturing, 1.771.84. Society of Mechanical Engineers.Google Scholar
Vere, S. A. 1983. Planning in time: windows and durations for activities and goals. IEEE Transactions on Pattern Analysis and Machine Intelligence PAMI 5(3), 246267.CrossRefGoogle ScholarPubMed
Vilain, M. B. 1982. A system for reasoning about time. In Proceedings of the 1982 Conference of the American Association for Artificial Intelligence, pp. 197201. AAAI.Google Scholar
Waterman, D. A. 1986. A Guide to Expert Systems. New York: Addison-Wesley.Google Scholar