Survey on special purpose computer architectures for AI

In this survey, we will provide a short survey and classification on the current work in special purpose architectures to support AI applications. In spite of the growing importance of AI applications, work in the area of designing AI architectures are so diversified that articles were published in other areas besides Al, ranging from psychology, medicine, manufacturing, computer architecture, software engineering, and database management to industrial engineering, operations research, and the list grows. The literature search is also complicated by the fact that with the development of the Fifth-Generation Computer Systems, some work in this area is very recent and was published in many foreign countries. During our literature search to compile this survey, we systematically went through over sixty different journals published in various countries and proceedings from over fifty conferences in the last twenty years and over seventy books.

[1]  Gyula A. Magó,et al.  Making Parallel Computations Simple: The FFP Machine , 1985, COMPCON.

[2]  Ian W. Moor,et al.  An applicative compiler for a parallel machine , 1982, SIGPLAN '82.

[3]  Rubén González-Rubio,et al.  The schuss filter: A processor for non-numerical data processing. , 1984, ISCA '84.

[4]  Lubomir F. Bic,et al.  The Fifth Generation grail: A survey of related research , 1984, ACM '84.

[5]  W. Daniel Hillis,et al.  The connection machine: A computer architecture based on cellular automata , 1984 .

[6]  Gérard M. Baudet,et al.  Optimal Sorting Algorithms for Parallel Computers , 1978, IEEE Transactions on Computers.

[7]  H. T. Kung,et al.  Direct VLSI Implementation of Combinatorial Algorithms , 1979 .

[8]  Christian Percebois,et al.  M3L: A list-directed architecture , 1980, ISCA '80.

[9]  Reid G. Smith,et al.  The Contract Net: A Formalism for the Control of Distributed Problem Solving , 1977, IJCAI.

[10]  John ffitch,et al.  Symbolic computing with and without LISP , 1980, LISP Conference.

[11]  Leonard Uhr Parallel-serial production systems , 1979, IJCAI 1979.

[12]  Jack B. Dennis,et al.  Data Flow Supercomputers , 1980, Computer.

[13]  Leon E. Winslow,et al.  The Analysis and Design of Some New Sorting Machines , 1983, IEEE Transactions on Computers.

[14]  David H. D. Warren,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[15]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[16]  Norton Greenfeld Jericho: A professional's personal computer system , 1981, ISCA '81.

[17]  Arvind,et al.  A critique of multiprocessing von Neumann style , 1983, ISCA '83.

[18]  Ryuzo Hasegawa,et al.  Parallel Execution of Logic Programs based on Dataflow Concept , 1984, Fifth Generation Computer Systems.

[19]  Philip S. Abrams,et al.  An APL machine , 1970 .

[20]  Bruce G. Buchanan,et al.  Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.

[21]  Richard P. Hopkins,et al.  A recursive computer architecture for VLSI , 1982, ISCA 1982.

[22]  David Spector Minimal overhead garbage collection of complex list structure , 1982, SIGP.

[23]  Richard Fikes,et al.  QLISP: a language for the interactive development of complex systems , 1976, AFIPS '76.

[24]  Michael J. Carey,et al.  An Efficient Implementation of Search Trees on [lg N + 1] Processors , 1984, IEEE Transactions on Computers.

[25]  Ellis Horowitz,et al.  Divide-and-Conquer for Parallel Processing , 1983, IEEE Transactions on Computers.

[26]  Walter Fritz The inteligent system , 1984, SGAR.

[27]  Koichi Furukawa,et al.  Basic Software System , 1984, FGCS.

[28]  Hans Diel Concurrent Data Access Architecture , 1984, FGCS.

[29]  Daniel G. Bobrow,et al.  An efficient, incremental, automatic garbage collector , 1976, CACM.

[30]  Daniel Tabak,et al.  A Tree Structured Architecture for semantic gap reduction , 1983, CARN.

[31]  Alain Colmerauer Prolog in 10 figures , 1985, CACM.

[32]  Won Kim,et al.  A parallel pipelined relational query processor: An architectural overview , 1989, ISCA '84.

[33]  Linda Pagli,et al.  External Sorting in VLSI , 1984, IEEE Transactions on Computers.

[34]  J. Strother Moore The INTERLISP Virtual Machine Specification , 1976 .

[35]  Doug DeGroot,et al.  AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis , 1985, COMPCON.

[36]  Hiroshi G. Okuno,et al.  TAO: a harmonic mean of Lisp, Prolog and Smalltalk , 1983, SIGP.

[37]  David K. Hsiao Data Base Machines are Coming, Data Base Machines are Coming! , 1979, Computer.

[38]  Yuzuru Tanaka MPDC: Massive Parallel Architecture for Very Large databases , 1984, FGCS.

[39]  Lubomir F. Bic A Data-Driven Model for Parallel Interpretation of Logic Programs , 1984, FGCS.

