"We define the concept of meta-level Knowledge, and illustrate it by briefly reviewing four examples that have been described in detail elsewhere. The examples include applications of the idea to tasks such as transfer of expertise from a domain expert to a program, and the maintenance and use of large Knowledge bases. We explore common themes that arise from these examples, and examine broader implications of the idea, in particular its impact on the design and construction of large programs."IJCAI 5, 920-927
This chapter from the Mycin book is a brief overview of van Melle's Ph.D. dissertation (Stanford, Computer Science), and is a shortened and edited version of a paper appearing in Pergamon-lnfotech state of the art report on machine intelligence, pp. 249-263. Maidenhead, Berkshire, U.K.: Infotech Ltd., 1981. Mycin Book (1984)
Packet Radio Terminal System Evaluation Tom Ellis and Steve Saunders Work intended to result in a demonstration-level portable terminal to test and evaluate various solutions to the issues raised by extreme portability in the packet-radio environment. The Stanford Heuristic Programming Project: Goals and Activities by the Staff of the Heuristic Programming Project The Heuristic Programming Project (HPP) of the Stanford University Computer Science Department is a laboratory of about fifty people-faculty, staff, and graduate studentswhose main goals are these: ...to model, and thereby to gain a deep understanding of, the nature of scientific reasoning processes in various types of scientific problems, and various areas of science and medicine; ...as part of the methodology, and as a coordinate activity, to construct "Expert Systems"-programs that achieve high levels of performance on tasks that normally require significant human expertise for their solutidn; the HPP therefore has a natural applications orientation. The HPP was started by Professor Edward A. Feigenbaum and Professor Joshua Lederberg (now President, Rockefeller University) as the DENDRAL project in 1965. Professor Bruce Buchanan joined shortly thereafter, and is Co-Principal Investigator of the HPP. For its computing facilities, the HPP uses the Stanfordbased SUMEX-AIM National Resource for Applications of AI to Medicine and Biology (a pair of DEC KI-10s and a DEC 2020); and the SU-SCORE machine (a DEC 2060).
He points out that one of the key features these systems lack is "a suitable verification methodology or a technique for testing the consistency and completeness of a rule set." It is precisely this feature that we address here. LES is a generic rule-based expert system building tool (Laffey, Perkins, and Nguyen 1986) similar to EMYCIN (Van Melle 1981) that has been used as a framework to construct expert systems in many areas, such as electronic equipment diagnosis, design verification, photointerpretation, and hazard analysis. LES represents factual data in its frame database and heuristic and control knowledge in its production rules. LES allows the knowledge engineer to use both data-driven and goaldriven rules.