Optical Representations For Symbolic Logic

Rodney A. Schmidt; W. Thomas Cathey

doi:10.1117/12.7976706

1 June 1988 Optical Representations For Symbolic Logic

Rodney A. Schmidt, W. Thomas Cathey

Author Affiliations +

Optical Engineering, Vol. 27, Issue 6, 276475 (June 1988). https://doi.org/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.

Citation Download Citation

Rodney A. Schmidt and W. Thomas Cathey "Optical Representations For Symbolic Logic," Optical Engineering 27(6), 276475 (1 June 1988). https://doi.org/10.1117/12.7976706

Published: 1 June 1988

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available