[40]  Miller Guest Editor's Introduction The Future of Mass Storage Systems , 1985 .

[41]  Jacques Cohen,et al.  Non-Deterministic Algorithms , 1979, CSUR.

[42]  Daniel G. Bobrow,et al.  Compact Encodings of List Structure , 1979, TOPL.

[43]  Frederick Hayes-Roth,et al.  Programming in ROSIE: An Introduction by Means of Examples , 1982 .

[44]  John Gaschnig,et al.  MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .

[45]  G. Jason An Idea Whose Time Has Passed. , 1984 .

[46]  Jasmina Pavlin,et al.  Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach , 1983, AAAI.

[47]  Michael D. Rychener Control requirements for the design of production system architectures , 1977 .

[48]  Ehud Shapiro,et al.  A subset of Concurrent Prolog and its interpreter , 1988 .

[49]  H. T. Kung,et al.  A tree machine for searching problems , 1979 .

[50]  Geoffrey E. Hinton,et al.  A Learning Algorithm for Boltzmann Machines , 1985, Cogn. Sci..

[51]  Tetsuo Ida,et al.  Functional Programming with Streams , 1983, IFIP Congress.

[52]  J. P. Sansonnet,et al.  Function distribution in a list-directed architecture , 1982 .

[53]  Dimitri Bertsekas,et al.  Distributed dynamic programming , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[54]  Gio Wiederhold,et al.  Knowledge and Database Management , 1984, IEEE Software.

[55]  Seif Haridi,et al.  Execution of Bagof on the Or-Parallel Token Machine , 1984, FGCS.

[56]  Jun'ichi Tsujii,et al.  LISP Machine NK3 and Measurement of Its Performance , 1979, IJCAI.

[57]  Nelleke Aiello,et al.  AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.

[58]  David J. DeWitt,et al.  Database Machines: An Idea Whose Time Passed? A Critique of the Future of Database Machines , 1989, IWDM.

[59]  Amar Mukhopadhyay Hardware algorithms for nonnumeric computation , 1978, ISCA '78.

[60]  William James Van Melle,et al.  A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .

[61]  H. T. Kung,et al.  The Design of Special-Purpose VLSI Chips , 1980, Computer.

[62]  Jack Minker,et al.  Pi-Representation: A Clause Representation for Parallel Search , 1975, Artif. Intell..

[63]  Andrew Chi-Chih Yao Bounds on Selection Networks , 1974, SWAT.

[64]  Yasushi Hibino A practical parallel garbage collection algorithm and its implementation , 1980, ISCA '80.

[65]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[66]  Wil Plouffe,et al.  An asynchronous programming language and computing machine , 1978 .

[67]  W. D. Strecker Clustering VAX superminicomputers into large multiprocessor systems , 1983 .

[68]  Bruce G. Buchanan,et al.  Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..

[69]  Peter Borgwardt Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors , 1984, SLP.

[70]  Toshio Yokoi,et al.  Sequential Inference Machine: SIM its Programming and Operating System , 1984, FGCS.

[71]  Virginia P. Kobler Overview of tools for knowledge base construction , 1984, 1984 IEEE First International Conference on Data Engineering.

[72]  H. T. Kung Let's Design Algorithms for VLSI Systems , 1979 .

[73]  Akira Yamamoto,et al.  A Microprogrammed Interpreter for the Personal Sequential Inference Machine , 1984, FGCS.

[74]  J. C. Shaw,et al.  Programming the logic theory machine , 1899, IRE-AIEE-ACM '57 (Western).

[75]  Jacques Cohen,et al.  Garbage Collection of Linked Data Structures , 1981, CSUR.

[76]  Arnold L. Rosenberg,et al.  A Dictionary Machine (for VLSI) , 1982, IEEE Transactions on Computers.

[77]  Péter Szeredi,et al.  Prolog in Practice , 1983, IFIP Congress.

[78]  Haruo Yokota,et al.  A relational data base machine: First step to knowledge base machine , 1983, ISCA '83.

[79]  Yale N. Patt,et al.  Aquarius - A High Performance Computing System for Symbolic/Numeric Applications , 1985, COMPCON.

[80]  Stephen W. Miller Mass Storage Systems and Evolution of Data Center Architectures: Guest Editor's Introduction , 1982, Computer.

[81]  Charles L. Seitz,et al.  Concurrent VLSI Architectures , 1984, IEEE Transactions on Computers.

[82]  Alain Colmerauer,et al.  Last Steps Towards an Ultimate PROLOG , 1981, IJCAI.

[83]  James R. McGraw Data Flow Computing - Software Development , 1980, IEEE Trans. Computers.

[84]  D. Barstow An Experiment in Knowledge-Based Automatic Programming , 1986, Artif. Intell..

