@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} }

- Published 1987 in Applied optics
DOI:10.1364/AO.26.001852

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

### Presentations referencing similar topics