Optical implementations of mathematical resolution.

@article{Schmidt1987OpticalIO,
  title={Optical implementations of mathematical resolution.},
  author={Renate A. Schmidt and W. Thomas Cathey},
  journal={Applied optics},
  year={1987},
  volume={26 10},
  pages={1852-8}
}
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… CONTINUE READING