To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. Such recorded reasons are useful in constructing explanations of program actions and in guiding the course of action of a problem solver. This paper describes (1) the representations and structure of the TMS, (2) the mechanisms used to revise the current set of beliefs, (3) how dependency-directed backtracking changes the current set of assumptions, (4) techniques for summarizing explanations of beliefs, (5) how to organize problem solvers into "dialectically arguing" modules, (6) how to revise models of the belief systems of others, and (7) methods for embedding control structures in patterns of assumptions. We stress the need of problem solvers to choose between alternative systems of beliefs, and outline a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do.Artificial Intelligence 12(3):231-272

"Computing can change our ways of thinking about many things, mathematics, biology, engineering, administrative procedures, and many more. But my main concern is that it can change our thinking about ourselves: giving us new models, metaphors, and other thinking tools to aid our efforts to fathom the mysteries of the human mind and heart. The new discipline of Artificial Intelligence is the branch of computing most directly concerned with this revolution. By giving us new, deeper, insights into some of our inner processes, it changes our thinking about ourselves. It therefore changes some of our inner processes, and so changes what we are, like all social, technological and intellectual revolutions." This book, published in 1978 by Harvester Press and Humanities Press, has been out of print for many years, and is now online, produced from a scanned in copy of the original, digitised by OCR software and made available in September 2001. Since then a number of notes and corrections have been added. Atlantic Highlands, NJ: Humanities Press.

This paper discusses an effort in the application of artificial intelligence to the access of data from a large, distributed data base over a computer network. A running system is described that provides real-time access over the ARPANET to a data base distributed over several machines. The system accepts a rather wide range of natural language questions about the data, plans a sequence of appropriate queries to the data base management system to answer the question, determines on which machine(s) to carry out the queries, establishes links to those machines over the ARPANET, monitors the prosecution of the queries and recovers from certain errors in execution, and prepares a relevant answer. In addition to the components that make up the demonstration system, more sophisticated functionally equivalent components are discussed and proposed. The work described in this paper represents the joint efforts of an integrated, energetic group at SRI. Members of this group include Rich Fikes (now at Xerox PARC), Koichi Furukawa (now at ETL).

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

Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp. 67-76 (reprinted in RNLP: 353-362)

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

This text is a description of a computer-based system designed to assist physicians with clinical decision-making. This system, termed MYCIN, utilizes computer techniques derived principally from the subfield of computer science known as artificial intelligence (AI). MYCIN's task is to assist with the decisions involved in the selection of appropriate therapy for patients with infections.

MYCIN contains considerable medical expertise and is also a novel application of computing technology. Thus, this text is addressed both to members of the medical community, who may have limited computer science backgrounds, and to computer scientists with limited knowledge of medical computing and clinical medicine. Some sections of the text may be of greater interest to one community than to the other. A guide to the text follows so that you may select those portions most pertinent to your particular interests and background.

The complete book in a single file.

Anyone interested in acting as editor for a special issue of the Newsletter devoted to a particular topic in A! is invited to contact the Editor. Letters to the Editor will be considered as submitted for publication unless they contain a request to the contrary. Technical papers appearing in this issue are unrefereed working papers, and opinions expressed in contributions are to be construed as those of the individual author rather than the official position of SIGART,the ACM, or any organization with which the writer may be affiliated. You are invited to join and participate actively. SIGART membership is open to ACM members upon payment of dues of $3.00 per year and to non-ACM members upon payment of dues of $5.00 per year. To indicate a change of address or to become a member of SIGART, complete the form on the last page of this issue.

SRI Tech. Note 131, AI Center, SRI International, Inc., Menlo Park, Calif.

In researc which lan uac; assumed knowled way it use of provide impreci recent h into a is to e. In that on re of th is used the cons s, to na se acous years, utomati (r,et a nost e need e lan u (pragma traints ke sens tic sit there has c speech u computer of this s to pro are (its s tics). It and expec e of the i nal that i been a nderstan to und recent a vide th yntax an will th tations nherentl s human rroat increase in dine, the purpose of erstand the spoken ctivity, it has been e computer with a d semantics) and the en be able to make which this knowledfre y vaf ue, sloppy and soeech. Syntactic constraints and expectations are based on the patterns formed by a Riven set of linguistic objects, e. .