[85]  L. Peter Deutsch,et al.  Experience with a microprogrammed Interlisp system , 1978, MICRO 11.

[86]  William A. Kornfeld The Use of Parallelism to Implement a Heuristic Search , 1981, IJCAI.

[87]  Elliott I. Organick,et al.  µ3L: An HLL-RISC processor for parallel execution of FP-language programs , 1982, ISCA.

[88]  Benjamin W. Wah,et al.  A Partitioning Approach to the Design of Selection Networks , 1984, IEEE Trans. Computers.

[89]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[90]  Clyde P. Kruskal,et al.  Searching, Merging, and Sorting in Parallel Computation , 1983, IEEE Transactions on Computers.

[91]  Douglas R. Smith A Design for an Automatic Programming System , 1981, IJCAI.

[92]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[93]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[94]  Carl McCrosky,et al.  Nial: A candidate language for fifth generation computer systems , 1984, ACM '84.

[95]  Victor R. Lesser,et al.  The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network , 1983, IJCAI.

[96]  Brian V. Funt,et al.  WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina , 1977, IJCAI.

[97]  Thompson The VLSI Complexity of Sorting , 1983, IEEE Transactions on Computers.

[98]  Geoffrey E. Hinton,et al.  Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines , 1983, AAAI.

[99]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[100]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[101]  Harold Boley,et al.  AI Languages and AI Machines: An Overview , 1981, GWAI.

[102]  D. H. Schaefer,et al.  Beyond the supercomputer , 1982 .

[103]  Allen Newell,et al.  Initial Assessment of Architectures for Production Systems , 1984, AAAI.

[104]  David J. DeWitt,et al.  Performance Analysis of Alternative Database Machine Architectures , 1982, IEEE Transactions on Software Engineering.

[105]  Rikio Onai,et al.  Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine , 1984, FGCS.

[106]  Allan L. Fisher Dictionary machines with a small number of processors , 1984, ISCA '84.

[107]  Selim G. Akl,et al.  Design, Analysis, and Implementation of a Parallel Tree Search Algorithm , 1982, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[108]  Mark A. Franklin,et al.  One-dimensional optimization on multiprocessor systems , 1981, IEEE Transactions on Computers.

[109]  Sartaj Sahni,et al.  Binary Trees and Parallel Scheduling Algorithms , 1983, IEEE Trans. Computers.

[110]  Johannes J. Martin,et al.  An efficient garbage compaction algorithm , 1982, CACM.

[111]  Jeffrey Scott Vitter,et al.  New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P , 1986, IEEE Transactions on Computers.

[112]  Douglas B. Lenat Computer Software for Intelligent Systems. , 1984 .

[113]  Scott E. Fahlman Design Sketch for a Million-Element NETL Machine , 1980, AAAI.

[114]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[115]  Salvatore J. Stolfo,et al.  DADO: A Parallel Processor for Expert Systems , 1984 .

[116]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[117]  Jeffrey M. Barth Shifting garbage collection overhead to compile time , 1977, CACM.

[118]  Carl Hewitt,et al.  The Apiary network architecture for knowledgeable systems , 1980, LISP Conference.

[119]  M. Creeger LISP machines come out of the lab (minicomputers) , 1983 .

[120]  David A. Patterson,et al.  Architecture of SOAR: Smalltalk on a RISC , 1984, ISCA 1984.

[121]  E. A. Feigenbaum,et al.  The building blocks: Artificial intelligence, software engineering, computer architecture, and very large-scale integration will play major roles: Artificial intelligence , 1983, IEEE Spectrum.

[122]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[123]  Gerald J. Sussman,et al.  Design of a LISP-based microprocessor , 1980, CACM.

[124]  Sudhir Ahuja,et al.  An associative/parallel processor for partial match retrieval using superimposed codes , 1980, ISCA '80.

[125]  Lubomir F. Bic Execution of logic programs on a dataflow architecture , 1984, ISCA '84.

[126]  Mark Scott Johnson Some requirements for architectural support of software debugging , 1982, ASPLOS I.

[127]  David R. Smith,et al.  Simulation experiments of a tree organized multicomputer , 1979, ISCA '79.

[128]  Christoph M. Hoffmann,et al.  Pattern Matching in Trees , 1982, JACM.

[129]  M. H. van Emden,et al.  Towards a western Fifth-Generation Computer System project , 1984, ACM '84.

[130]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[131]  Ehud Shapiro Systolic Programming: A Paradigm of Parallel Processing , 1984, FGCS.

[132]  Frederick Hayes-Roth The Knowledge-Based Expert System: A Tutorial , 1984, Computer.

[133]  Benjamin W. Wah,et al.  Systematic approaches to the design of algorithmically specified systolic arrays , 1985, ICASSP '85. IEEE International Conference on Acoustics, Speech, and Signal Processing.

