Thacker, C. & McCreight, E. & Lamps ¢n, b. & Sproull, R. & Boggs, D.: ALTO: A personal computer. Xerox Corporation, Pal ¢ Alto Research Center, CSL-79-11, August 1979. [7] Thompson, C. & Kung, H.: Sorting on a mesh-connected parallel computer. Eighth Annual ACM Symp. on Theory of Computing, Hershey, May 1976. [7,9] Turner, D.: A new implementation technique for applicative languages. Software Practice and Experience 9(1), January 1979. [31 Urmi, J.: a machine independent LISP compiler and its implications for ideal hardware. Linkoeping Univ., Department of Mathematics, Report 78-22, 1978. Order from: INRIA-SEDIS-Diffusion Service de vente directe des publications B.P. 105 - 78150 Le Chesnay France Price: 46.73 FF plus 5FF handling charge for each order. (Original announcement in French was translated by Gerard Medioni, Image Processing Institute, U.S.C., Los Angeles, Ca.) [5.3.21 Wadler, P.: Analysisof an algorithm for real time garbage collection. CACM 19(9), September 1976. [5.21 Weinreb, D.: A real-time display-oriented editor for the LISP machine. S.G. thesis, MIT Electrical Engineering and Computer Science Department, Cambridge, Mass., January 1979. [5.3.11 White, J.: NIL - a perspective. Proc. of the MACSYMA User's Conference, Washington, D.C. June 1979, 190-199 [available from Laboratory for Computer Science, MIT, Cambridge, Mass.[ [5.3.2] Winston, P.: Interview on machine support for AI research. Rundbrief der Fachgruppe Kuenstliche lntelligenz in der Gesellschaft fuer Informatik, Nr. 21, August 1980. [5.1] Winston, P. & Horn, B.: LISP. Addison-Wesley PuN. Company, 1981. [5.1] , ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢, ¢, ¢, ¢ ¢ , , , ,.,-,-o-o-o-o-o- ¢- ¢- ¢- ¢-o-o-o°o'o' ¢' ¢' ¢'°°o' ¢Â° ¢' ¢' ¢'°° ¢Â° ¢Â° ¢Â° ¢Â° ¢Â° ¢Â°o . ¢ ¢ ¢. ¢. ¢ ¢ ¢ ¢.. ¢ ¢... ¢.. ¢. ¢ ¢... ¢... ¢. ¢ ¢. ¢ ¢ ¢ ¢ ¢ ¢.. . ¢ ¢ ¢ ¢ ¢ .. ¢. ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ : ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ ¢ A Model for Deliberation, Action, and Introspection Jon Doyle MIT AI Lab TR-581, May 1980 545 Technology Square Cambridge, MA 02139 "l:his thesis investigates the problem of controlling or directing the reasoning and actions of a computer program. The basic approach explored is to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as to deciding what other actions to take. A design for the architecture of reasoning programs is proposed. This architecture involves self-consciousness, intentional actions, deliberate adaptations, and a form of decision-making based on dialectical argumentation. A program based on this architecture inspects itself, describes aspects of itself to itself, and uses this self-reference and these self-descriptions in making decisions and taking actions. The program's mental life includes awareness of its own concepts, beliefs, desires, intentions, inferences, actions, and skills. All of these are represented by self-descriptions in a single sort of language, so that the program has access to all of these aspects of itself, and can reason about them in the same terms. :!:i:!:i:i:i:i:i:!:i:i:i:i:i:i:i:i:i:i:!:i:!:i:i:i:!:!:!:!:!:!:!:!:!:!:!:!:!:i:i:i:i:i:!:i:i:i: ¢:!:i:i:i:i:i: iiiii!iiiiiiiii!iii!iii!iiiii!i!iiiiii .'-'--'-°-°-°- ¢- ¢- ¢. ¢.°°°°'.'. ¢. ¢.'.'.'.',,d,d, . .. .. iiiiii!iii iiiiiiiiiiiii!i!iiiii!iiiii ¢.',.~,~'.' ¢Â°.°-°- ¢- ¢. ¢. ¢-°-'-°-°- ¢-°- ¢- ¢-'-°.°-'...'-'-°- ¸ !:i:!:i:i:!:i:i:i:i:i:i:i:i:!:!:i:i:!:!:!:!:!:i:i:i:i:i:i:i:!:i:i:i:i:i:i:i:!:!:i:i:i:i:i:i:i:i:i:i:!:i:i:i:i ¢- ¢- ¢Proceedings Knowledge Representation and Reasoning in the Humanities and Social Sciences 17-19 September 1979 Saint Maximin IRIA-LISH 1980, 607 p. I.S.B.N.2-7261-0234-4 Edited by l'lnstitut National de Recherche en Informatique et en Automatique Although the contribution of Computer Science tools and methods to research in Human Sciences is fairly well understood, little attention has been paid the possibility for Computer Science to find in Human Sciences procedures an inspiring source leading to new research, or even more, to useful results in the framework of knowledge representation and reasoning simulation. The papers presented in these proceedings explore this hypothesis. Even though their first concern is logic, linguistic and computer science, they also present work demonstrating how reasoning is elaborating in some subsets of human sciences together with perspective and limitations of a formal approach. 1. Theoretical aspects of text processing 2. Towards automated analysis and "understanding" of language 3. Models of knowledge representation 4. Logic, computer science and learning processes 5. Some approaches in reasoning formalization Papers abstracted below may be obtained on request to: Mrs. M.E. Pithie Dept. of Artificial Intelligence University of Edinburgh Forrest Hill Edinburgh EH1 2QL England A Simple Filespaee Management Scheme for Floppy Discs P.M. Ross & K.R. Johnson DAI Research Paper No. 137-1980 10 pages - Price: 25P + postage The filespace management scheme described in this paper is intended for use in microcomputers. It was designed to resolve the conflict between the need for reasonably fast file access and the need to avoid the disruption that major garbage collection of free space causes, while still being simple to implement. To this end, it is built to allocate consecutive free blocks for files when possible, but to chain together the component blocks of files in case it is not possible. The scheme is part of TERAK LOGO.

/lp/association-for-computing-machinery/a-model-for-deliberation-action-and-introspection-bu0e9GurhD