Carl Hewitt
ABSTRACT
Creating more knowledgeable computer systems will require vastly increased computational resources. We are working on the development of a computer architecture (called the Apiary) to meet this need. In this paper we present an overview of the Apiary introducing important concepts and techniques such as Interest groups.
Jeff Schiller has constructed a preliminary implementation of the network software for the Apiary on the CADR Distributed System at the MIT Artificial Intelligence Laboratory. Phyllis Koton has constructed a preliminary version of Portal which is a communications chip designed to facilitate the construction of Multiprocessor Network Architectures like the Apiary. However a great deal of work remains to be done in order to make the Apiary into a practical usable system.
- 1.Arvind and Gostelow, K. "Some Relationships between Asynchronous Interpreters of a Dataflow Language" IFIP Working Conference on Formal Description of Programming Concepts. 31 July to 5 August 1977.]]Google Scholar
- 2.Backus, John. "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" CACM. August 1978. pp. 613-641.]] Google ScholarDigital Library
- 3.Batcher, K. E. "Sorting Networks and their Applications" SJCC. April 1968. pp 307-314.]]Google Scholar
- 4.Baker, H. J. Jr. "Actor Systems for Real-time Computation" MIT Ph.D. Thesis. Laboratory of Computer Science Technical Report MIT/LCS/TR-197. March 1978.]] Google ScholarDigital Library
- 5.Baker, H. J. Jr. and Hewitt, Carl "Incremental Garbage Collection of Processes" MIT A.I. Memo 454. December, 1977.]] Google ScholarDigital Library
- 6.Buneman, O., H. Morgan, and Zisman, M. "Display Facilities for Decision Support" DATA BASE, Winter 1977.]]Google Scholar
- 7.Bishop, P. B. "Computer Systems with a Very Large Address Space and Garbage Collection" MIT Ph.D. Thesis. Laboratory of Computer Science Technical Report MIT/LCS/TR-178. May 1977.]]Google Scholar
- 8.Browning, S. A. "A Tree Machine" Lambda. April 1980. Vol. 1. No. 2. pp. 31-36.]]Google Scholar
- 9.Dahl, O. J. and Nygaard, K. "Class and Subclass Declarations" In Simulation Programming Languages J. N. Buxton (Ed.) North Holland. 1968. pp. 158-174.]]Google Scholar
- 10.Dennis, J. B. and Misunas, D. P. "A Preliminary Architecture for a Basic Data Flow Processor" The 2nd Annual Symposium on Computer Architecture. Houston. pp. 126-132.]] Google ScholarDigital Library
- 11.Engelbart, D. C. "Advanced Intellect-Augmentation Techniques" SRI Final Report. July 1970.]]Google Scholar
- 12.Feldman, J. A. "A Programming Methodology for Distributed Computing (among other things)" TR9. Computer Science Dept. Univ. of Rochester. September 1976.]]Google Scholar
- 13.Francez, N.; Hoare, C. A. R.; Lehmann, D. J.; and de Roever, W. P. "Semantics of Nondeterminism, Concurrency, and Communication" Working Paper. August 1978.]]Google Scholar
- 14.Friedman, D. P. and Wise, D. S. "A Constructor for Applicative Multiprogramming" Technical Report No. 80. Indiana University. January 1979.]]Google Scholar
- 15.Goodman, J. R. and Sequin, C. H. "Hypertree, A Multiprocessor Interconnection Topology" U. C. Berkeley Draft. 1980.]]Google Scholar
- 16.Gray, J. N. "Notes on Data Base Operating Systems" in Operating Systems, An Advanced Course American Elsevier. 1978.]] Google ScholarDigital Library
- 17.Halstead, R. H. "Multiple-Processor Implementations of Message-Passing Systems" MIT Laboratory of Computer Science Technical Report MIT/LCS/TR-198. 1978.]]Google Scholar
- 18.Halstead, R. H. "The VIM Virtual Machine for Multiprocessor Systems" MIT LCS RTS Draft Memo. 1980.]]Google Scholar
- 19.Halstead, B. "The MuNet: A Scalable Decentralized Architecture for Parallel Computation" MIT LCS RTS Draft Memo. 1980.]]Google Scholar
- 20.Hewitt, C. "PLANNER: A Language for Proving Theorems in Robots" IJCAI-69. Washington, D.C. May 1969. pp 295-302.]]Google Scholar
- 21.Hewitt, C. "Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot" Unpublished doctoral dissertation. MIT. 1971.]]Google Scholar
- 22.Hewitt, C. "Viewing Control Structures as Patterns of Passing Messages" A.I. Journal. Vol. 8. No. 3. June 1977. pp. 323-364.]]Google Scholar
- 23.Hewitt, C. and Smith, B. "Towards a Programming Apprentice" IEEE Transactions on Software Engineering. SE-1, #1. March 1975. pp. 26-45.]]Google ScholarDigital Library
- 24.Hewitt, C. and Baker, H. "Laws for Communicating Parallel Processes" Proceedings of IFIP Congress 77. Toronto, August 8-12, 1977. pp. 987-992.]]Google Scholar
- 25.Hewitt, C.; Attardi, G.; and Lieberman, H. "Specifying and Proving Properties of Guardians for Distributed Systems" MIT AI Lab Working Paper 172. December 1978. Revised April 1979. Proceedings of International Symposium on Semantics of Concurrent Computation. Evian les Bains, France. July 1979.]] Google ScholarDigital Library
- 26.Hewitt, C. "Preliminary Design of the Apiary for VLSI Support of Knowledge-Based Systems". MIT AI Lab Working Paper 186. May 1979.]]Google Scholar
- 27.Hewitt, C.; Attardi, G.; and Lieberman, H. "Security and Modularity in Message Passing" MIT AI Lab Working Paper 180. December 1978. Revised February 1979. First International Conference on Distributed Systems. Huntsville, Alabama. October 1979.]]Google Scholar
- 28.Hewitt, C. "Checkpoint and Recovery in Actor Systems" MIT AI Lab Working Paper. Forthcoming.]]Google Scholar
- 29.Hibbard, P. G.; Hisgen, A.; and Rodeheffer, T. "A Language Implementation Design for a Multiprocessor Computer System" IEEE/ACM 5th Annual Conference on Computer Architecture. April 1978. pp 66-72.]] Google ScholarDigital Library
- 30.Hoare, C.A.R. "Communicating Sequential Processes" CACM, Vol 21, No. 8. August 1978. pp. 666-677.]] Google ScholarDigital Library
- 31.Ingalls, D. H. H. "The Smalltalk-76 Programming System Design and Implementation" Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages. January 23-25, 1978. Tucson, Arizona. pp. 9-16.]] Google ScholarDigital Library
- 32.Kahn, K. M. "DIRECTOR Guide" MIT AI Memo 482. June 1978.]]Google Scholar
- 33.Kahn, G. and MacQueen, D., "Coroutines and Networks of Parallel Processes" IFIP-77. Toronto. August 8-12, 1977. pp. 987-992.]]Google Scholar
- 34.Katsuki, D. et. al. "Pluribus: An Operational Fault Tolerant Multiprocessor" IEEE Transactions on Computers. October 1978.]]Google Scholar
- 35.Keller, R. M., Lindstrom, G., and Patil, S. "A Loosely-coupled Applicative Multi-processing System" 1979 NCC. pp 861-870.]]Google Scholar
- 36.Kornfeld, W. A. "Using Parallel Processing for Problem Solving" IJCAI-79. Tokyo, Japan. August 1979.]]Google Scholar
- 37.Kornfeld, W. and Hewitt, C. "The Scientific Community Metaphor" MIT AI Lab Working Paper. December 1979.]] Google ScholarDigital Library
- 38.Koton, P. and Hewitt, C. "Portal: A Multiway Communicator" MIT AI Lab Draft. 1980.]]Google Scholar
- 39.Lampson, B. W. and Sturgis, H. E. "Crash Recovery in a Distributed Data Storage System" Forthcoming. 1979.]]Google Scholar
- 40.Moravec, H. P. "Fully Interconnecting Multiple Computers with Pipelined Sorting Nets" IEEE Transactions on Computers October 1979.]]Google ScholarDigital Library
- 41.Ornstein S. et. al. "Pluribus: A Reliable Multiprocessor" AFIPS Conference Proceedings, NCC '75.]]Google Scholar
- 42.Pease, M. C. "The Indirect Binary n-Cube Microprocessor Array" IEEE Transactions on Computers. Vol. C-26. No. 5. May 1977.]]Google Scholar
- 43.Rich, C.; Shrobe, H. E.; Waters, R. C.; Sussman, G. J.; and Hewitt, C. E. "Programming Viewed as an Engineering Activity" MIT A.I. Memo 459. January 1978.]]Google Scholar
- 44.Rumbaugh, J. E. "A Parallel Asynchronous Computer Architecture for Data Flow Programs" MIT Ph.D. dissertation. Project MAC Technical Report TR-150. May 1975.]]Google Scholar
- 45.Schiller, J. "The Design and Implementation of Apiary-0" 1979.]]Google Scholar
- 46.Sequin, C. H.; Despain, A. M.; and Patterson, D. A. "Communication in X-TREE" Proceedings of ACM 78.]] Google ScholarDigital Library
- 47.Sequin, C. H. "Message Switching Circuits for Multi-Microprocessors" U. C. Berkeley Draft. 1980.]]Google Scholar
- 48.Steele, G. L. and Sussman, G. J. "The Revised Report on SCHEME a Dialect of LISP" Artificial Intelligence Memo 452. January 1978.]]Google Scholar
- 49.Steiger, Richard, "Actor Machine Architecture" Unpublished Masters Thesis. MIT EECS Dept. June 1974.]]Google Scholar
- 50.Sullivan, H. and Bashkow, T. R. "A Large Scale, Homogeneous, Full Distributed Parallel Machine, I" Proceedings of 4th Annual Symposium on computer Architecture. March 1977. pp 105-117.]] Google ScholarDigital Library
- 51.Sullivan, H.; Bashkow, T. R.; and Klappholz, D. "A Large Scale, Homogeneous, Full Distributed Parallel Machine, II" Proceedings of 4th Annual Symposium on computer Architecture. March 1977. pp 118-124.]] Google ScholarDigital Library
- 52.Sussman, G. J.; Winograd, T.; and Charniak, E. "MICRO-PLANNER Reference Manual" MIT AI Memo 203A. December 1972. Cambridge, Mass.]] Google ScholarDigital Library
- 53.Sussman, Holloway, and Knight. "Computer Aided Evolutionary Design for Submicron Digital Technology" MIT AI Memo 526. May 1979.]]Google Scholar
- 54.Swan,R. J., Fuller, S. H., and Siewiorek, D. P. "Cm*—A Modular, Multi-Microprocessor" AFIPS Conference Proceedings 46. 1977.]]Google Scholar
- 55.Swinehart, D. "COPILOT: A Multiple Process Approach to Interactive Programming Systems" Stanford AI Memo 230. July 1974.]] Google ScholarDigital Library
- 56.Ward,S. A. "The MuNet: A Multiprocessor Message-Passing System Architecture" Seventh Texas Conference on Computing Systems. Houston, Texas. October, 1978.]]Google Scholar
- 57.Ward,S. A. "An Approach to Real-Time Computation" Seventh Texas Conference on Computing Systems. Houston, Texas. October, 1978.]]Google Scholar
- 58.Ward,S. A. and Halstead, R. H. "A Syntactic Theory of Message Passing" JACM Vol 27, Not. 2, April 1980. pp 365-383.]] Google ScholarDigital Library
Index Terms
- The Apiary network architecture for knowledgeable systems
Recommendations
The eXtensible Tutor Architecture: A New Foundation for ITS
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed TechnologyThe eXtensible Tutor Architecture (XTA) was designed as a platform for creating and deploying many types of Intelligent Tutoring Systems across many different platforms. The XTA presently has support for state graph pseudo-tutors and JESS model-tracing ...
Microservice-Oriented Architecture in Distributed Artificial Intelligence Systems and the Language of AI in Bio-Neural Systems
This article describes the views on the architecture of distributed AI systems based on the simulated bio-neurons representing the basis for the bio-neural circuits, which represent distributed AI subsystems and serve as microservices for the AI ...
Comments