CRSL: A Language for Classificatory Problem Solving and Uncertainty Handling

In this article, we present a programming language for expressing classificatory problem solvers. CSRL (Conceptual Structures Representation Language) provides structures for representing classification trees, for navigating within those trees, and for encoding uncertainly judgments about the presence of hypotheses. We discuss the motivations, theory, and assumptions that underlie CRSL. Also, some expert systems constructed with CSRL are briefly described.

[1]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[2]  B. Chandrasekaran,et al.  Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems , 1983, Adv. Comput..

[3]  Jon Sticklen,et al.  Patrec: A Knowledge-Directed Database for a Diagnostic Expert , 1984, Computer.

[4]  Harry E. Pople,et al.  The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning , 1977, IJCAI.

[5]  D. D. Sharma,et al.  WELDEX-An Expert System for Nondestructive Testing of Welds , 1985, Conference on Artificial Intelligence Applications.

[6]  Fernando Gomez,et al.  Knowledge Organization and Distribution for Medical Diagnosis , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  Barbara Hayes-Roth,et al.  A Blackboard Architecture for Control , 1985, Artif. Intell..

[8]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[9]  Daniel G. Bobrow,et al.  Knowledge Programming in Loops , 1983, COMPCON.

[10]  Jon Sticklen,et al.  Control Issues in Classificatory Diagnosis , 1985, IJCAI.

[11]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[12]  Sanjay Mittal,et al.  Design of a distributed medical diagnosis and data base system , 1980 .

[13]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[14]  Paul R. Cohen,et al.  Representativeness and Uncertainty in Classification Schemes , 1985, AI Mag..

[15]  Balakrishnan Chandrasekaran,et al.  FROM NUMBERS TO SYMBOLS TO KNOWLEDGE STRUCTURES: PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE PERSPECTIVES ON THE CLASSIFICATION TASK , 1986 .

[16]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: Characterizing and Designing Expert Systems at the 'Right' Level of Abstraction , 1985, CAIA.

[17]  Jack W. Smith,et al.  MAPPING MEDICAL KNOWLEDGE INTO CONCEPTUAL STRUCTURES. , 1985 .

[18]  Jack W. Smith,et al.  Assembling the best explanation , 1984 .

[19]  Jon Sticklen,et al.  MDX-MYCIN: the MDX paradigm applied to the MYCIN domain , 1985 .

[20]  Arthur L. Samuel,et al.  Some Studies in Machine Learning Using the Game of Checkers , 1967, IBM J. Res. Dev..

[21]  B. Chandrasekaran,et al.  Towards a Taxonomy of Problem Solving Types , 1983, AI Mag..

[22]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[23]  Casimir A. Kulikowski,et al.  A Practical Guide to Designing Expert Systems , 1984 .

[24]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[25]  William J. Clancey,et al.  Classification Problem Solving , 1984, AAAI.

[26]  Fernando Gomez,et al.  An Approach to Medical Diagnosis Based on Conceptual Structures , 1979, IJCAI.

[27]  William J. Clancey,et al.  NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching , 1981, IJCAI.

[28]  T. Bylander,et al.  Application of the CSRL Language to the Design of Expert Diagnosis Systems: The Auto-Mech Experience, , 1984 .