1 June 1988 Optical Representations For Symbolic Logic
Author Affiliations +
Artificial intelligence problems are solved on electronic computers by techniques that make heavy use of address calculation and dynamic management of data storage space. Optical computing, on the other hand, is normally associated with numerical problems in which the size of the data space is fixed and addressing may be handled in a predictable manner not affected by actual data values. In this paper we categorize expert system problems by the amount of dynamic storage management required and discuss several methods for eliminating unnecessary address manipulation by careful choice of data representation. Major emphasis is placed on the implementation of the mathematical technique of resolution. Various resolution strategies are analyzed, and the effect of these strategies on storage management is assessed with a view to minimizing the complexity of processing. Finally, electro-optical implementations are considered for the major functional elements of an optical resolution system.
Rodney A. Schmidt, Rodney A. Schmidt, W. Thomas Cathey, W. Thomas Cathey, } "Optical Representations For Symbolic Logic," Optical Engineering 27(6), 276475 (1 June 1988). https://doi.org/10.1117/12.7976706 . Submission:


Electro-Optical System Environment Simulation
Proceedings of SPIE (October 03 1979)
Coder/decoder with an optical programmable logic cell
Proceedings of SPIE (November 14 2002)
Reprogrammable digital optical coprocessor
Proceedings of SPIE (August 23 1992)

Back to Top