Carl Hewitt
ABSTRACT
This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually based on a single kind of object: actors [or, if you will, virtual processors, activation frames, or streams]. The formalism makes no presuppositions about the representation of primitive data structures and control structures. Such structures can be programmed, micro-coded, or hard wired in a uniform modular fashion. In fact it is impossible to determine whether a given object is "really" represented as a list, a vector, a hash table, a function, or a process. The architecture will efficiently run the coming generation of PLANNER-like artificial intelligence languages including those requiring a high degree of parallelism. The efficiency is gained without loss of programming generality because it only makes certain actors more efficient; it does not change their behavioral characteristics. The architecture is general with respect to control structure and does not have or need goto, interrupt, or semaphore primitives. The formalism achieves the goals that the disallowed constructs are intended to achieve by other more structured methods.
- Balzer, R.M., "Ports--A Method for Dynamic Interprogram Communication and Job Control" The Rand Corp., 1971.Google Scholar
- Bishop, Peter, "Data Types for Programming Generality" M.S. June 1972. M.I.T.Google Scholar
- Bobrow D., and Wegbreit Ben. "A Model and Stack Implementation of Multiple Environments". March 1973.Google Scholar
- Davies, D.J.M. "POPLER: A P0P-2PLANNER" MIP-89. School of A. I. University of Edinburgh.Google Scholar
- Deutsch L.P. "An Interactive Program Verifier" Phd. University of California at Berkeley. June, 1973 Forthcoming.Google Scholar
- Earley, Jay. "Toward an Understanding of Data Structures" Computer Science Department, University of California, Berkeley.Google Scholar
- Elcock, E.W.; Foster, J.M.; Gray, P.M.D.; McGregor, H.H.; and Murray A.M. Abset, a Programming Language Based on Sets: Motivation and Examples. Machine Intelligence 6. Edinburgh, University Press.Google Scholar
- Fisher. D.A. "Control Structures for Programming Languages" Phd. Carnegie. 1970. Google Scholar
- Gentzen G. "Collected Papers of Gerhard Gentzen". North Holland. 1969.Google Scholar
- Greif I.G. "Induction in Proofs about Programs" Project MAC Technical Report 93. Feb. 1972. Google Scholar
- Hewitt, C. and Patterson M. "Comparative Schematology" Record of Project MAC Conference on Concurrent Systems and Parallel Computation. June 2-5, 1970. Available from ACM. Google Scholar
- Hewitt, C., Bishop P., and Steiger R. "The Democratic Ethos or 'How a Society of Noncoercable ACTORS can be Incorporated into a Structured System'" SIGPLAN-SIGOPS Interface Meeting, Savannah, Georgia. April, 1973.Google Scholar
- Hewitt, C, and Greif, I. "Actor Induction and Meta-Evaluation" ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Boston, Mass- Oct, 1973. Forthcoming. Google Scholar
- Hoare, C.A.R. "An Axiomatic Definition of the Programming Language PASCAL" Feb. 1972.Google Scholar
- Kay, Alan C. Private Communication.Google Scholar
- Krutar, R. "Conversational Systems Programming (or Program Plagiarism made Easy)" First USA-Japan Computer Conference. October 1972.Google Scholar
- Lampson, B. "An Overview of CAL-TSS". Computer Center, University of California, Berkeley.Google Scholar
- Liskov, B.H. "A Design Methodology for Reliable Software Systems" The Last FJCC. Dec.1972. Pt. 1, 191-199. Google Scholar
- McDermott D.V. "Assimilation of New Information by a Natural Language-Understanding System" M.S., MIT. Forthcoming 1973.Google Scholar
- McDermott, D.V. and Sussman G.J. "The Conniver Reference Manual" A.I. Memo no. 259. 1972.Google Scholar
- Milner, R. Private Communication.Google Scholar
- Minsky, Marvin. "Frame-Systems: A Theory for Representation of Knowledge" Forthcoming 1973.Google Scholar
- Mitchell, J.G. "A Unified Sequential Control Structure Model" NIC 16816. Forthcoming.Google Scholar
- Newell, A. "Some Problems of Basic Organization in Problem-Solving Programs". Self-Organizing Systems. 1962.Google Scholar
- Papert S. and Solomon C. "NIM: A Game-Playing Program" A. I. Memo no. 254.Google Scholar
- Reynolds, J.C. "Definitional Interpreters for Higher-Order Programming Languages" Proceedings of ACM National Convention 1972. Google Scholar
- Rulifson Johns F., Derksen J.A., and Waldinger R.J. "QA4: A Procedural Calculus for Intuitive Reasoning" Phd. Stanford. November 1972. Google Scholar
- Scott, D. "Data Types as Lattices" Notes. Amsterdam, June 1972.Google Scholar
- Steiger, R. "Actors". M.S. 1973. Forthcoming.Google Scholar
- Sussman, G.J. "Teaching of Procedures-Progress Report" Oct. 1972. A. I. Memo no. 270.Google Scholar
- Waldinger R. Private Communication.Google Scholar
- Wang A. and Dahl O. "Coroutine Sequencing in a Block Structured Environment" BIT 11 425-449.Google ScholarDigital Library
- Weyhrauch, R. and Milner R. "Programming Semantics and Correctness in a Mechanized Logic". First USA-Japan Computer Conference. October 1972.Google Scholar
- Winograd, T. "Procedures as a Representation for Data in a Computer Program for Understanding Natural Language" MAC TR-B4. February 1971.Google Scholar
- Wirth, N. "How to Live without Interrupts" or some such. Vol. 1, No. 9, pp. 489-498.Google Scholar
- Wulf W. and Shaw M. "Global Variable Considered Harmful" Carnegie-Mellon University. Pittsburgh, Pa. SIGPLAN Bulletin. 1973. Google Scholar
Recommendations
Artificial intelligence
AbstractArtificial intelligence (AI) is the Science and Engineering domain concerned with the theory and practice of developing systems that exhibit the characteristics we associate with intelligence in human behavior. Starting with a brief history of ...
Comments