Information processing with associative processors
Associative processors keep their data in content addressable memories (CAMs) accessing them by content, not address. Our interest concentrates on how associative processors can be used for inference processes.
We have developed the model of an associative processor based on the Deduction Plan theorem proving method. Our approach also includes a unification algorithm which provides information about all causes of unification conflicts (if any) and allows simple backtracking of the unification graph.
Unable to display preview. Download preview PDF.
- C.-L. Chang, R. C.-T. Lee: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York 1973Google Scholar
- W. Dilger, A. Janson: Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. Proc. GWAI-83, Informatik-Fachberichte 76, Springer Verlag Berlin 1983, 189–196.Google Scholar
- S. Matwin, T. Pietrzykowski: Intelligent Backtracking in Plan-Based Deduction. IEEE Trans. on Pattern Analysis and Machine Intelligence, vol. PAMI-7 (1985), 682–692.Google Scholar
- B. Parhami: Associative Memories and Processors. An Overview and Selected Bibliography. Proc. IEEE 61 (1973), 722–730.Google Scholar