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)

Artificial Intelligence

In IJCAI-81, pp. 67–69.

Massachusetts Institute Technology Press

In IJCAI-81, p. 1064.

Summary of PhD thesis, Computer Science Department, Stanford University, January, 1980,Stanford Rep. Nos. HPP-80-2, STAN-CS-80-784

We have introduced the notion of the closed world assumption for deductive question-answering. This says, in effect, "Every positive statement that you don't know to be true may be assumed false". We have then shown how query evaluation under the closed world assumption reduces to the usual first order proof theoretic approach to query evaluation as applied to atomic queries. Finally, we have shown that consistent Horn data bases remain consistent under the closed world assumption and that definite data bases are consistent with the closed world assumption. ACKNOWLEDGMENT This paper was written with the financial support of the National Research Council of Canada under grant A7642. Much of this research was done while the author was visiting at Bolt, Beranek and Newman, Inc., Cambridge, Mass. I wish to thank Craig Bishop for his careful criticism of an earlier draft of this paper.

Technical report CMU-CS-81-135, Computer Science Department, Carnegie-Mellon University. "This is a combination introductory and reference manual for OPS5, a programming language for production systems. OPS5 is used primarily for applications in the areas of artificial intelligence, cognitive psychology, and expert systems. OPS5 interpreters have been implemented in LISP and BLISS."

"Practice, and the performance improvement that it engenders, has long been a major topic in psychology. In this paper, both experimental and theoretical approaches are employed in an investigation of the mechanisms underlying this improvement On the experimental side, it is argued that a single law, the power law of practice, adequately describes all of the practice data. On the theoretical side, a model of practice rooted in modern cognitive psychology, the chunking theory of learning, is formulated. The paper consists of (1) the presentation of a set of empirical practice curves; (2) mathematical investigations into the nature of power law functions; (3) evaluations of the ability of three different classes of functions to adequately model the empirical curves; (4) a discussion of the existing models of practice; (5) a presentation of the chunking theory of learning." In J. R. Anderson (Ed.). Cognitive Skills and their Acquisition (pp. 1-55). Hillsdale, NJ: Erlbaum.

A four-volume collection of articles on all the major topics of AI at that time, with an extensive bibliography. Vol I (Avron Barr and Edward A. Feigenbaum, 1981) (https://books.google.com/books?isbn=1483214370). Vol II (Avron Barr, Edward A. Feigenbaum, Paul R. Cohen, 1982) (https://books.google.com/books?isbn=1483214389). Vol III (Paul R. Cohen and Edward A. Feigenbaum, 1982) (https://books.google.com/books?isbn=1483214397). Vol IV (Avron Barr and Paul R. Cohen, 1989) (https://books.google.com/books?isbn=1483214370). Reading, Mass.: Addison-Wesley.