How to take into account general and contextual knowledge for interactive aiding design: Towards the coupling of CSP and CBR approaches

The goal of this paper is to show how it is possible to support design decisions with two different tools relying on two kinds of knowledge: case-based reasoning operating with contextual knowledge embodied in past cases and constraint filtering that operates with general knowledge formalized using constraints. Our goals are, firstly to make an overview of existing works that analyses the various ways to associate these two kinds of aiding tools essentially in a sequential way. Secondly, we propose an approach that allows us to use them simultaneously in order to assist design decisions with these two kinds of knowledge. The paper is organized as follows. In the first section, we define the goal of the paper and recall the background of case-based reasoning and constraint filtering. In the second section, the industrial problem which led us to consider these two kinds of knowledge is presented. In the third section, an overview of the various possibilities of using these two aiding decision tools in a sequential way is drawn up. In the fourth section, we propose an approach that allows us to use both aiding decision tools in a simultaneous and iterative way according to the availability of knowledge. An example dealing with helicopter maintenance illustrates our proposals.

[1]  Manuel Bodirsky,et al.  Datalog and Constraint Satisfaction with Infinite Templates , 2006, STACS.

[2]  Eugene C. Freuder,et al.  Integration of CSP and CBR to Compensate for Incompleteness and Incorrectness of Models , 1998 .

[3]  Ashok K. Goel,et al.  Design, innovation and case-based reasoning , 2005, The Knowledge Engineering Review.

[4]  Gerhard Friedrich,et al.  Automated debugging of recommender user interface descriptions , 2009, Applied Intelligence.

[5]  Thomas Schiex,et al.  Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge , 1996, AAAI/IAAI, Vol. 1.

[6]  Laurent Granvilliers,et al.  Search heuristics for constraint-aided embodiment design , 2009, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[7]  Olivier Lhomme,et al.  Consistency Techniques for Numeric CSPs , 1993, IJCAI.

[8]  Ralph Bergmann,et al.  Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings , 2008, ECCBR.

[9]  Laurent Geneste,et al.  Search and Adaptation in a Fuzzy Object Oriented Case Base , 2002, ECCBR.

[10]  Carsten Tautz,et al.  Costumizing software engineering experience management systems to organizational needs , 2001 .

[11]  Manuel Bodirsky,et al.  Datalog and constraint satisfaction with infinite templates , 2006, J. Comput. Syst. Sci..

[12]  Ralph Bergmann,et al.  Developing Industrial Case-Based Reasoning Applications , 1999, Lecture Notes in Computer Science.

[13]  John S. Gero Knowledge Engineering in Computer-Aided Design: Proceedings of the IFIP WG 5.2 Working Conference on Knowledge Engineering in Computer-Aided Degin, Budapest, Hungary, 17-19 September, 1984 , 1985 .

[14]  Pearl Pu,et al.  Adaptation Using Constraint Satisfaction Techniques , 1995, ICCBR.

[15]  Isabelle Bichindaritz,et al.  Case-based reasoning in the health sciences: What's next? , 2006, Artif. Intell. Medicine.

[16]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[17]  S. Okamoto,et al.  Effective Decision Support for Product Configuration by Using CBR , 2001 .

[18]  A. Tjoa,et al.  Information and Communication Technologies in Tourism , 1996, Springer Vienna.

[19]  Soumitra Dutta,et al.  Designing management support systems using an integrative perspective , 1997, CACM.

[20]  Isabelle Bichindaritz,et al.  Case-based reasoning in the health sciences , 2006, Artif. Intell. Medicine.

[21]  Avi Ziv,et al.  Using a constraint satisfaction formulation and solution techniques for random test program generation , 2002, IBM Syst. J..

[22]  Jules White,et al.  Automated Reasoning for Multi-step Software Product-line Configuration Problems , 2009 .

[23]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[24]  Jean Marc Le Lann,et al.  Constraint Satisfaction Problem for Case-Based Reasoning Adaptation: Application in Process Design , 2010 .

[25]  Eugene C. Freuder,et al.  Survey of Applications Integrating Constraint Satisfaction and Case-Based Reasoning , 2007 .

[26]  Agnar Aamodt,et al.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..

[27]  Beatriz López,et al.  Holiday Scheduling for City Visitors , 2003, ENTER.

[28]  Michel Aldanondo,et al.  Evaluation and design: a knowledge-based approach , 2007, Int. J. Comput. Integr. Manuf..

[29]  S. Wesley Changchien,et al.  Design and implementation of a case-based reasoning system for marketing plans , 2005, Expert systems with applications.

[30]  A. Tjoa,et al.  Information and Communication Technologies in Tourism , 1996, Springer Vienna.

[31]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[32]  Douglas C. Schmidt,et al.  Automated reasoning for multi-step feature model configuration problems , 2009, SPLC.

[33]  Lakshmi S. Iyer,et al.  Knowledge warehouse: an architectural integration of knowledge management, decision support, artificial intelligence and data warehousing , 2002, Decis. Support Syst..

[34]  Mehmet H. Göker Designing Industrial Case-Based Reasoning Applications , 2004, ECCBR.