Expand this Topic clickable element to expand a topic
Skip to content
Optica Publishing Group

Optical implementations of mathematical resolution

Not Accessible

Your library or personal account may give you access

Abstract

Mathematical resolution is an algorithmic technique for reasoning from facts expressed in clause form to a conclusion. The technique is normally implemented on electronic computers with list-processing languages. This paper presents data representation and processing techniques for a parallel implementation using array-based optical logic. Implementations up through the quantified propositional calculus are presented, and the operations of resolvent formation, unification, and search are discussed. It is shown that a largely parallel formulation of resolution is possible, and optical technologies are suggested to implement this formulation.

© 1987 Optical Society of America

Full Article  |  PDF Article
More Like This
Logic-operated mathematical morphology and its optical implementation

Hongmei Jing, Liren Liu, Cheng Wang, and Changhe Zhou
Appl. Opt. 38(26) 5605-5612 (1999)

Fuzzy solid sets for mathematical morphology and optical implementation

Liren Liu
J. Opt. Soc. Am. A 12(12) 2636-2644 (1995)

Optical implementations of associative networks with versatile adaptive learning capabilities

Arthur D. Fisher, Wendy L. Lippincott, and John N. Lee
Appl. Opt. 26(23) 5039-5054 (1987)

Cited By

You do not have subscription access to this journal. Cited by links are available to subscribers only. You may subscribe either as an Optica member, or as an authorized user of your institution.

Contact your librarian or system administrator
or
Login to access Optica Member Subscription

Figures (9)

You do not have subscription access to this journal. Figure files are available to subscribers only. You may subscribe either as an Optica member, or as an authorized user of your institution.

Contact your librarian or system administrator
or
Login to access Optica Member Subscription

Equations (7)

You do not have subscription access to this journal. Equations are available to subscribers only. You may subscribe either as an Optica member, or as an authorized user of your institution.

Contact your librarian or system administrator
or
Login to access Optica Member Subscription

Select as filters


Select Topics Cancel
© Copyright 2024 | Optica Publishing Group. All Rights Reserved