Design considerations for an optical symbolic processing architecture

We examine the key issues in designing an optical expert system architecture. Our conclusions, however, are extendable to architectures for supporting traditional symbolic processing. To determine the basic operations necessary for constructing an expert system, we examine the underlying symbolic processing languages and their associated computational models. We show that traditional symbolic processing in optics would require efficient means of representing and manipulating complex structured data. This requirement necessitates a location-based addressable memory in optics. Based on the analyses of the computational models, we conclude that the architecture most feasible for optical implementation is that for a combinator graph reduction computational model. We briefly outline a proposed fine-grained optical architecture for this computational model.

[1]  Arvind V. Kathail.  A multiple processor data flow machine that supports generalized procedures , 1981, ISCA '81.

[2]  A. Huang,et al.  Architectural considerations involved in the design of an optical digital computer , 1984, Proceedings of the IEEE.

[3]  H J Caulfield,et al.  Optical learning (inference) machines. , 1985, Applied optics.

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

[5]  Rodney A. Schmidt,et al.  Optical Representations For Symbolic Logic , 1988 .

[6]  Alan Huang.  Impact Of New Technological Advances And Architectural Insights On The Design Of Optical Computers , 1984, Photonics West - Lasers and Applications in Science and Engineering.

[7]  Karl-Heinz Brenner,et al.  Digital optical computing with symbolic substitution. , 1986 .

[8]  M. M. Downs,et al.  Optical considerations in the design of digital optical computers , 1988 .

[9]  K Wagner,et al.  Multilayer optical learning networks. , 1987, Applied optics.

[10]  Hongjun Lu,et al.  Very Large Parallel Data Flow , 1988 .

[11]  C Warde,et al.  Hybrid optical inference machines: architectural considerations. , 1986, Applied optics.

[12]  R A Athale,et al.  High accuracy computation with linear analog optical systems: a critical study. , 1986, Applied optics.

[13]  B S Wherrett,et al.  Cascadable digital optical logic circuit elements in the visible and infrared: demonstration of some first all-optical circuits. , 1986, Applied optics.

[14]  Ehud Shapiro,et al.  Systems programming in concurrent prolog , 1984, POPL.

[15]  Donald A. Waterman,et al.  A Guide to Expert Systems , 1986 .

[16]  B K Jenkins,et al.  Architectural implications of a digital optical processor. , 1984, Applied optics.

[17]  D Psaltis,et al.  Storage capacity of holographic associative memories. , 1986, Optics letters.

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

[19]  Steven Gregory.  Design, application and implementation of a parallel logic programming language , 1985 .

[20]  David Casasent,et al.  Knowledge In Optical Symbolic Pattern Recognition Processors , 1987 .

[21]  Aloke Guha,et al.  Architectural issues in designing symbolic processors in optics , 1987, ISCA '87.

[22]  H. J. Caulfield.  Optical inference machines , 1985 .

[23]  Alan Huang.  Optical digital computers , 1989, Proceedings of the 1989 ACM/IEEE Conference on Supercomputing (Supercomputing '89).

[24]  A D McAulay.  Real-time optical expert systems. , 1987, Applied optics.

[25]  Brian S. Wherrett,et al.  All-optical computation — A parallel integrator based upon a single gate full adder , 1985 .

[26]  A.A. Sawchuk,et al.  Digital optical computing , 1984, Proceedings of the IEEE.

[27]  H. Bartelt,et al.  Coordinate Transformations Via Multifacet Holographic Optical Elements , 1983 .

[28]  Alastair D. McAulay.  Optical Prolog Computer Using Symbolic Substitution. , 1988, Photonics West - Lasers and Applications in Science and Engineering.

[29]  John A. Neff.  Optics And Symbolic Computing , 1986, Other Conferences.

[30]  Rodney A. Schmidt,et al.  Optical Representations For Artificial Intelligence Problems , 1986, Photonics West - Lasers and Applications in Science and Engineering.