The technology for building knowledge-based systems by inductive inference from examples hasbeen demonstrated successfully in several practical applications. This paper summarizes an approach to synthesizing decision trees that has been used in a variety of systems, and it describes one such system, ID3, in detail. Results from recent studies show ways in which the methodology can be modified to deal with information that is noisy and/or incomplete. A reported shortcoming of the basic algorithm is discussed and two means of overcoming it are compared. The paper concludes with illustrations of current research directionsMachine Learning, 1, p. 81-106

Although cognitive AI is not generally viewed as being "scientific" in the same, strong sense as is physics, it shares a number of the properties of the natural sciences, especially biology. Certain of special themes of biology, notably the principles of historicity and of structure-function relations, are applicable in AI research. From a biologist's viewpoint, certain principles of cognitive AI research emerge.

Tin Nguyen performed the work contained in the article "Knowledge Base Verification" while at Lockheed and is currently working for Bell Northern Research as a member of the research staff. Deanne Pecora, a staff engineer with the Lockheed Artificial Intelligence Center, 2710 Sand Hill Road, Menlo Park, California 94025, is working on Rick Brigs, author of "Knowledge Representation and Inference in Sanskrit: A applying knowledge-based systems to Review of the First National Conference," is a senior engineer at Delfin Systems, real problems. She is a coauthor of 1349 Moffett Park Drive, Sunnyvale, California 94089. Briggs is currently working'Knowledge Base Verification." Walt Perkins, coauthor of "Knowledge Base Verification" is a consulting scientist Lindley Darden, who wrote "Viewing the History of Science as Compiled Hindsight," with the Lockheed Artificial is an associate professor in the departments of philosophy and history and Intelligence Center, 2710 Sand Hill a member of the graduate faculty in the Committee on the History and Philosophy Road, Menlo Park, California 94025 of Science at the University of Maryland, College Park. She is currently and the principal developer of the serving in the second year of a halftime research appointment at the University Lockheed expert system. of Maryland Institute for Advanced Computer Studies. Her mailing address is Department of Philosophy, University of Maryland, College Park, Maryland David Prerau is a principal member of 20742. The primary responsibility is to lead the author of "The 1985 Workshop on Distributed Artificial Intelligence, he is currently development of major expert systems working in the area of distributed artificial intelligence and is organizing with high corporate payoff and impact.

I apologise for any mistakes or misinterpretations I may therefore have made. In October 1981,.Japan announced a national project to develop highly innovative computer systems for the 199Os, with the title "Fifth Generation Computer Systems " This paper is a personal view of that project, The fifth generation plan its significance, and reactions to it. In late 1978 the Japanese Ministry of International Trade THIS PAPER PRESENTS a personal view of the Japanese and Industry (MITI) gave ETL the task of defining a project Fifth Generation Computer Systems project.

Our own early attempts (as devoted users of LISP) to use PROLOG convinced us that it would be worth the effort to create within LISP a faithful implementation of Kowalski's logic programming idea. We felt it would be very convenient to be able to set up a knowledge base of assertions inside a LISP workspace, and to compute the answers to queries simply by executing appropriate function calls.In Hayes, J. E., Michie, D., and Pao, Y.-H. (Eds.), Machine Intelligence 10. Ellis Horwood.

W'e present a formal syntax and semantics for the SNePS Semantic Network P recessing System (Shapiro 1979), based on a \leinongian theory of the intensional objects of thought (Rapaport 198Sa). Such a theory avoids possible worlds and is appropriate t or AI considered as "computational philosophy"-AI as the study of how intelligence is possible-or "computational psychology"- .ql

See also: Stanford Heuristic Programming Project Memo HPP-77-25Proc. IJCAI-77: Fifth International Joint Conference on Artificial Intelligence, pp 1014-1029

Boitet, C. 1977 Where Does GETA Stand at the Beginning of Brinkmann, K.-H.

Grammars or syntax specifications address themselves to the characterisation in symbolic terms of the structure of complex expressions. Two types of expression of empirical interest have been studied: sentences in English and other'natural' languages, and programs written in some high-level procedural language like ALGOL. Expressions in these languages consist of sets of elements (words and characters) coordinated with one another according to the sensorily manifest relationship'alongside', more commonly termed'followed by'.

E.A. Feigenbaum and J. Feldman (Eds.). Computers and Thought. McGraw-Hill, 1963. This collection includes twenty classic papers by such pioneers as A. M. Turing and Marvin Minsky who were behind the pivotal advances in artificially simulating human thought processes with computers. All Parts are available as downloadable pdf files; most individual chapters are also available separately. COMPUTING MACHINERY AND INTELLIGENCE. A. M. Turing. CHESS-PLAYING PROGRAMS AND THE PROBLEM OF COMPLEXITY. Allen Newell, J.C. Shaw and H.A. Simon. SOME STUDIES IN MACHINE LEARNING USING THE GAME OF CHECKERS. A. L. Samuel. EMPIRICAL EXPLORATIONS WITH THE LOGIC THEORY MACHINE: A CASE STUDY IN HEURISTICS. Allen Newell J.C. Shaw and H.A. Simon. REALIZATION OF A GEOMETRY-THEOREM PROVING MACHINE. H. Gelernter. EMPIRICAL EXPLORATIONS OF THE GEOMETRY-THEOREM PROVING MACHINE. H. Gelernter, J.R. Hansen, and D. W. Loveland. SUMMARY OF A HEURISTIC LINE BALANCING PROCEDURE. Fred M. Tonge. A HEURISTIC PROGRAM THAT SOLVES SYMBOLIC INTEGRATION PROBLEMS IN FRESHMAN CALCULUS. James R. Slagle. BASEBALL: AN AUTOMATIC QUESTION ANSWERER. Green, Bert F. Jr., Alice K. Wolf, Carol Chomsky, and Kenneth Laughery. INFERENTIAL MEMORY AS THE BASIS OF MACHINES WHICH UNDERSTAND NATURAL LANGUAGE. Robert K. Lindsay. PATTERN RECOGNITION BY MACHINE. Oliver G. Selfridge and Ulric Neisser. A PATTERN-RECOGNITION PROGRAM THAT GENERATES, EVALUATES, AND ADJUSTS ITS OWN OPERATORS. Leonard Uhr and Charles Vossler. GPS, A PROGRAM THAT SIMULATES HUMAN THOUGHT. Allen Newell and H.A. Simon. THE SIMULATION OF VERBAL LEARNING BEHAVIOR. Edward A. Feigenbaum. PROGRAMMING A MODEL OF HUMAN CONCEPT FORMULATION. Earl B. Hunt and Carl I. Hovland. SIMULATION OF BEHAVIOR IN THE BINARY CHOICE EXPERIMENT Julian Feldman. A MODEL OF THE TRUST INVESTMENT PROCESS. Geoffrey P. E. Clarkson. A COMPUTER MODEL OF ELEMENTARY SOCIAL BEHAVIOR. John T. Gullahorn and Jeanne E. Gullahorn. TOWARD INTELLIGENT MACHINES. Paul Armer. STEPS TOWARD ARTIFICIAL INTELLIGENCE. Marvin Minsky. A SELECTED DESCRIPTOR-INDEXED BIBLIOGRAPHY TO THE LITERATURE ON ARTIFICIAL INTELLIGENCE. Marvin Minsky.