[134]  John P. McDermott,et al.  OPS, A Domain-Independent Production System Language , 1977, IJCAI.

[135]  Guy L. Steele,et al.  Multiprocessing compactifying garbage collection , 1975, CACM.

[136]  Tim King Expert systems with 68000 and lips , 1984, Microprocess. Microsystems.

[137]  William A. Kornfeld Combinatorially implosive algorithms , 1982, CACM.

[138]  Terry Winograd,et al.  Beyond programming languages , 1979, CACM.

[139]  Martin L. Griss,et al.  Current status of a portable LISP compiler , 1982, SIGPLAN '82.

[140]  David A. Moon,et al.  Architecture of the Symbolics 3600 , 1985, ISCA '85.

[141]  Kazunori Ueda,et al.  Efficient Stream/Array Processing in Logic Programming Languages , 1984, FGCS.

[142]  Mikhail J. Atallah,et al.  A Generalized Dictionary Machine for VLSI , 1985, IEEE Transactions on Computers.

[143]  Martin Bärtschi An Overview of Information Retrieval Subjects , 1985, Computer.

[144]  Sartaj Sahni,et al.  Anomalies in Parallel Branch-and-Bound Algorithms , 1984 .

[145]  Robert M. Keller,et al.  Rediflow Multiprocessing , 1984, COMPCON.

[146]  R. W. Doran Architecture of Stack Machines , 1975 .

[147]  Frederick Hayes-Roth,et al.  Knowledge-Based Expert Systems , 1984, Computer.

[148]  Brent D. Kornman Pattern matching and pattern-directed invocation in systems programming languages , 1983, J. Syst. Softw..

[149]  Hung-Chang Du Concurrent disk accessing for partial match retrieval , 1982, ICPP.

[150]  Jeffrey D. Ullman,et al.  Some Thoughts About Supercomputer Organization , 1984, IEEE Computer Society International Conference.

[151]  Stephen A. Cook,et al.  An overview of computational complexity , 1983, CACM.

[152]  Masahiro Yamamoto,et al.  A Survey of High-Level Language Machines in Japan , 1981, Computer.

[153]  Guo-Jie Li,et al.  The status of manip - a multicomputer architecture for solving, combinatorial extremum-search problems , 1984, ISCA 1984.

[154]  Michael J. Wise EPILOG = PROLOG + Data Flow: arguments for combining PROLOG with a data driven mechanism , 1982, SIGP.

[155]  Robert M. Keller,et al.  Simulated Performance of a Reduction-Based Multiprocessor , 1984, Computer.

[156]  Prakash Panangaden,et al.  Stream-Based Execution of Logic Programming , 1984, SLP.

[157]  Frans J. Peters,et al.  Tree machines and divide-and-conquer algorithms , 1981, CONPAR.

[158]  Dennis F. Kibler,et al.  Parallel interpretation of logic programs , 1981, FPCA '81.

[159]  Shinichi Shimizu,et al.  Evaluation of the Dedicated Hardware in FACOM Alpha , 1985, COMPCON.

[160]  Harold S. Stone Introduction to Computer Architecture , 1980 .

[161]  Robert J. Douglass,et al.  Special Feature A Qualitative Assessment of Parallelism in Expert Systems , 1985, IEEE Software.

[162]  Luís Moniz Pereira,et al.  Delta-Prolog: A Distributed Logic Programming Language , 1984, FGCS.

[163]  Dana S. Nau,et al.  Expert computer systems , 1983, Computer.

[164]  Philip C. Treleaven,et al.  Future Computers: Logic, Data Flow, ..., Control Flow? , 1984, Computer.

[165]  Carl H. Smith,et al.  The power of parallelism for automatic program synthesis , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[166]  Gevarter,et al.  Overview of Expert Systems , 1982 .

[167]  Jean-Loup Baer,et al.  Binary Search in a Multiprocessing Environment , 1983, IEEE Transactions on Computers.

[168]  Harold Boley,et al.  A preliminary survey of artificial intelligence machines , 1980, SGAR.

[169]  H. T. Kung,et al.  Sorting on a mesh-connected parallel computer , 1977, CACM.

[170]  John McCarthy,et al.  History of LISP , 1978, SIGP.

[171]  Makoto Amamiya,et al.  A list-processing-oriented data flow machine architecture , 1899 .

[172]  Lawrence Snyder,et al.  Omni-sort: A Versatile Data Processing Operation for VLSI , 1983, ICPP.

[173]  Benjamin W. Wah,et al.  Multiprocessing of Combinatorial Search Problems , 1985, Computer.

[174]  Scott E. Fahlman Computing Facilities for AI: A Survey of Present and Near-Future Options , 1980, AI Mag..

[175]  Kai Hwang,et al.  Computer architecture and parallel processing , 1984, McGraw-Hill Series in computer organization and architecture.

