Abstract
Configuration problems are a thriving application area for declarative knowledge representation that experiences a constant increase in size and complexity of knowledge bases. A key issue in this context is the integrated support of configuration knowledge base development and maintenance. This paper presents an integrated development environment consisting of three major components, namely a design component which supports the conceptual design of the configuration model in UML (Unified Modeling Language) and automatic translation of the design model into a logic representation, a configuration component which allows the interactive design of concrete configurations, and finally a diagnosis component which supports the validation of the generated knowledge bases and the diagnosis of user requirements. An example for configuring computer systems shows the whole process from the design of the configuration model to the interactive configuration of the final product.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barker, V.E. and O’ Connor, D.E..: 1989, Expert systems for configuration at digital: XCON and beyond, Comm. ACM, 32(3), 298–318.
Bond, G.W.: 1994, Logic Programs for Consistency-Based Diagnosis, PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada.
Bond, G.W.: 1996, Top-down consistency based diagnosis, Proceedings DX’96 Workshop, Val Morin, Canada, pp. 18–27.
Bourdeau, R.H., Cheng, B.H.C.: 1995, A formal semantics for object model diagrams, IEEE Transactions on Software Engineering, 21(10), 799–821.
Console, L., Friedrich, G., and Dupré, D.T.: 1993, Model-based diagnosis meets error diagnosis in logic programs, Proceedings International Joint Conference on Artificial Intelligence, Chambery, Morgan Kaufmann, pp. 1494–1499.
Felfernig, A., Friedrich, G., and Jannach, D.: 1999, UML as domain specific language for the construction of knowledge based configuration systems, 11th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 337–345.
Felfernig, A., Friedrich, G., Jannach, D., and Stumptner, M.: 1999, Consistency based diagnosis of configuration knowledge-bases, AAAI-Workshop on Configuration, Orlando/Florida, pp. 41–47.
Fleischanderl G., Friedrich, G., Haselböck, A., Schreiner, H., and Stumptner, M.: 1998, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, 13(4), 59–68.
Friedrich, G. and Stumptner, M.: 1999, Consistency-based configuration, AAAI-Workshop on Configuration, Orlando/Florida, pp. 35–40.
Friedrich, G., Stumptner, M., and Wotawa, F.: 1999, Model-based diagnosis of hardware designs, Artificial Intelligence, 111(2), 3–39.
Gertz, M. and Lipeck, U.W.: 1995, A diagnostic approach to repairing constraint violations in databases, Proceedings DX’95 Workshop, pp. 65–72.
Greiner, R., Smith, B.A., and Wilkerson, R.W.: 1989, A correction to the algorithm in Reiter’s theory of diagnosis, Artificial Intelligence, 41(1), 79–88.
Haag, A.: 1998, Sales configuration in business processes, IEEE Intelligent Systems, 13(4), 78–85.
Heinrich, M. and Jüngst, E.W.: 1991, A resource-based paradigm for the configuring of technical systems from modular components, Proceedings of the 7th IEEE Conference on AI Applications (CAIA), pp. 257–264.
Kolodner, J.: 1993, Case-Based Reasoning, Morgan Kaufmann.
Lowry, M., Philpot, A., Pressburger, T., and Underwood, I.: 1994, A formal approach to domain-oriented software design environments, Proceedings of 9th Knowledge-Based Software Engineering Conference, Monterey, CA, Sep. 1994, pp. 48–57.
McGuinness, D.L. and Wright, J.R.: 1998, Conceptual modelling for configuration: A description logic-based approach, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue: Configuration Design, 12(4), 333–344.
Mittal, S. and Frayman, F.: 1989, Towards a generic model of configuration tasks, Proceedings of IJCAI’89, pp. 1395–1401.
Peltonen, H., Männistö, T., Alho, K., and Sulonen, R.: 1994, Product configurations—an application for prototype object approach, Object Oriented Programming, ECOOP’94, Springer, pp. 513–534.
Peltonen, H., Männistö, T., Soininen, T., Tiihonen, J., Martio, A., and Sulonen, R.: 1998, Concepts for modeling configurable products, Proceedings of European Conference Product Data Technology Days 1998, Sandhurst, UK, pp. 189–196.
Rahmer, J., Voß, A.: 1996, Case based reasoning in the configuration of telecooperation systems, AAAI’96 Fall Symposium “Configuration”, AAAI Press.
Reiter, R.: 1987, A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 57–95.
Robbins, J.E., Medvidovic, N., Redmiles, D.F., and Rosenblum, D.S.: 1998, Integrating architecture description languages with a standard design method, Proceedings 20th International Conference on Software Engineering, Kyoto, Japan, pp. 209–218.
Rumbaugh, J., Jacobson, I., and Booch, G.: 1998, The Unified Modeling Language Reference Manual, Addison-Wesley.
Runkel, J. T., Balkany, and A., Birmingham, W. P.: 1994, Generating non-brittle configuration-design tools, Proceedings of Artificial Intelligence in Design’ 94, Lausanne, Kluwer Academic Publisher, pp. 183–200.
Smith, I., Faltings B.: 1994, Spatial design of complex artifacts using cases, Proceedings of 10th International Conference on Artificial Intelligence for Applications, IEEE, pp. 70–76.
Stumptner, M.: 1997, An overview of knowledge-based configuration, AI Communications 10(2), 111–126.
Stumptner, M., Haselböck, A., and Friedrich, G.: Cocos: 1994, A tool for constraint-based, dynamic configuration, Proceedings of 10th Conference on AI for Applications, IEEE Computer Society Press, Calif., pp. 373–380.
Stumptner, M., Haselböck, A., and Friedrich, G.: 1998, Generative constraint-based configuration of large technical systems, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue: Configuration Design, 12(4), 307–320.
Yu, B. and Skovgaard, H.J.: 1998, A configuration tool to increase product competitiveness, IEEE Intelligent Systems, 13(4), 34–41.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. (2000). An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases. In: Gero, J.S. (eds) Artificial Intelligence in Design ’00. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4154-3_9
Download citation
DOI: https://doi.org/10.1007/978-94-011-4154-3_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5811-7
Online ISBN: 978-94-011-4154-3
eBook Packages: Springer Book Archive