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.