Using meta-programming, constraint logic programming and approximate reasoning for expert systems design

摘要

This paper presents an enhancement of the CARESS system-A Constraint Approxi- mative Reasoning System Support-introduced in (Popescu and Roventa, 1994). CARESS is an experimental system with primarily two objectives: (1) to study fuzzy knowledge representation and manipulation techniques and to implement them in PROLOG III, and (2) to develop a knowledge programming environment for building expert system. We discuss here the use of meta-programming, constraint logic programming and approximate reasoning for the design of expert system.