ES∗: An expert systems development planner using a constraint and rule-based approach

Abstract Numerous expert systems (ES) applications have been developed in the field, yet at this time no systematic, computerized tool for ES development planning exists. In this article, we present an ES development planner that adopts the constraint and rule satisfaction problems framework. We represent knowledge concerning ES development planning with objects, constraints, and rules under multiple objectives. We also present a unified reasoning process to obtain a consistent ES development plan, which has the following features: (1) supporting user interaction to reflect user intention about the problem situation and to resolve conflicts between objectives; (2) concurrent reasoning with multiple starting points to enhance the search efficiency; and (3) integrated reasoning encompassing the backward chaining popularly used in the rule-based systems and constraint propagation methods developed for constraint satisfaction problems. A prototype system ES ∗ is developed using the tool UNIK and LISP language on a SUN 4 SPARC workstation, and an application on tax advisory expert system development planning is illustrated.

[1]  Azriel Rosenfeld,et al.  Cooperating Processes for Low-Level Vision: A Survey , 1981, Artif. Intell..

[2]  Jf Baldwin,et al.  Encyclopedia of AI , 1992 .

[3]  David S. Prerau,et al.  Developing and managing expert systems , 1989 .

[4]  Rina Dechter,et al.  Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..

[5]  James R. Slagle,et al.  A Method for Evaluating Candidate Expert System Applications , 1988, AI Mag..

[6]  Efraim Turban,et al.  Strategies for managing expert systems development , 1990, Proceedings [1990] IEEE Conference on Managing Expert System Programs and Projects.

[7]  Larry R. Medsker,et al.  Planning and implementing expert systems in organizations: tools for managers , 1992 .

[8]  Francesca Rossi,et al.  Constraint Relaxation may be Perfect , 1991, Artif. Intell..

[9]  Duane Sharman,et al.  A case study: acquiring strategic knowledge for expert system development , 1988, IEEE Expert.

[10]  Jay Liebowitz,et al.  How to succeed in expert systems without really trying , 1992 .

[11]  James Bowen,et al.  Conditional Existence of Variables in Generalised Constraint Networks , 1991, AAAI.

[12]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[13]  Paul Alpar,et al.  Conference: Successful implementation of expert systems in large organizations , 1990 .

[14]  Bernard Moulin.  Strategic planning for expert systems , 1990, IEEE Expert.

[15]  Alan K. Mackworth.  Constraint Satisfaction , 1985 .

[16]  Jay Liebowitz,et al.  Managing expert systems , 1993 .

[17]  Karen J. Murray,et al.  Expert system development: a retrospective view of five systems , 1990, IEEE Expert.

[18]  Efraim Turban,et al.  Why expert systems succeed and why they fail , 1992 .