[176]  Jun-ichi Aoe,et al.  A Method for Improving String Pattern Matching Machines , 1984, IEEE Transactions on Software Engineering.

[177]  Robert M. Keller,et al.  A loosely-coupled applicative multi-processing system* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[178]  Rikio Onai,et al.  Research on Parallel Machine Architecture for Fifth-Generation Computer Systems , 1985, Computer.

[179]  Andrew S. Cromarty What Are Current Expert System Tools Missing? , 1985, COMPCON.

[180]  Udi Manber,et al.  DIB—a distributed implementation of backtracking , 1987, TOPL.

[181]  John Darlington,et al.  The Unification of Functional and Logic Languages , 1986, Logic Programming: Functions, Relations, and Equations.

[182]  E. Rich,et al.  The Gradual Expansion of Artificial Intelligence , 1984, Computer.

[183]  Victor R. Lesser,et al.  The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks , 1983, AI Mag..

[184]  Tom Khabaza Negation as Failure and Parallelism , 1984, SLP.

[185]  Toshiharu Sugawara,et al.  Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics , 1984, FGCS.

[186]  Graham R. Nudd,et al.  A Cellular VLSI Architecture , 1984, Computer.

[187]  John P. Fishburn,et al.  Parallelism in Alpha-Beta Search , 1982, Artif. Intell..

[188]  Alberto Negro,et al.  Systolic Algorithms for String Manipulations , 1984, IEEE Transactions on Computers.

[189]  George G. Coghill,et al.  Pleiades: a multimicroprocessor interactive knowledge base , 1979, Microprocess. Microsystems.

[190]  M. Model,et al.  Multiprocessing via intercommunicating LISP systems , 1980, LISP Conference.

[191]  Christian Percebois,et al.  Direct execution of lisp on a list_directed architecture , 1982, ASPLOS I.

[192]  Michael J. Flynn,et al.  Directions and Issues in Architecture and Language , 1980, Computer.

[193]  Tsutomu Maruyama,et al.  The Architecture of a Parallel Inference Engine - PIE , 1984, Fifth Generation Computer Systems.

[194]  Franco P. Preparata,et al.  New Parallel-Sorting Schemes , 1978, IEEE Transactions on Computers.

[195]  Philip M. Neches,et al.  The Genesis of a Database Computer , 1984, Computer.

[196]  Shigeo Sugimoto,et al.  Concurrent LISP and Its Interpreter , 1982 .

[197]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[198]  Steven R. Vegdahl,et al.  A Survey of Proposed Architectures for the Execution of Functional Languages , 1984, IEEE Transactions on Computers.

[199]  S. L. Graham,et al.  List Processing in Real Time on a Serial Computer , 1978 .

[200]  Salvatore J. Stolfo Five Parallel Algorithms for Production System Execution on the DADO Machine , 1984, AAAI.

[201]  Charles E. Leiserson Systolic Priority Queues , 1979 .

[202]  Daniel G. Bobrow,et al.  New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[203]  Michael F. Deering Architectures for AI: hardware and software for efficient processing , 1985 .

[204]  Toshiaki Kurokawa LISP Activities in Japan , 1979, IJCAI.

[205]  David J. DeWitt,et al.  A taxonomy of parallel sorting , 1984, CSUR.

[206]  Yaohan Chu Direct-execution computer architecture , 1976, SIGM.

[207]  Karl Goser,et al.  Intelligent memories in VLSI , 1984, Inf. Sci..

[208]  Gerald Jay Sussman,et al.  Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode , 1979 .

[209]  Hanan Samet,et al.  Code Optimization Considerations in List Processing Systems , 1982, IEEE Transactions on Software Engineering.

[210]  유관종,et al.  Supercomputing , 2018, Communications in Computer and Information Science.

[211]  Drew McDermott,et al.  From PLANNER to CONNIVER: a genetic approach , 1972, AFIPS '72 (Fall, part II).

[212]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[213]  A. Davis A data flow evaluation system based on the concept of recursive locality* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[214]  Keith L. Clark,et al.  Notes on System Programming in Parlog , 1984, FGCS.

[215]  Erik Sandewall,et al.  Programming in an Interactive Environment: the ``Lisp'' Experience , 1978, CSUR.

[216]  William A. Kornfeld ETHER - A Parallel Problem Solving System , 1979, IJCAI.

[217]  Wing H. Huen,et al.  Distributed Enumeration on Between Computers , 1980, IEEE Transactions on Computers.

[218]  Toshitsugu Yuba,et al.  EM-3: A Lisp-Based Data-Driven Machine , 1984, FGCS.

[219]  Ian A. Newman,et al.  Alternative approaches to multiprocessor garbage collection , 1982, ICPP.

[220]  Klaus J. Berkling Reduction languages for reduction machines , 1974, ISCA '75.

[221]  Randall Davis,et al.  Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..

