An approach to knowledge representation and reasoning for product configuration tasks

Acta Polytechnica Scandinavica Mathematics and Computing Series

Volumn , Issue 111, 2000, Pages

  Soininen, Timo ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

Knowledge representation; Product configuration; Reasoning

Indexed keywords

EID: 27844477894     PISSN: 14569418     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (72)

1. Artale A., Franconi E., Guarino N. and Pazzi L. Part-whole relations in object-centered systems: An overview. Data & Knowledge Engineering(20):347-83. 1996.
2. Axling T. and Haridi S. A tool for developing interactive configuration applications. Journal of Logic Programming, 19:658-79. 1994.
3. Baader F., Bürckert H.-J., Günter A. and Nutt W. Proceedings of the Workshop on Knowledge Representation and Configuration WRKP'96. DFKI GmbH (German Research Center for Artificial Intelligence). Document D-96-04. 1996.
4. Baader F. and Hollunder B. Computing Extensions of Terminological Default Theories. In Lakemeyer, G. and Nebel, B. (eds.) Foundations of Knowledge Representation and Reasoning, Springer-Verlag. Pages 30-52. 1994.
5. Balkany A., Birmingham W.P. and Tommelein I.D. An analysis of several configuration design systems. AI EDAM, 7(1):1-17. 1993.
6. Buchheit M., Klein R. and Nutt W. Constructive Problem Solving: A Model Construction Approach towards Configuration. TM-95-01. Deutsches Forschungszentrum für Künstliche Intelligenz GMBH (DFKI). 1995.
7. Bürckert H.-J., Nutt W. and Seel C. The Role of Formal Knowledge Representation in Configuration. In Baader, F., Bürckert, H.-J., Günter, A., and Nutt, W. (eds.) Proceedings of the Workshop on Knowledge Representation and Configuration WRKP'96, DFKI GmbH (German Research Center for Artificial Intelligence). 1996.
8. Carson C. Intelligent Sales Configuration. PC AI. 1997.
9. Clarke B.R. Knowledge-based configuration of industrial automation systems. International Journal of Computer Integrated Manufacturing, 2(6):346-55. 1989.
10. Cohn A.G. Taxonomic reasoning with many-sorted logics. Artificial Intelligence Review, 3:89-128. 1989.
11. Cunis R., Günter A., Syska I., Peters H. and Bode H. PLAKON - An Approach to Domain-Independent Construction. The Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE-89, pages 866-74. 1989.
12. Darr T., McGuinness D. and Klein M. Special Issue on Configuration Design. AI EDAM, 12(4). 1998.
13. Dix J. Semantics of Logic Programs: Their Intuitions and Formal Properties. In Fuhrmann, A. and Rott, H. (eds.) Logic, Action and Information - Essays on Logic in Philosophy and Artificial Intelligence, DeGruyter. Pages 241-327. 1995.
14. Faltings B. and Freuder E.C. Configuration - Papers From the 1996 AAAI Fall Symposium. Technical report FS-96-03. Menlo Park, California: AAAI Press. Technical report FS-96-03. 1996.
15. Faltings B. and Freuder E.C. Special Issue on Configuration. IEEE Intelligent Systems & Their Applications:29-85. 1998.
16. Faltings B., Freuder E.C., Friedrich G.E. and Felfernig A. Configuration Papers from the AAAI Workshop. AAAI Press. 1999.
17. Felfernig A., Friedrich G.E. and Jannach D. UML As Domain Specific Language for the Construction of Knowledge Based Configuration Systems. In Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering SEKE99. 1999.
18. Fleischandelr G., Friedrich G.E., Haselböck A., Schreiner H. and Stumptner M. Configuring large systems using generative constraint satisfaction. IEEE Intelligent Systems & Their Applications, 13(4):59-68. 1998.
19. Fowler M. UML Distilled: Applying the Standard Object Modeling Language. Addison-Wesley. 1997.
20. Friedrich G.E. and Stumptner M. Consistency-Based Configuration. In Faltings, B., Freuder, E.C., Friedrich, G.E., and Felfernig, A. (eds.) Configuration Papers From the AAAI Workshop, AAAI Press. Pages 35-40. 1999.
21. Gelle E. On the generation of locally consistent solution spaces. Ph.D. Thesis, Ecole Polytechnique Fédérale de Lausanne, Switzerland. 1998.
22. Ginsberg M.L. Readings in Nonmonotonic Reasoning. Morgan Kaufmann Publishers. 1987.
23. Gruber T. Ontolingua: A Mechanism to Support Portable Ontologies. Version 3.0. KSL 91-66. Stanford University, Knowledge Systems Laboratory. 1992.
24. Gruber T. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 5:199-220. 1993.
25. Gruber T. Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43:907-28. 1995.
26. Gruber T., Olsen G.R and Runkel J.T. The configuration design ontologies and the VT elevator domain theory. International Journal of Human-Computer Studies, 44:569-98. 1996.
27. Guarino N. Formal ontology, conceptual analysis and knowledge representation. International Journal of Human-Computer Studies, 43:625-40. 1995.
28. Guarino N. Understanding, building and using ontologies. International Journal of Human-Computer Studies, 46:293-310. 1997.
29. Guarino N. and Giaretta P. Ontologies and Knowledge Bases Towards a Terminological Clarification. In Mars, N.J.I. (ed.) Towards Very Large Knowledge Bases. Amsterdam, IOS Press. 1995.
30. Günter A., Cunis R. and Syska I. Separating Control From Structural Knowledge in Construction Expert Systems. Proc. of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 90), ACM, pages 601-10. 1990.
31. Hales H.L., ed. Automating and Integrating the Sales Function: How to Profit From Complexity and Customization. Enterprise Integration Strategies, 9(11):1-9. 1992.
32. Hodges W. Elementary Predicate Logic. In Gabbay, D. and Guenthner, F. (eds.) Handbook of Philosophical Logic, D. Reidel Publishing Company. Pages 1-131. 1983.
33. Jüngst W. and Heinrich M. Using resource balancing to configure modular systems. IEEE Intelligent Systems & Their Applications, 13(4):50-8. 1998.
34. Klein R. A Logic-Based Description of Configuration: the Constructive Problem Solving Approach. In Faltings, B. and Freuder, E.C. (eds.) Configuration - Papers From the 1996 AAAI Fall Symposium, AAAI Press. Pages 1-10. 1996.
35. Klein R., Buchheit M. and Nutt W. Configuration As Model Construction: The Constructive Problem Solving Approach. In Proceedings of Artificial Intelligence in Design 1994. Pages 201-18. 1994.
36. Knuth D.E. The Stanford GraphBase A Platform for Combinatorial Computing. ACM Press. 1994.
37. Kramer B.M. Knowledge-Based Configuration of Computer Systems Using Hierarchical Partial Choice. Proc. of the Third International Conference on Tools for Artificial Intelligence TAI 91, IEEE, pages 368-75. 1991.
38. Lakemeyer G. and Nebel B. Foundations of Knowledge Representation and Reasoning. A Guide to This Volume. In Lakemeyer, G. and Nebel, B. (eds.) Foundations of Knowledge Representation and Reasoning, Springer-Verlag. Pages 1-12. 1994.
39. Lloyd J.W. Foundations of Logic Programming. Second ed. Springer-Verlag. 1987.
40. Mackworth A.K. Consistency in Networks of Relations. Artificial Intelligence, 8:99-118. 1977.
41. McDermott J. R1: a rule-based configurer of computer systems. Artificial Intelligence, 19(1). 1982.
42. McGuinness D. and Wright J.R. An Industrial-strength Description Logic-Based Configurator Platform. IEEE Intelligent Systems & Their Applications, 13(4):69-77. 1998.
43. McGuinness D. and Wright J.R. Conceptual modelling for configuration: A description logic-based approach. AI EDAM, 12(4):333-44. 1998.
44. Mittal S. and Falkenhainer B. Dynamic Constraint Satisfaction Problems. Proc. of the 8th National Conference on Artificial Intelligence (AAAI-90), MIT Press, pages 25-32. 1990.
45. Mittal S. and Frayman F. Towards a Generic Model of Configuration Tasks. Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI), pages 1395-401. 1989.
46. Najman O. and Stein B. A Theoretical Framework for Configuration. In Belli, F. and Radermacher, F.J. (eds.) Proceedings of Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE 92, Springer-Verlag. Pages 441-50. 1992.
47. Owsnicki-Klewe B. Configuration As a Consistency Maintenance Task. Proc. of Künstliche Intelligent GWAI-88, Eringerfeld, Springer-Verlag, pages 77-87. 1988.
48. Papadimitriou C.H. Computational Complexity. Reading, Massachusetts: Addison-Wesley Publishing Company, Inc 1994.
49. Peltonen H., Männistö T., Alho K. and Sulonen R. Product Configurations - An Application for Prototype Object Approach. Proc. of the 8th European Conference on Object-Oriented Programming (ECOOP '94), Springer-Verlag, pages 513-34. 1994.
50. Przymusinska H. and Przymusinski T. Semantic Issues in Deductive Databases and Logic Programs. In Banerji, R.B. (ed.) Formal Techniques in Artificial Intelligence A Sourcebook, Elsevier Science Publishers B.V. (North-Holland). Pages 321-67. 1990.
51. Richardson T. Using Information Technology During the Sales Visit. Cambridge, UK: Hewson Group. 1997.
52. Sabin D. and Freuder E.C. Configuration As Composite Constraint Satisfaction. In Faltings, B. and Freuder, E.C. (eds.) Configuration - Papers From the 1996 AAAI Fall Symposium, AAAI Press. Pages 28-36. 1996.
53. Sabin D. and Weigel R. Product configuration Frameworks - a survey. IEEE Intelligent Systems & Their Applications, 13(4):42-9. 1998.
54. Schlipf J.S. Complexity and undecidability results for logic programming. Annals of Mathematics and Artificial Intelligence, 15:257-88. 1995.
55. Schreiber A.T. and Birmingham W.P. The Sisyphus-VT initiative. International Journal of Human-Computer Studies, 44(3). 1996.
56. Schreiber G. and Wielinga B. Configuration-Design Problem Solving. IEEE Expett:49-56. 1997.
57. Schröder C., Möller R. and Lutz C. A Partial Logical Reconstruction of PLA-KON/KONWERK. In Baader, F., Bürckert, H.-J., Günter, A., and Nutt, W. (eds.) Proceedings of the Workshop on Knowledge Representation and Configuration WRKP'96, DFKI GmbH (German Research Center for Artificial Intelligence). 1996.
58. Searls D.B. and Norton L.M. Logic-based configuration with a semantic network. Journal of Logic Programming:53-13. 1990.
59. Simons P. Extending and Implementing the Stable Model Semantics. Ph.D. Thesis, Helsinki University of Technology, Finland. 2000.
60. Soininen T. Product configuration knowledge: Case study and general model. Master's thesis, Helsinki University of Technology. 1996.
61. Soininen T. and Niemelä I. Formalizing Configuration Knowledge Using Rules with Choices. Technical report TKO-B142. Laboratory of Information Processing Science, Helsinki University of Technology. 1998.
62. Stumptner M., Friedrich G.E. and Haselböck A. Generative constraint-based configuration of large technical systems. AI EDAM, 12(4):307-20. 1998.
63. Stumptner M. and Haselböck A. A Generative Constraint Formalism for Configuration Problems. Advances in Artificial Intelligence, Berlin, Springer-Verlag Berlin Heidelberg, pages 302-13. 1993.
64. Syrjänen T. A Rule-Based Formal Model for Software Configuration. Master's thesis, Helsinki University of Technology, Department of Computer Science, Laboratory for Theoretical Computer Science. 1999.
65. Tiihonen J. Computer-assisted elevator configuration. Master's thesis, Helsinki University of Technology. 1994.
66. Tiihonen J. and Soininen T. Product Configurators - Information System Support for Configurable Product. Technical Report TKO-B137. Laboratory of Information Processing Science, Helsinki University of Technology. 1997.
67. Tiihonen J., Soininen T., Männistö T. and Sulonen R. State-of-the-Practice in Product Configuration - A Survey of 10 Cases in the Finnish Industry. In Tomiyama, T., Mäntylä, M., and Finger, S. (eds.) Knowledge Intensive CAD. London, Chapman & Hall. Pages 95-114. 1996.
68. Tiihonen J., Soininen T., Männistö T. and Sulonen R. Configurable Products - Lessons Learned From the Finnish Industry. In Proceedings of 2nd International Conference on Engineering Design and Automation, Integrated Technology Systems, Inc. 1998.
69. Tong C. and Sriram D. Introduction. In Artificial Intelligence in Engineering Design, Academic Press Inc. Pages 1-53. 1992.
70. Weida R. Closed Terminologies in Description Logics. In Faltings, B. and Freuder, E.C. (eds.) Configuration - Papers From the 1996 AAAI Fall Symposium, AAAI Press. Pages 11-18. 1996.
71. Weigel R. and Faltings B. Abstraction Techniques for Configuration Systems. In Faltings, B. and Freuder, E.C. (eds.) Configuration - Papers From the 1996 AAAI Fall Symposium, AAAI Press. Pages 55-60. 1996.
72. Yu B. and Skovgaard H.J. A configuration tool to increase product competitiveness. IEEE Intelligent Systems & Their Applications, 13(4):34-1. 1998.