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 ArticleMore Like This
Hongmei Jing, Liren Liu, Cheng Wang, and Changhe Zhou
Appl. Opt. 38(26) 5605-5612 (1999)
Liren Liu
J. Opt. Soc. Am. A 12(12) 2636-2644 (1995)
Arthur D. Fisher, Wendy L. Lippincott, and John N. Lee
Appl. Opt. 26(23) 5039-5054 (1987)