[222]  Philip C. Treleaven,et al.  A multi-processor reduction machine for user-defined reduction languages. , 1980, ISCA '80.

[223]  Toshio Yokoi,et al.  Sequential Inference Machine: SIM Progress Report , 1984, FGCS.

[224]  E. J. Lerner Software II: Automating programming: Researchers are beginning to shift the growing burden of programming to the computer itself , 1982, IEEE Spectrum.

[225]  Chuck Rieger,et al.  ZMOB: a new computing engine for AI , 1981, IJCAI 1981.

[226]  J. Backus Software I: Function-level computing: A new programming method, linked to radically different architectures, may greatly simplify software development , 1982, IEEE Spectrum.

[227]  Edward Babb Functional requirements for very large knowledge bases , 1984, ACM '84.

[228]  Henry G. Baker,et al.  Shallow binding in Lisp 1.5 , 1978, CACM.

[229]  David A. Patterson,et al.  Architecture of SOAR: Smalltalk on a RISC , 1984, ISCA '84.

[230]  L. Peter Deutsch,et al.  ByteLisp and its Alto implementation , 1980, LISP Conference.

[231]  Alexis Koster Compiling prolog programs for parallel execution on a cellular machine , 1984, ACM '84.

[232]  Vinod K. Agarwal,et al.  An efficient VLSI dictionary machine , 1984, ISCA '84.

[233]  Koichi Kubota,et al.  Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages , 1984, FGCS.

[234]  Alan P. Sprague,et al.  Performance of parallel branch-and-bound algorithms , 1985, IEEE Transactions on Computers.

[235]  King-Sun Fu,et al.  Knowledge representation and inference control of SPERIL-II , 1984, ACM '84.

[236]  Hartmut Schmeck,et al.  Dictionary Machines for Different Models of VLSI , 1985, IEEE Transactions on Computers.

[237]  Tohru Moto-Oka,et al.  Overview to the Fifth Generation Computer System project , 1983, ISCA '83.

[238]  Toshitsugu Yuba,et al.  A performance evaluation of a Lisp-based data-driven machine (EM-3) , 1983, ISCA '83.

[239]  Dan I. Moldovan An associative array architecture intended for semantic network processing , 1984, ACM '84.

[240]  David R. Barstow,et al.  A Perspective on Automatic Programming , 1984, AI Mag..

[241]  Akira Hattori,et al.  ALPHA-a high-performance LISP machine equipped with a new stack structure and garbage collection system , 1983, ISCA '83.

[242]  Carl Hewitt,et al.  The incremental garbage collection of processes , 1977, Artificial Intelligence and Programming Languages.

[243]  Patrick A. V. Hall,et al.  Approximate String Matching , 1994, Encyclopedia of Algorithms.

[244]  K.G. Wilson,et al.  Science, industry, and the new Japanese challenge , 1984, Proceedings of the IEEE.

[245]  Benjamin W. Wah,et al.  The status of manip - a multicomputer architecture for solving, combinatorial extremum-search problems , 1984, ISCA '84.

[246]  David Elliot Shaw Knowledge-based retrieval on a relational database machine , 1980 .

[247]  Randall Davis Report on the Second Workshop on Distributed AI , 1982 .

[248]  Koichiro Tamura,et al.  A parallel execution model of logic programs , 1983, ISCA '83.

[249]  Leslie Lamport,et al.  On-the-fly garbage collection: an exercise in cooperation , 1975, Language Hierarchies and Interfaces.

[250]  Jean-Loup Baer,et al.  Computer systems architecture , 1980 .

[251]  David A. Moon,et al.  Flavors: Message Passing in the Lisp Machine. , 1980 .

[252]  Kei Hiraki,et al.  FLATS, a machine for numerical, symbolic and associative computing , 1979, ISCA '79.

[253]  Rhon Williams A multiprocessing system for the direct execution of LISP , 1978, CARN.

[254]  Russell Greiner,et al.  A Representation Language Language , 1980, AAAI.

[255]  Robert Wilensky,et al.  PEARL - A Package for Efficient Access to Representations in LISP , 1981, IJCAI.

[256]  Stephen Fickas,et al.  The Design and an Example Use of Hearsay-III , 1981, IJCAI.

[257]  David A. Carlson Parallel Processing of Tree-like Computations , 1984, ICDCS.

[258]  W. Dilger,et al.  An Associative Processor for Theorem Proving , 1983 .

[259]  Hiroshi Nakashima,et al.  Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI) , 1984, Fifth Generation Computer Systems.

[260]  S. L. Tanimoto BOOLEAN MATCHING OPERATOR FOR HIERARCHICAL CELLULAR LOGIC. , 1983 .

[261]  Larry Masinter,et al.  The Interlisp Programming Environment , 1981, Computer.

[262]  Benjamin W. Wah,et al.  A Partitioning Approach to the Design of Selection Networks , 1984, IEEE Transactions on Computers.

