1 June 1988 Optical Representations For Symbolic Logic
Author Affiliations +
Optical Engineering, 27(6), 276475 (1988). doi:10.1117/12.7976706
Abstract
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, W. Thomas Cathey, "Optical Representations For Symbolic Logic," Optical Engineering 27(6), 276475 (1 June 1988). http://dx.doi.org/10.1117/12.7976706
JOURNAL ARTICLE
7 PAGES


SHARE
KEYWORDS
Logic

Data storage

Artificial intelligence

Computing systems

Electro optical systems

Electro optics

Optical components

RELATED CONTENT


Back to Top