Heuristic Programming Project

Abstract : This report summarizes basic and applied research into the science and engineering of knowledge-based systems. This work focused on five important and interrelated problems in building and using knowledge-based systems: 1) Basic Research in Knowledge-Based System Design and Implementation; 2) Intelligent Agents and tools for interacting with complex systems, planning, and cooperative problem solving; 3) The Blackboard Model and integration of knowledge from different sources; 4) Advanced Knowledge-based System Architectures for high performance parallel processing hardware and software; and 5) Knowledge-based VLSI tools for design and testing of integrated circuits. All of the research described in this report was performed within the Knowledge Systems Laboratory (KSL), formerly known as the Heuristic Programming Project (HPP). Sections 3 through 7 of this report summarize the KSL research under this contract. Publications resulting from this work contain the details of results and methodology, and are listed at the end of each section. Section 8 describes the computing environment of the KSL, the equipment purchases made under this contract, and the systems research and development that support the computing resources of the KSL.

[1]  Gordon S. Novak.  Data abstraction in GLISP , 1983, ACM SIGPLAN Notices.

[2]  Edward H. Shortliffe,et al.  ONCOCIN: An Expert System for Oncology Protocol Management , 1981, IJCAI.

[3]  R L Blum,et al.  Discovery, confirmation, and incorporation of causal relationships from a large time-oriented clinical data base: the RX project. , 1982, Computers and biomedical research, an international journal.

[4]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[5]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[6]  Susan P. Ennis.  Expert Systems: A User's Perspective of Some Current Tools , 1982, AAAI.

[7]  Nelleke Aiello,et al.  AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.

[8]  W. T. Wipke,et al.  Computer-Assisted Organic Synthesis , 1977 .

[9]  Ronald J. Brachman,et al.  A Structural Paradigm for Representing Knowledge. , 1978 .

[10]  Janice Sue Aikins,et al.  Prototypes and production rules : a knowledge representation for computer consultations , 1980 .

[11]  Clifford R. Hollander,et al.  DART: An Expert System for Computer Fault Diagnosis , 1981, IJCAI.

[12]  Robert L. Blum,et al.  Representation of Empirically Derived Causal Relationships , 1983, IJCAI.

[13]  Yumi Iwasaki,et al.  SPEX: A Second-Generation Experiment Design System , 1982, AAAI.

[14]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[15]  David H. D. Warren,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

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

[17]  Patrick Henry Winston,et al.  Using Frames in Scheduling , 1982 .