[263]  T. Moto-oka,et al.  CHALLENGE FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS (Preliminary Report on Fifth Generation Computer Systems) , 1982 .

[264]  Hitoshi Ogawa,et al.  The Theorem Prover Using a Parallel Processing System , 1979, IJCAI.

[265]  Guy L. Steele,et al.  An overview of COMMON LISP , 1982, LFP '82.

[266]  Anoop Gupta Implementing OPS5 production systems on DADO , 1984 .

[267]  Douglas B. Lenat,et al.  Less Than General Production System Architectures , 1977, IJCAI.

[268]  Kazukiyo Kawanobe Current Status and Future Plans of the Fifth Generation Computer Systems Project , 1984, FGCS.

[269]  Charles Kellogg Intelligent Assistants for Knowledge and Information Resources Management , 1983, IJCAI.

[270]  Randall Davis,et al.  Report on the Workshop on Distributed AI , 1980 .

[271]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[272]  Norihisa Suzuki Concurrent Prolog as an Efficient VLSI Design Language , 1985, Computer.

[273]  Werner E. Kluge Cooperating Reduction Machines , 1983, IEEE Transactions on Computers.

[274]  Gerald Jay Sussman,et al.  Scheme-79 - Lisp on a Chip , 1981, Computer.

[275]  Shigeo Sugimoto,et al.  Concurrent LISP on a Multi-Micro-Processor System , 1981, IJCAI.

[276]  H. T. Kung,et al.  An efficient parallel garbage collection system and ITS correctness proof , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[277]  Martin L. Griss,et al.  MBALM/1700: A microprogrammed LISP machine for the Burroughs B1726 , 1977, MICRO 10.

[278]  John Darlington,et al.  ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages , 1981, FPCA '81.

[279]  Robert Fenichel,et al.  A LISP garbage-collector for virtual-memory computer systems , 1969, CACM.

[280]  Benjamin W. Wah,et al.  MANIP—A Multicomputer Architecture for Solving Combinatonal Extremum-Search Problems , 1984, IEEE Transactions on Computers.

[281]  Al Davis,et al.  The FAIM-1 Symbolic Multiprocessing System , 1985, COMPCON.

[282]  R. Larson,et al.  Dynamic programming and parallel computers , 1973 .

[283]  Casimir A. Kulikowski,et al.  EXPERT: A System for Developing Consultation Models , 1979, IJCAI.

[284]  T. Manuel LISP and PROLOG machines are proliferating , 1983 .

[285]  Simon Kasif,et al.  Logic Programming on ZMOB: A Highly Parallel Machine , 1982, International Conference on Parallel Processing.

[286]  Stuart C. Shapiro,et al.  MULTI - a LISP based multiprocessing system , 1980, LISP Conference.

[287]  Robert M. Keller,et al.  Data Flow Program Graphs , 1982, Computer.

[288]  Benjamin W. Wah,et al.  MANIP-2 : A Multicomputer Architecture for Evaluating Logic Programs , 1985, ICPP.

[289]  Philip C. Treleaven,et al.  The new generation of computer architecture , 1983, ISCA '83.

[290]  Mark Weiser,et al.  Status and Performance of the Zmob Parallel Processing System , 1985, COMPCON.

[291]  Pc Treleaven,et al.  5TH GENERATION COMPUTERS , 1982 .

[292]  Benjamin W. Wah,et al.  Coping with Anomalies in Parallel Branch-and-Bound Algorithms , 1986, IEEE Transactions on Computers.

[293]  Quentin F. Stout Sorting, Merging, Selecting, and Filtering on Tree and Pyramid Machines , 1983, ICPP.

[294]  BRUCE W. WEIDE,et al.  Modeling Unusual Behavior of Parallel Algorithms , 1982, IEEE Transactions on Computers.

[295]  E. I. Organick,et al.  µ3L: An HLL-RISC processor for parallel execution of FP-language programs , 1982, ISCA 1982.

[296]  Harvey A. Freeman Back-End Storage Networks , 1980, Computer.

[297]  Glenford J. Myers Advances in computer architecture , 1978 .

[298]  Masahiko Sato,et al.  Qute: A Prolog/Lisp Type Language for Logic Programming , 1983, IJCAI.

[299]  Mario Tokoro,et al.  The design of an object oriented architecture , 1984, ISCA '84.

[300]  Salvatore J. Stolfo,et al.  DADO: A Tree-Structured Machine Architecture for Production Systems , 1982, AAAI.

[301]  John T. O'Donnell A systolic associative lisp computer architecture with incremental parallel storage management , 1981 .

[302]  Doug DeGroot,et al.  Restricted AND-Parallelism , 1984, FGCS.

[303]  Daniel P. Friedman,et al.  Aspects of Applicative Programming for Parallel Processing , 1978, IEEE Transactions on Computers.

