Skip to main content
Springer Nature Link
Log in

Computer architectures for artificial intelligence

  • Conference paper
  • First Online:
Future Parallel Computers

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 272))

  • 452 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abelson H. and Sussman G.J., "Structure and Interpretation of Computer Programs", The MIT Press (1984).

    Google Scholar 

  2. Ackerman W.B., "Data flow languages", Proc Nat Computer Conf. vol. 48, AFIPS Press, (1979), pp. 1087–1095.

    Google Scholar 

  3. Ackerman W.B., and Dennis J., "VAL — a Value Oriented Algorithmic Language", LCS Tech. Rep. TR-218, MIT lab. for Computer Science, (Sept 1979).

    Google Scholar 

  4. Akimoto H. et al, "Evaluation of the Dedicated Hardware in FACOM ALPHA", Proc. IEEE COMPCON SPRING '85, pp. 342–348.

    Google Scholar 

  5. Aleksander I. et al, "WISARD: A radical step forward in image processing", Sensor Review (July 1984) pp. 120–124.

    Google Scholar 

  6. Amamiya M.: "A Design Philosophy of High Level Language for Data Flow Machine Valid", Proc. Annual Conf. of IECE Japan (1981).

    Google Scholar 

  7. Anderson T., "The design of multiprocessor Development System", Tech Rep. TR-279, MIT lab for Computer Science, (Sept 1982).

    Google Scholar 

  8. Annaratone et al, "WARP Architecture and Implementation", Proc. Thirteenth Int.Symp. on Computer Architecture (1986) (to appear).

    Google Scholar 

  9. Anon., "Seeking the mind in pathways of the machine", The Economist, (June 1985), pp. 29–36.

    Google Scholar 

  10. Arvind and Gostelow K.P.: "The U-Interpreter", IEEE COMPUTER, vol.15, no.2 (February 1982), pp. 42–49.

    Google Scholar 

  11. Ashcroft E.A. and Wadge W.W.: "LUCID, a nonprocedural language with iteration", Comm. ACM, vol.20, no.7 (July 1977), pp. 519–526.

    Google Scholar 

  12. Backus J., "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs", Comm. ACM 21,8 (Aug. 1978), 613–641.

    Google Scholar 

  13. Baker H.G., "List Processing in Real Time on a Serial Computer", Comm. ACM, vol. 21, no. 4 (April 1978) pp. 280–294.

    Google Scholar 

  14. Baker H.G., "Actor Systems for Real-Time Computation", Tech. Rep. TR-197, MIT, lab for Computer Science, (Mar 1978).

    Google Scholar 

  15. Barnes J.G.P., "Programming in ADA", Addison-Wesley (1982).

    Google Scholar 

  16. Barron I., et al: "Transputer does 5 or more MIPS even when not used in parallel", Electronics, vol. 56, no. 23 (November 1983) pp. 109–115.

    Google Scholar 

  17. Batali J., et al, "The SCHEME-81 Architecture — System and Chip", Proc. 1982 Conf. on Advanced Research in VLSI, MIT (January 1982) pp. 69–77.

    Google Scholar 

  18. BBN., "BUTTERFLY Parallel Processor Overview", Tech. Rep., Bolt Beranek and Newman labs Inc., Cambrigde, Mas, (June 1985).

    Google Scholar 

  19. Berkling K.J., "A computing machine based on tree structures", IEEE Trans. Comp. vol. C-20, no.4 (Jan. 1971), pp. 404–418.

    Google Scholar 

  20. Berkling K., "Reduction languages for reduction machines", Proc. 2nd Int. Symp. Computer Architecture IEEE, New York, (1975), pp. 133–140.

    Google Scholar 

  21. Bibel W. and Buchberger B., "Towards a Connection Machine for Logical Inference", Proc. Int. Sym. on Fifth Generation and Super Computers, Rotterdam, Dec. 11–13, 1984 (Future Generations Computer Systems, vol. 1, no. 3 (Feb. 1985) pp. 177–188.)

    Google Scholar 

  22. Bic, L., "A data-driven Model for Parallel Interpretation of Logic programs", Proc. Int. Con. FGCS, Tokyo, (Nov. 1984), pp. 517–523.

    Google Scholar 

  23. Boley, H., "Artificial intelligence languages and machines", Technique et Science Informatiques, vol. 2. No. 3. pp. 145–170.

    Google Scholar 

  24. Borgwardt, P., "Parallel Prolog Using Stack Segments on Shared Memory Multiprocessors", Proc. of the 1984 Int. Symp. on Logic Programming, (Feb 1984).

    Google Scholar 

  25. Brownston L. et al, "Programming Expert Systems in OPS5", Addison-Wesley Pub. (1985).

    Google Scholar 

  26. Buchberger, B., "Components for Restructurable Multi-Microprocessor Systems", Proceedings of the MIMI 83 Conference, Acta Press, (1983), Zurich, pp. 67–71

    Google Scholar 

  27. Burstall R.M. et al, "HOPE: An Experimental Applicative Language", Technical Report, University of Edinburgh (1980).

    Google Scholar 

  28. Ciepielewsk A. and Haridi S., "Execution of Bagof on the OR-parallel Token Machine", Proc. Int. Conf. of Fifth Generation Computer Systems, Tokyo, (November 1984), pp. 551–562

    Google Scholar 

  29. Clark K.L. and Gregory S., "A Relational Language for Parallel Programming", Proc. ACM Conf. on Functional Programming Languages and Computer Architecture (1981).

    Google Scholar 

  30. Clark K.L. and Gregory S., "PARLOG: Parallel Programming in Logic", Research report DOC 84/4, Dept. of Comp., Imperial College, London, (1984).

    Google Scholar 

  31. Clark K.L. and Gregory S., "Notes on System Programming in PARLOG", Proc. Int. Conf. on FGC Technology, (1984), pp. 299–306.

    Google Scholar 

  32. Clark K., and Taernlund S-A., (eds.), "Logic Programming", Academic Press, London (1982).

    Google Scholar 

  33. Clarke T. I. W., et al, "SKIM — The S, K, I Reduction Macchine", Proc. 1980 LISP Conf. Stanford (1980).

    Google Scholar 

  34. Clocksin W., and Mellish C., "Programming in PROLOG", Springer-Verlag (1981).

    Google Scholar 

  35. Clocksin W.S., "Design and Simulation of a Sequential Prolog Machine", New Generation Computing, vol. 3, no. 1 (1985) pp. 101–119.

    Google Scholar 

  36. Cohen J., "Garbage Collection of Linked Data Structures", ACM Computing Surveys, vol. 13, no. 3 (Sept. 1981) pp. 341–367.

    Google Scholar 

  37. Dally W.J. and Kajiya J.T., "An Object Oriented Architecture", Proc. Twelth Int. Symp. on Computer Architecture (1985) pp. 154–161.

    Google Scholar 

  38. Darlington J. and Reeve M., "ALICE: A multiprocessor reduction machine for the parallel evaluation of applicative languages", Proc. Int. Symp. Functional Programming Languages and Computer Architecture, (June 1981), pp. 32–62.

    Google Scholar 

  39. Darlington J., et al, (eds). "Functional Programming and its Applications", Cambridge Univ. Press, (1982).

    Google Scholar 

  40. Darlington J. and Reeve M., "ALICE and the Parallel Evaluation of Logic Programs", 10th Int. Symp. on Computer Architecture, (1983).

    Google Scholar 

  41. Davis A.L. and Robison S.V., "The Architecture of the FAIM-1 Symbolic Multiprocessing System", Proc. Int. Joint Conf. on Artificial Intelligence (August 1985). pp. 32–38.

    Google Scholar 

  42. Deering M.F., "Hardware and Software Architectures for Efficient AI", Proc. Nat. Conf. on Artificial Intelligence AAAI-84, (August 1984) pp. 73–78.

    Google Scholar 

  43. Deutsch P. and Bobrow D., "An Efficient Incremental Automatic Garbage Collector", Comm. ACM, vol. 19, no. 9 (1976) pp. 522–526.

    Google Scholar 

  44. Fahlman, S., "Design sketch for a million-element NETL machine", Proc. AAA1-80, Stanford, (August 1980) pp. 249–251.

    Google Scholar 

  45. Fahlman S.E., et al, "Massively Parallel Architectures for AI: NETL, Thistle and Boltzmann Machines", Proc. Nat. Conf. of AI, AAAI-83 (August 1983) pp. 109–113.

    Google Scholar 

  46. Feldman, J.A., "CONNECTIONS", Byte vol. 10, no. 4 (April 1985) pp. 277–284.

    Google Scholar 

  47. Feustel E.A., "On the Advantages of Tagged Architecture", IEEE Trans. on Computers, vol. C-22, no. 7 (1973) pp. 644–656.

    Google Scholar 

  48. Fisher A.L., et al, "Architecture of the PSC: A Programmable Systolic Chip," Proc. Tenth Int. Symp. on Computer Architecture, (June 1983), pp. 48–53.

    Google Scholar 

  49. Flynn M. J., "Some Computer Organisations and their effectiveness", IEEE Trans. Comp. vol. C-21, no. 9 (1972) pp. 948–960.

    Google Scholar 

  50. Forgy C.L., "The OPS5 user's Manual", Tech. Report CMU-CS-81-135, Computer Science Department, Carnegie-Mellon University (1981).

    Google Scholar 

  51. Forgy C.L., "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem", Artificial Intelligence, vol. 19 (1982) pp. 17–37.

    Google Scholar 

  52. Forgy C., et al, "Initial Assessment of Architectures for Production Systems", Proc. Nat. Conf. for Atrificial Intelligence AAAI '84 (1984) pp. 116–120.

    Google Scholar 

  53. Friedman D.P. and Wise, D.S., "Aspects of applicative programming for parallel processing", IEEE Trans. Comp. vol. C-27, no. 4 (Apr. 1978), pp. 289–296.

    Google Scholar 

  54. Gabriel R.P., "Performance and Evaluation of Lisp Systems", The MIT Press (1985).

    Google Scholar 

  55. Giloi, W.K., "STARLET — An Advanced Object Orientated Computer Architecture", Future Generations Computer systems, vol. 1 no. 3 North Holland (February 1985) pp. 169–176.

    Google Scholar 

  56. Goldberg A. and Robson D., "SMALLTALK-80: The language and its implementation", Addison-Wesley (1983).

    Google Scholar 

  57. Gonzalez-Rubio R., et al, "The SCHUSS Filter: A Processor for Non-Numerical Data Processing", Proc. IEEE 11th Annual Int. Symp. on Computer Architecture, (1984) pp.64–73.

    Google Scholar 

  58. Gonzales-Rubio R. and Rohmer J., "From databases to Artificial Inteligence: A Hardware Point of view", AIS, NATO, Les Arcs, France, July 1985.

    Google Scholar 

  59. Goto A., et al., "A Highly Parallel Inference Engine: PIE", Proc. of the Logic Programming Conference (ICOT), (1983).

    Google Scholar 

  60. Goto A., et al, "Highly Parallel Inference Engine PIE, Goal Rewriting Model and Machine Architecture..", New Generation Computing, vol. 2, no. 1 (1984).

    Google Scholar 

  61. Goto E., et al, "FLATS, A Machine for Numerical Symbolic, and Associative Computing", Proc. 6th Annual Symp. Computer Architecture, (April 1979), pp. 102–110.

    Google Scholar 

  62. Greenblatt R., et al, "LISP Machine Progress Report, The LISP Machine", MIT, Artificial Intelligence Laboratory, (1979).

    Google Scholar 

  63. Gupta A., "Parallelism in Production Systems: The Sources and the Expected Speed-up", Carnegie-Mellon University, Dept. of Computer Science, Tech. Report CMU-CS-84-169 (December 1984).

    Google Scholar 

  64. Gurd J., et al, "The Manchester Prototype Data-Flow Computer", Comms, ACM, vol. 28, no. 1, (Jan. 1985), pp. 34–52.

    Google Scholar 

  65. Guzman A., "A Parallel Heterarchical Machine for High-Level Language Processing", M. Duff & S Levialdi (eds): Languages and architectures for image processing, Academic Press (1981) pp. 229–244

    Google Scholar 

  66. Halstead R.H., "Implementation of Multilisp: Lisp on a Multiprocessor", Proc. ACM Conf. (1984) pp. 9–17.

    Google Scholar 

  67. Halstead R.H., "Multi-Lisp: a Language for Concurrent Computation", ACM, Trans. on Prog. Lan. and Sys., Vol. 7, No. 4, (Oct 1985), pp. 501–538.

    Google Scholar 

  68. Hankin C.L. et al, "COBWEB — A Combinator Reduction Architecture", Int. Conf. on Functional Programming Proc. (September 1985) pp. 99–112.

    Google Scholar 

  69. Haridi S., and Ciepielewski A., "An OR-parallel Token Machine", Logic Programming Workshop '83, Praio da Falesia, Algrave, Portugal, (1983).

    Google Scholar 

  70. Hayes-Roth, F., et al, "Building Expert Systems", Addison-Wesley (1983).

    Google Scholar 

  71. Hayhashi H., et al, "ALPHA: A High-Performance LISP Machine Equipped with a New Stack Structure and Garbage Collection System", Proc. Tenth Int. Symp. on Computer Architecture (1983). pp. 342–348.

    Google Scholar 

  72. Henderson, P., "Functional programming: Application and Implementation", Prentice-Hall International, London (1980).

    Google Scholar 

  73. Henderson, P. and Morris J.M., "A lazy evaluator", Proc. 3rd Symp. Principles of Programming Languages, ACM, New York, (1976), pp. 95–103.

    Google Scholar 

  74. Hertzberger L.O., "The Architecture of Fifth Generation Inference Computers", Future Generation Computer Systems, vol. 1 no. 1 (July 1984) pp. 9–21

    Google Scholar 

  75. Hewitt C.E., "The APLARY Network Architecture for Knowledge Systems", Proc. LISP Conf., Stanford (August 1980). pp. 107–117.

    Google Scholar 

  76. Hewitt C. and Lieberman H., "Design Issues in Parallel Architectures for Artificial Intelligence", Proc. of COMPCON 84 (1984) pp. 418–422.

    Google Scholar 

  77. Hierata K., et al., "An efficient Processing Method of Structured Data on the Highly Parallel Inference Engine PIE:", EICEJ Technical Group Meeting EC 83-38, Japan, (1983).

    Google Scholar 

  78. Higuchi, T., et al., "A Semantic Network Language Machine", in Microcomputers Usage and Design, Waldschimidt, K., et al., (eds), Elsevier Science Publishers, North-Holland, (1985) pp. 95–104.

    Google Scholar 

  79. Hillis W.D., "New Computer Architectures and Their Relationship to Physics or Why Computer Science is no good", Int. Journ. of Theoretical Physics, vol. 21, no. 3/4, (1982) pp. 255–262.

    Google Scholar 

  80. Hillis W.D., "The Connection Machine: a computer architecture based on cellular automata", Cellular Automata, (ed. Farmer et al) (1984) pp. 213–229.

    Google Scholar 

  81. Hillis W.D., The Connection Machine", The MIT Press (1985).

    Google Scholar 

  82. Hillyer B.K. and Shaw D.E., "Rapid Execution of AI Production Systems on the NON-VON Supercomputer", Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (Nov. 1983).

    Google Scholar 

  83. Hillyer B.K. and Shaw D.E., "Execution of Production Systems on a Massively Parallel Machine", Submitted to Journal of Parallel and Distributed Computing, (Oct. 1984)

    Google Scholar 

  84. Hinton G.F., et al, "Boltzmann Machines: Constraint Satisfaction Networks that Learn", Tech. Report CMU-CS-84-119, Carnegie-Mellon University (May 1984).

    Google Scholar 

  85. Hockney R.W., "MIMD computing in the USA — 1984", Parallel Computing, vol. 2 (1985) pp.119–136.

    Google Scholar 

  86. Holloway J., et al, "SCHEME-79 — LISP on Chip," IEEE COMPUTER, vol. 14, no. 7, (July 1981), pp. 10–21.

    Google Scholar 

  87. Hommes F. and Schlutter, H., "Reduction machine system User's guide", Tech. Rep. ISF-Rep. 79, Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, (December 1979).

    Google Scholar 

  88. Hughes R.J.M., "Supercombinators: A New Implementation method for Applicative Languages", Proc. 1982 ACM Symp. on LISP and Functional programming, (August 1982).

    Google Scholar 

  89. Ida T., "Towards a Parallel Reduction Architecture", Proc. 2nd Int. Symp. on Symbolic and Algebraic Computation by Computers at RIKEN Aug. 21–22, 1984, pp. 8–10.

    Google Scholar 

  90. INMOS Ltd., "OCCAM Programming Manual", Prentice-Hall Internation (1984).

    Google Scholar 

  91. Ishida T. and Stolfo S.J., "Simultaneous Firing of Production Rules on Tree-structured Machines", Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (1984).

    Google Scholar 

  92. Ishikawa Y. and Tokoro M., "The Design of an Object Oriented Architecture", IEEE 1984 Proc. of the 11th Annual Int. Symp. on Computer Architecture (1984) pp. 178–187.

    Google Scholar 

  93. Ito N. and Masuda Y., "Parallel Inference Machine Based on the Data Flow Model", Tech. Rep. TR-033, ICOT (1983).

    Google Scholar 

  94. Ito N., et al, "Parallel Prolog Machine Based on Data Flow Mechanism", Proc. of the Logic Programming Conference (ICOT), (1983).

    Google Scholar 

  95. Karia R., "Reduction on a Wafer", Proc. Workshop on Wafer Scale Integration, Southampton University, England (July 1985).

    Google Scholar 

  96. Kasif S., et al, "Logic Programming on ZMOB: A Highly Parallel Machine", IEEE (1982).

    Google Scholar 

  97. Keller R.M., et al. "A loosely coupled applicative multiprocessing system", Proc. Nat. Computer Conf., AFIPS Press, (1978), pp. 861–870.

    Google Scholar 

  98. Keller R.M. and Lindstrom, G., "An architecture for a loosely coupled parallel processor", Tech. Rep. UUCS-78-10, Dep. Computer Science, Univ. of Utah, (Oct 1978).

    Google Scholar 

  99. Keller R.M., et al, "REDIFLOW Multiprocessing", Proc. IEEE COMPCON Spring 84 (1984) pp. 410–417.

    Google Scholar 

  100. Kluge W.E., "The architecture of a reduction language machine hardware model", Tech. Rep. ISF-Rep. 79.03, Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, (Aug. 1979).

    Google Scholar 

  101. Kluge W.E. and Schlutter H., "An architecture for the direct execution of reduction languages", in Proc. Int. Workshop High-Level Languages Computer Architecture (May 1980), pp. 174–180.

    Google Scholar 

  102. Kluge W.E., "Cooperating Reduction Machines", IEEE Trans. on Computers vol. C-32, no. 11, (November 1983), pp. 1002

    Google Scholar 

  103. Kowalski R., "Logic for Problem Solving", North-Holland (1979).

    Google Scholar 

  104. Kung H.T., "Why Systolic Arrays," IEEE COMPUTER, vol. 15, no. 1, (January 1982), pp. 37–46.

    Google Scholar 

  105. Landin P.J., "The mechanical evaluation of expressions", Comput. vol. J.6 (Jan. 1964), pp. 308–320.

    Google Scholar 

  106. Laurent J-P., "AI Research in France", The AI Magazine, vol. 6, no. 1 (Spring 1985) pp. 22–30.

    Google Scholar 

  107. LISP Machines Inc., "Overview of the LMI Series LISP Machines"

    Google Scholar 

  108. Maekawa H., et al "Fast LISP Machine and List-Evaluation Processor EVAL II.. Processor Architecture and Hardware Configuration", IPSJ Trans., vol. 24, No. 5, (1983) (In Japanese).

    Google Scholar 

  109. Mago G.A., "A Network of Microprocessors to Execute Reductions Languages", International Journal of Computation and Information Sciences, vol. 8, No. 5, (1979), pp.. 349–385, vol. 8, No. 6, (1979), pp. 435–471.

    Google Scholar 

  110. Mago G.A., "A cellular computer architecture for functional programming", Proc. IEEE COMPCON 80, New York,(Feb. 1980), pp. 179–187.

    Google Scholar 

  111. Mago G.A., "A cellular, language directed computer architecture", Proc. Conf. Very Large Scale Integration (Jan. 1979), pp. 447–452.

    Google Scholar 

  112. Mago G.A., et al, "Program execution on a cellular computer: Some matrix algorithms", Tech. Rep., Dep. Computer Science, Univ. of North Carolina, Chapel Hill, (May 1981).

    Google Scholar 

  113. Mairyama T., et al., "A Highly Parallel Inference Engine PIE", Proc. of Electronic Computer Society of IECE of Japan, EC 83–39, Japan, (1983) (Japanese)

    Google Scholar 

  114. Manual T., "Lisp and Prolog machines are proliferating", ELECTRONICS, vol. 56, no. 22 (November 1983) pp. 132–137.

    Google Scholar 

  115. Marti J. and Fitch J., "The Bath Concurrent LISP Machine". EUROCAM '83, Springer-Verlag, Lecture Notes in Computer Science. (1983).

    Google Scholar 

  116. Minsky M., and Papert, in "Perceptrons", M.I.T. press, (1969)

    Google Scholar 

  117. Moldovan D.I. and Tung Y-W., "SNAP: A VLSI Architecture for Artificial Intelligence", Journ. of Parallel and Distributed Computing, vol. 2, no. 2 (1985) pp. 109–131.

    Google Scholar 

  118. Moldovan D.I., et al, "Parallel Processing of Iconic to Symbolic Transformation of Images", Proc. IEEE Conf. on Computer Vision and Pattern Recognition, (June 1985) pp. 257–264.

    Google Scholar 

  119. Moon D.A. and Weinreb, D., "Lisp Machine Manual", MIT, (January 1979).

    Google Scholar 

  120. Moon D.A., "Garbage Collection in a Large Lisp System", Conf. Record of 1984 Symp. on Lisp and Functional Programming, (August 1984) pp. 235–246.

    Google Scholar 

  121. Moon D., "Architecture of the Symbolics 3600", Proc. Twelth. Int. Symp. on Computer Architecture, (1985) pp. 76–83.

    Google Scholar 

  122. Moto-oka T. and Fuchi K., "The Architectures in the Fifth Generation Computer", Information Processing, Rea Mason (Ed.), IFIP, (1983)

    Google Scholar 

  123. Moto-oka T., et al, "The Architecture of a Parallel Inference Engine PIE.", Proc. Int. Con. on Fifth Generation Computer Systems, Tokyo, (November 1984), pp. 479–488.

    Google Scholar 

  124. Moto-oka T., "Overview to the fifth generation computer system project", Proc. Tenth Int. Symp. on Computer Architecture (June 1983). pp. 417–422.

    Google Scholar 

  125. Murakami K., et al, "Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine", Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo, (November 1984), pp. 18–36.

    Google Scholar 

  126. Murakami K. et al, "Research on Parallel Machine Architewctures for Fifth Generation Computer Systems", IEEE COMPUTER, vol. 18, no. 6 (June 1985).

    Google Scholar 

  127. Myer G., "Advances in Computer Architecture", Wiley Interscience (1978).

    Google Scholar 

  128. Nagao M., et al, "The NK3 LISP Machine and Its Performance Evaluation", Tech. Memo, WGSYM of IPSJ, vol. 7–4, (1979), (in Japanese).

    Google Scholar 

  129. Nagao M., et al, "LISP machine NK3 and measurement of its performance", Proc. 6th IHCAI-79, Tokyo, (August 1979), pp. 625–627.

    Google Scholar 

  130. Nakazaki R., et al, "Design of a High-Speed Prolog Machine (HPM)", Proc. IEEE 12th Int. Symp. on Computer Architecture (June 1985).

    Google Scholar 

  131. O'Keefe R., "PROLOG compared with LISP", SIGPLAN Notices vol. 18, no. 5 (May 1983).

    Google Scholar 

  132. Odijk E.A.M., "The Philips Object-Oriented Parallel Computer", Proc. Fifth Generation Computer Architecture (IFIP TC-10, ed. Woods), North Holland (1985).

    Google Scholar 

  133. Ohbuchi R., "Overview of Parallel Processing Research in Japan", IBM Japan Science Institute, JSI Research Report TR87-0003, (January 1985).

    Google Scholar 

  134. Onai R., et al, "An Approach to a Parallel Inference Machine Based on Control-Driven and Data-Driven Mechanisms", Tech. Rep. TR-042, ICOT, (January 1984).

    Google Scholar 

  135. Onai R., et al, "Analysis of Sequential PROLOG Programs", Tech. Rep. TR-048, ICOT, (1984).

    Google Scholar 

  136. Onai R., et al, "Parallel Inference Machine based on Reduction Mechanism — Its architecture and Software Simulation", Tech. Rep. TR-077, ICOT, (1984).

    Google Scholar 

  137. Onai R., et al, "Architecture of a Reduction Based Parallel Inference Machine: PIM-R", New Generation Computing, vol 3, No. 2, (1985).

    Google Scholar 

  138. Patterson D., and Sequin C., "A VLSI RISC," IEEE COMPUTER, vol. 15, no. 9, (September 1982), pp. 8–21.

    Google Scholar 

  139. Patterson D.A., "Reduced Instruction Set Computers," Comm. ACM, vol. 28, no. 1, (January 1985), pp. 8–21.

    Google Scholar 

  140. Peyton-Jones S. et al, "GRIP — a Parallel Graph Reduction Machine", University College London, Dept. of Computer Science, Technical Report 1665 (November 1985).

    Google Scholar 

  141. Quillian M. R. "Semantic Memory", PhD desertation, Camegie Mellon, (Octomber 1966). (Appeared as report AFCRL-66-189).

    Google Scholar 

  142. Richards H., "An Overview of the Burroughs NORMA", Intemal Report Burroughs Corp., Austin Research Centre (January 1985).

    Google Scholar 

  143. Rieger C., et al, "ZMOB: A new computing engine for AI", Proc. 7th IJCAI-81, Vancouver, (August 1981), pp. 955–960.

    Google Scholar 

  144. Rousell P., "PROLOG Mannel de reference et d'utilisation", Groupe d'Intelligence Artificielle, Marseille — Luming (1975)

    Google Scholar 

  145. Sansonnet J-P., et al., "M3L — a list-directed architecture", Proc. Int. Symp. Computer Architecture (May 1980) pp. 105–112.

    Google Scholar 

  146. Sansonnet J-P., et al, "Direct executon of LISP on a list-directed architecture", Proc. Symp. Architectural Support Programming Languages and Operating Systems, (March 1982) pp. 132–139.

    Google Scholar 

  147. Sansonnet J.P., "La Machine Lisp M3L", T.S.I — Technique et Science Informatique, vol. 3, no. 6, (June 1984) pp. 397–409.

    Google Scholar 

  148. Sansonnet J-P., et al, "A Real Time Oriented Machine for AI Aplications", Proc. IEEE Conf. on Computer Workstations, (November 1985).

    Google Scholar 

  149. Satyanarayanan M., in "Multi-processors: a comparative study" Englewood Clifs, NJ, Prentice-Hall, (1980).

    Google Scholar 

  150. Schonfinkel M., "Uber die bausteine der mathematischen logik", Math. Ann., vol. 92, (1924), p. 305.

    Google Scholar 

  151. Seitz C.L., "Concurrent VLSI Architectures", IEEE Trans. on Computers, vol. C-33, no. 12 (December 1984) pp. 1247–1265.

    Google Scholar 

  152. Seitz C.L., "The Cosmic Cube", Comm. ACM, vol. 28, no. 1 (Jan. 1985) pp. 22–33.

    Google Scholar 

  153. Shapiro E.Y., "Lecture notes on the Bagel: a Systolic Concurrent PROLOG Machine", Tech. Rep. TR-035, ICOT, Tokyo, (1983).

    Google Scholar 

  154. Shapiro E.Y., "Systolic Programming: A Paradigm of Parallel Processing", Proc. of Int. Conf. on Fifth Gen. Comp. Systems 84, Ohmsha, Tokyo, (Nov. 1984), pp. 45–470. Also Tech. Rep. TR CS84-21, Weizmann Institute, (August 1984).

    Google Scholar 

  155. Shapiro E.Y., "A Subset of Concurrent Prolog and its Interpreter", Tech. Rep. of ICOT, TR-003 (February 1983).

    Google Scholar 

  156. Shaw D.E., "Knowledge-based retrieval on a relational database machine", PhD Thesis. Stanford Computer Science Department, Report STAN-CS-80-823. (August 1980).

    Google Scholar 

  157. Shaw D.E., "Non-Von: A Parallel Machine Architecture for Knowledge Based Information Processing", Proc. 7th Int. Joint Conf. on Artificial Intelligence, (IJCAI-81), (August 1981), pp. 961–963

    Google Scholar 

  158. Shaw D.E., "The NON-VON Supercomputer", Tech. Rep. Dept. of Comp. Sc., Columbia Univ., New York, (August 1982).

    Google Scholar 

  159. Shaw D.E., "On the Range of Applicability of an Artificial Intelligence Machine", Artificial Intelligence Journal (accepted for publication).

    Google Scholar 

  160. Shibayama S., et al "Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor", New Generation Computing, vol. 2, No. 2 (1984).

    Google Scholar 

  161. Shibayama, K., et al "A Prolog Machine Based on Parallel Reduction Model", Proc. 28'th IPSJ Conf. (1984) (In Japanese).

    Google Scholar 

  162. Shimada, T., et al "A LISP Machine and Its Evaluation", Tech. Memo, WGARC of IPSJ, No, 74–7, (1974) (in Japanese).

    Google Scholar 

  163. Sleep M.R., "Applicative languages, dataflow and pure combinatory code", Proc. IEEE COMPCON 80 (Feb. 1980), IEEE, New York, pp. 112–115.

    Google Scholar 

  164. Sohma Y., et al "A New Parallel Inference Mechanism Based on Sequential Processing", Proc IFIP TC-10 Work. Conf. on Fifth Gen. Comp. Arch., UMIST Manchester, (July 1985).

    Google Scholar 

  165. Steele G. and Sussman G., "Design of a LISP-based microprocessor" Com. ACM, vol. 23, no. 11, (November 1980), pp. 628–645.

    Google Scholar 

  166. Stefi K M., et al, "Knowledge Programming in LOOPS", The AI Magazine, vol IV, no. 3, (Fall 1983), pp. 3–14.

    Google Scholar 

  167. Stolfo S.J. and Shaw D.E., "Specialized Hardware for Production Systems", Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (August 1981).

    Google Scholar 

  168. Stolfo S.J. and Shaw D.E., "DADO: A Tree-Structured Machine Architecture for Production Systems", Proc. Nat. Conf. on AI AAAI-82 (1982) pp. 242–246.

    Google Scholar 

  169. Stolfo S.J., et al, "Architecture and Applications of DADO; A Large-Scale Parallel Computer for Artificial Intelligence", Proc. 8th Int. Joint Conf. on Artificial Intelligence, (August 1983), pp. 850–854.

    Google Scholar 

  170. Stolfo S.J. and Miranker D.P., "DADO: A Parallel Processor for Expert Systems", Proc. of the 1984 Int. Conf. on Parallel Processing, (1984).

    Google Scholar 

  171. Stolfo S.J., "Five Parallel Algoriths for Production Systems Execution on The DADO machine", Proc. AAAI-84, (1984) pp. 300–307.

    Google Scholar 

  172. Stolfo S.J., "The DADO Parallel Computer" Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (1983).

    Google Scholar 

  173. Stoye W.R. et al, "Some Practical Methods for Rapid Combinator Reduction", Conf. Record 1984 ACM Symp. on LISP and Functional Programming (August 1984).

    Google Scholar 

  174. Sugimoto S., et al, "Concurrent LISP on a Multi-Micro-Processor System", Proc. 7th Int. Joint Conf. on Artificial Intelligence (IJACI-81), Canada, (August 1981), pp. 949–954.

    Google Scholar 

  175. Sussman, G.J., et al, "Scheme-79 — Lisp on a Chip", IEEE COMPUTER, vol. 14, no. 7 (July 1981) pp. 10–21.

    Google Scholar 

  176. Suzuki N. et al, "SWORD2: A Bytecode Emulating Microprocessor for Object-Oriented Languages", Proc. Int. Symp. on Fifth Generation Computer Systems 1984, (1984) pp. 389–396.

    Google Scholar 

  177. Symbolics Inc., "Reference Guide to Symbolics-Lisp", (1985).

    Google Scholar 

  178. Takeuchi I., et al, "TAO — A harmonic mean of LISP, PROLOG and SMALLTALK", ACM SIGPLAN Notices, vol. 18, no. 7 (July 1983).

    Google Scholar 

  179. Taki K., et al, "Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)", Proc. Int. Conf. FGCS '84 (1984) pp.

    Google Scholar 

  180. Tamura N. and Kaneda Y., "Implementing Parallel Prolog on a Multiprocessor Machine", Proc. 1984 Int. Symp. on Logic Programming, (February 1984).

    Google Scholar 

  181. Taylor R. and Wilson, P., "OCCAM Process-oriented language meets demands of distributed processing", ELECTRONICS (November 1982) pp. 89–95.

    Google Scholar 

  182. Tick E. and Warren D.H.D., "Towards a Pipelined Prolog-Processor", Proc. 1984 Int. Sym. on Logic Programming, (February 1984).

    Google Scholar 

  183. Toffoli T., "CAM: A High-Performance Cellular-Automaton Machine", Physica, vol. 10 (1984) pp. 195–204.

    Google Scholar 

  184. Tokoro M., et al, "An Object-Oriented Approach to Knowledge Systems", Proc. Int. Conf. on Fifth Generation Computer Systems, (1984).

    Google Scholar 

  185. Tokoro M. and Ishikawa Y., "Orient84/K: A Language with Multiple Paradigms in the Object Framework", Proc. Nineteenth Annual Hawaii Int. Conf. on System Science (1986).

    Google Scholar 

  186. Treleaven P.C. and Mole G.P., "A multi-processor reduction machine for user-defined reduction languages", Proc. 7th Int. Symp. on Computer Architecture (May 6–8), IEEE (1980), pp. 121–130.

    Google Scholar 

  187. Treleaven P.C. et al, "Data Driven and Demand Driven Computer Architecture", ACM Computing Surveys, vol. 14, no. 1 (March 1982) pp. 93–143.

    Google Scholar 

  188. Treleaven P.C. and Gouveia Lima I., "Future Computers: logic, data flow,..., control flow?", IEEE COMPUTER, vol. 17, no. 3 (March 1984) pp. 47–58.

    Google Scholar 

  189. Treleaven P.C. and Gouveia Lima I., "Japan's Fifth Generation Computer Systems", IEEE COMPUTER, vol. 15, no. 8 (August 1982) pp. 79–88.

    Google Scholar 

  190. Treleaven P.C., "VLSI processor architectures", IEEE COMPUTER, vol. 15, no. 6 (June 1982), pp. 33–45.

    Google Scholar 

  191. Turner D.A., "Another algorithm for bracket abstraction", Journal Symbol. Logic, vol.44, no.2, (June 1979), pp. 267–270.

    Google Scholar 

  192. Turner D.A., "A new implementation technique for applicative languages", Soft. Pract. Exper., vol. 9, no. 1, (Sep. 1979), pp. 31–49.

    Google Scholar 

  193. Turner D.A., "Miranda: a non-strict functional language with polymorphic types", in Springer Lecture Notes in Computer Science, vol 201.

    Google Scholar 

  194. Uchida S. et al, "Outline of a Personal Sequential Inference Machine: PSI", New Generation Computing, vol. 1, no. 1, (1983).

    Google Scholar 

  195. Uchida S., "Inference Machine: From Sequential to Parallel", Proc. of the 10th Annual International Symposium on Computer Architecture, Sweden, (June 1983)

    Google Scholar 

  196. Ueda K., "Guarded Horn Clauses", ICOT Technical Report TR-103 (June 1985).

    Google Scholar 

  197. Unger D. et al, "Architecture of SOAR: Smallltalk on a RISC", IEEE Trans. on Computers, vol. C-?, no.? (1984) pp. ?.

    Google Scholar 

  198. Usuki T. et al, "LISP Machine Implementation on a Multi-Microprocessor System", Tech. Memo, WGARC of IPSJ, vol. 33–4, (1979), (in Japanese).

    Google Scholar 

  199. Vegdahl S.R., "A Survey of Proposed Architectures for Execution of Functional Languages", IEEE Trans. Computers, vol. C-33, no. 12 (Dec. 1984) pp. 1050–1071.

    Google Scholar 

  200. Warren D.H.D., et al, "PROLOG — the language and its implementation compared with LISP", Proc. Symp. on AI and Programming Languages, SIGPLAN Notices, vol. 12, no. 8 (1977) pp. 109–115.

    Google Scholar 

  201. Warren D.H.D.: "IMPLEMENTING PROLOG — compiling predicate logic programs", Dept. of Artificial Intelligence, Univ. of Edinburgh, Research Report No. 39, (May 1977).

    Google Scholar 

  202. Warren D.H.D., "Logic Programming and Compiler Writing", Dept. of Artificial Intelligence, Univ. of Edinburgh, Research Report No. 44 (September 1977).

    Google Scholar 

  203. Warren D.H.D.: An Abstract Prolog Instruction Set, SRI Technical Note 309, October 1983.

    Google Scholar 

  204. Wholey S., and Fahlman S.E., "The Design of an Instruction Set for Common Lisp", Proc. ACM Conf. on LISP and Functional Programming (1984) pp. 150–157.

    Google Scholar 

  205. Williams R., "A multiprocessing system for the direct execution of LISP", Fourth workshop on computer architecture for non-numeric processing, (August 1978), SIGIR 13(2) SIGARCH 7(2), SIGMOD 19(1), pp. 35–41.

    Google Scholar 

  206. Wilner W.T., "Recursive Machines", Xerox Palo Alto Research Center, Internal Report (1980).

    Google Scholar 

  207. Winston P., and Horn B., "LISP", Addison-Wesley, Reading 1981.

    Google Scholar 

  208. Wu C-l. (ed.), "Special Issue Multiprocessing Technology", IEEE COMPUTER, vol. 18, no. 6 (June 1985).

    Google Scholar 

  209. Yamaguchi Y., et al, "A LISP Machine on the ACE System" EC Monograph, IECE of Japan, vol. J61-D, no. 8, (1978), pp. 517–524 (in Japanese).

    Google Scholar 

  210. Yamaguchi Y., et al, "A Performance evaluation of a LISP-based Data-Driven Machine (EM-3)", Proc. Tenth Int. Symp. on Computer Architecture (1983) pp. 163–169.

    Google Scholar 

  211. Yamamoto M., "A Survey of High-Level Language Machines in Japan", IEEE COMPUTER, vol. 14, no 7, (July 1981) pp. 68–78.

    Google Scholar 

  212. Yasuhara H., et al "ORBIT: A Parallel Computing Model of Prolog", New Generation Computing, vol. 2, no. 2 (1984).

    Google Scholar 

  213. Yasui T., et al, "Dynamic Behaviour of Parallel Processing with LISP Programs and System Configuration of the EVLIS Machine", Tech. Memo, WGSYM of IPSJ, vol. 10–4, (1979), (in Japanese).

    Google Scholar 

  214. Yokota M., et al, "The Design and Implementation of a Personal Sequential Inference Machine: PSI", New Generation Computing, vol. 1, no. 2 (1983).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University College London, UK

    Philip C. Treleaven & Apostolos N. Refenes

  2. Ferranti Computer Systems, Bracknell

    Kenneth J. Lees

  3. THORN-EMI Central Research Labs., Hayes

    Stephen C. McCabe

Authors
  1. Philip C. Treleaven
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Apostolos N. Refenes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kenneth J. Lees
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Stephen C. McCabe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Treleaven M. Vanneschi

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Treleaven, P.C., Refenes, A.N., Lees, K.J., McCabe, S.C. (1987). Computer architectures for artificial intelligence. In: Treleaven, P., Vanneschi, M. (eds) Future Parallel Computers. Lecture Notes in Computer Science, vol 272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18203-9_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-18203-9_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18203-0

  • Online ISBN: 978-3-540-47806-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics