Integration of CSP and CBR to Compensate for Incompleteness and Incorrectness of Models

Modeling is very useful in many domains. A model can be very simple such as a mathematical equation, or be very complex. But, models are not always perfect and may not represent all the information about the system. In this paper, we suggest compensating for incompleteness and incorrectness of models by integrating Constraint-Based and Case-Based Reasoning. We model the problem as a Constraint Satisfaction Problem (CSP), then Case-Based Reasoning (CBR) used to compensate for what is missing in this model. CBR supports the process of learning by supplying the case-base with new cases that can be used to solve future similar problems. CBR is also used to update the CSP model, and make it more robust for solving more problems. The domain we are using is InterOperability Testing of protocols in ATM (Asynchronous Transfer Mode) networks.

[1]  Mark S. Fox,et al.  CONSTRAINT-BASED RETRIEVAL OF ENGINEERING DESIGN CASES Context as constraints , 1996 .

[2]  Karl Branting,et al.  Case Adaption Using an Incomplete Causal Model , 1995, ICCBR.

[3]  Tae Hwan Kim,et al.  Case and Constraint-Based Apartment Construction Project Planning System: FASTrak-APT , 1997, AAAI/IAAI.

[4]  Ye Huang.  Using Case-Based Techniques to Enhance Constraint Satisfaction Problem Solving , 1996, Appl. Artif. Intell..

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

[6]  Eugene C. Freuder,et al.  Introduction to the Special Volume on Constraint-Based Reasoning , 1992 .

[7]  Stamos T. Karamouzis,et al.  An Integration of Case-Based and Model-Based Reasoning and its Application to Physical System Faults , 1992, IEA/AIE.

[8]  Luigi Portinale,et al.  ADAPtER: An Integrated Diagnostic System Combining Case-Based and Abductive Reasoning , 1995, ICCBR.

[9]  Eugene C. Freuder,et al.  A Constraint Satisfaction Model for Testing Emulated LANs in ATM Networks , 1996 .

[10]  Pietro Torasso,et al.  A Utility-Based Approach to Learning in a Mixed Case-Base and Model-Based Reasoning Architecture , 1997, ICCBR.

[11]  Somesh Jha,et al.  Model Checking for Security Protocols , 1997 .

[12]  D. Sines.  Towards integration. , 1990, Nursing.

[13]  Brigitte Bartsch-Spörl,et al.  Towards the Integration of Case-Based, Schema-Based and Model-Based Reasoning for Supporting Complex Design Tasks , 1995, ICCBR.