[304]  Henry Lieberman,et al.  A real-time garbage collector based on the lifetimes of objects , 1983, CACM.

[305]  Daniel P. Siewiorek,et al.  A survey of highly parallel computing , 1982, Computer.

[306]  Neil R. Lincoln Technology and Design Tradeoffs in the Creation of a Modern Supercomputer , 1982, IEEE Transactions on Computers.

[307]  Philip C. Treleaven,et al.  VLSI Processor Architectures , 1982, Computer.

[308]  J. W. Backus,et al.  Can programming be liberated from the von Neumann style , 1977 .

[309]  Simon Kasif,et al.  PRISM - A Parallel Inference System for Problem Solving , 1983, Logic Programming Workshop.

[310]  Ware Myers Lisp Machines Displayed at AI Conference , 1982, Computer.

[311]  Fumio Mizoguchi,et al.  LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework , 1984, FGCS.

[312]  D. H. Schaefer,et al.  Computers: Beyond the supercomputer: NASA is developing ultrafast machines to process satellite data that would choke a mere supercomputer , 1982, IEEE Spectrum.

[313]  Daniel G. Bobrow,et al.  Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..

[314]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[315]  Harold S. Stone,et al.  Fifth-Generation Computer Systems: A Japanese Project , 1984, Computer.

[316]  Edward Babb,et al.  Joined normal form: a storage encoding for relational databasess , 1982, TODS.

[317]  Hiroshi Sakai,et al.  Design and Implementation of the Relational Datbase Engine , 1984, FGCS.

[318]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[319]  D. A. Turner,et al.  A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[320]  Rod M. Burstall,et al.  Programming with Modules as Typed Functional Programming , 1984, FGCS.

[321]  Richard D. Greenblatt,et al.  A LISP machine , 1974, CAW '80.

[322]  C Wolf,et al.  Power tools for programmers: 12 editors for the IBM PC , 1986 .

[323]  Mario Tokoro,et al.  An Object-Oriented Approach to Knowledge Systems , 1984, FGCS.

[324]  Rod M. Burstall,et al.  HOPE: An experimental applicative language , 1980, LISP Conference.

[325]  I. N. Parker VLSI architecture , 1986 .

[326]  Shigeo Sugimoto,et al.  A Multi-Microprocessor System for Concurrent LISP , 1983, ICPP.

[327]  Jesfis Peral,et al.  Heuristics -- intelligent search strategies for computer problem solving , 1984 .

[328]  Daniel G. Bobrow,et al.  If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms , 1985, IEEE Transactions on Software Engineering.

[329]  A. C. Norman,et al.  SKIM - The S, K, I reduction machine , 1980, LISP Conference.

[330]  Shunichi Uchida,et al.  Inference machine: From sequential to parallel , 1983, ISCA '83.

[331]  Richard J. Fateman Is a LISP machine different from a fortran machine? , 1978, SIGS.

[332]  Glen G. Langdon Database Machines: An Introduction , 1979, IEEE Trans. Computers.

[333]  Jeffrey Scott Vitter,et al.  Parallel algorithms for unification and other complete problems in p , 1984, ACM '84.

[334]  Kemal Oflazer,et al.  Partitioning in parallel processing of production systems , 1987 .

[335]  Charles Kellogg,et al.  Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology , 1982, AAAI.

[336]  E. von Puttkamer A microprogrammed Lisp machine , 1983 .

[337]  Seiichi Nakagawa,et al.  A Parallel Tree Search Method , 1979, IJCAI.

[338]  Gyula A. Magó A network of microprocessors to execute reduction languages, part II , 1979, International Journal of Computer & Information Sciences.

[339]  D. J Collington Functional programming: Application and implementation: Peter Henderson Prentice-Hall International, 1980, £13.95 , 1981 .

[340]  Yukio Kaneda,et al.  The Experimental LISP Machine , 1979, IJCAI.

[341]  F. Warren Burton,et al.  Towards a Zero Assignment Parallel Processor , 1981, ICDCS.

[342]  Douglas B. Lenat,et al.  Why AM and EURISKO Appear to Work , 1984, Artif. Intell..

[343]  Alain Colmerauer,et al.  Prolog en 10 figures , 1983, SPLT.

[344]  T. Anthony Marsland,et al.  Parallel Search of Strongly Ordered Game Trees , 1982, CSUR.

[345]  Edward A. Feustel,et al.  On The Advantages of Tagged Architecture , 1973, IEEE Transactions on Computers.

[346]  Michael F. Doming Hardware and Software Architectures for Efficient AI , 1984 .

[347]  Philip M. Neches,et al.  Hardware Support for Advanced Data Management Systems , 1984, Computer.

[348]  Ferdinand Hommes,et al.  The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine , 1982, ISCA '82.

[349]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..