Summary of Ph.D. dissertation, Computer Science Dept., Stanford University (1979)."TEIRESIAS is a program designed to provide assistance on the task of building knowledge-based systems. It facilitates the interactive transfer of knowledge from a human expert to the system, in a high level dialog conducted in a restricted subset of natural language. This paper explores an example of TEIRESIAS in operation and demonstrates how it guides the acquisition of new inference rules. The concept of meta-level knowledge is described and illustrations given of its utility in knowledge acquisition and its contribution to the more general issues of creating an intelligent program."Also in:Readings in Artificial Intelligence, ed. Webber, Bonnie Lynn and Nils J. Nilsson, Palo Alto, CA: Tioga Publishing Co., 1981.Orig. in IJCAI-77, vol.1, pp. 321 ff. Preprint in Stanford HPP Report #HPP-77-9.See also: Artificial Intelligence, 12[#2]:409-427. Readings in Artificial Intelligence, ed. Webber, Bonnie Lynn and Nils J. Nilsson, Palo Alto, CA: Tioga Publishing Co., 1981

D.Michie (Ed.), Expert systems in the micro- electronic age.Edinburgh: Edinburgh University Press, 153-167

A program called "AM" is described which carries on simple mathematics research,defining and studying new concepts under the guidance of a large body ofheuristic rules. The 250 heuristics communicate via an agenda mechanism, aglobal priority queue of small tasks for the program to perform, and reasons whyeach task is plausible (for example, "Find generalizations of 'primes', because'primes' turned out to be so useful a concept"). Each concept is represented asan active, structured knowledge module. One hundred very incomplete modulesare initially supplied, each one corresponding to an elementary set-theoreticconcept (for example, union). This provides a definite but immense space whichAM begins to explore. In one hour, AM rediscovers hundreds of common concepts(including singleton sets, natural numbers, arithmetic) and theorems (for example,unique factorization).Summary of Ph.D. dissertation.Hayes, J.E., D. Michie, and L. I. Mikulich (Eds.), Machine Intelligence 9, Ellis Horwood.

Summary of Stanford Ph.D. dissertation, Computer Science Dept. Stanford University (1977).Artificial Intelligence 12(2): 73-119.

SU/X and SU/P are knowledge-based programs which employ pattern-invoked inference methods. Both tasks are concerned with the interpretation of large quantities of digitized signal data. The task of SU/X is to understand "continuous signals", that is, signals which persist over time. The task of SU/P is to interpret protein x-ray crystallographic data. Some features of the design are: (1) incremental interpretation of data employing many different pattern-invoked sources of knowledge, (2) production rule representation of knowledge, including high level strategy knowledge, (3) "opportunistic" hypothesis formation using both data-driven and model-driven techniques within a general hypothesize-and-test paradigm; and (4) multilevel representation of the solution hypothesis.

Expert system technology has been successfully applied to many practical problems, but. In this paper we discuss some of the problems confronting computer vision and present an approach to the development of general knoledge-based vision systems. The primary mechanism is a rule-based approach for the generation of initial object hypotheses, which allow focus of attention strategies. The rule set, applied to the attributes of the lines, regions, and surfaces in an intermediate symbolic representation, is constructed interactively with visual feedback to the user. Simples rules are defined as ranges over a feature value which are converted to a vote for an object label; complex rules are constructed via a functional combination of the output from the simple rules.

"A CASNET model consists of three main components: observations of a patient, pathophysiological states, and disease classifications. As observations are recorded, they are associated with the appropriate intennediate states. These states, in turn, are typically causally related, thereby forming a network that summarizes the mechanisms of disease. It is these patterns of states in the network that are linked to individual disease classes." Artificial intelligence, August, 1978. Reprinted in Clancey & Shortliffe. Readings in Medical Artificial Intelligence: The First Decade. Ch. 7.

AI Journal 11(1,2):115— 154. Reprinted in Clancey & Shortliffe, Ch.9.

In A. Hanson and E. Riseman (Eds.), Computer vision systems. New York: Academic Press, 335-352.