CASE REUSE BY MODEL-BASED INTERPRETATION

For applying case-basedreasoning to design, adaptation and combination are essential. They require adaptation knowledge defining the parts of a case that can be changed without compromising its function. We have investigated model-based interpretations for providing this knowledge. An interpretation is a functional model given by the user to explain the structure given by a case. It defines the intended functions and provides constraints on the structure which avoid violating them. Since the interpretation may be different from that used in the design of the case, creative reuse of cases is also possible. This paper reports on the results of this investigation with two case-based design programs: FAMING for mechanism part shapes and CADRE for buildings.

[1]  Boi Faltings,et al.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[2]  Boi Faltings,et al.  Computer-Aided Creative Mechanism Design , 1995, IJCAI.

[3]  John S. Gero,et al.  Behaviour: A link between function and structure in design , 1992 .

[4]  Boi Faltings,et al.  FAMING: Supporting innovative mechanism shape design , 1996, Comput. Aided Des..

[5]  Ian Smith,et al.  CADRE: case-based geometric design , 1996, Artif. Intell. Eng..

[6]  Boi Faltings,et al.  Arc-Consistency for Continuous Variables , 1994, Artif. Intell..

[7]  Kefeng Hua.  Case-based design of geometric structures , 1994 .

[8]  Janet L. Kolodner,et al.  Towards More Creative Case-Based Design Systems , 1994, AAAI.

[9]  Boi Faltings,et al.  Global Consistency for Continuous Constraints , 1994, ECAI.

[10]  Pearl Pu,et al.  Formalizing Case Adaptation in a Case-Based Design System , 1994 .

[11]  B. Faltings,et al.  Supporting Creative Mechanical Design , 1994 .

[12]  Steven Minton,et al.  Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..

[13]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[14]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[15]  Boi Faltings,et al.  Exploring case-Based building design—CADRE , 1993, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[16]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[17]  Boi Faltings,et al.  A Symbolic Approach to Qualitative Kinematics , 1992, Artif. Intell..

[18]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..