Title :
A universal logic machine
Author :
Perkowski, Marek A.
Author_Institution :
Dept. of Electr. Eng., Portland State Univ., OR, USA
Abstract :
After a brief review of the history of logic machines, a description is given of the Cube Calculus Machine (CCM2). This machine is based on an architecture in which the data path has been designed to execute operations to cube calculus, an algebraic model popularly used to process and minimize Boolean functions. CCM2 realizes efficiently all cube calculus operations such as sharp and consensus. The positional cube representation used by CCM2 can also represent multivalued-input, binary-output cube calculus (MVCC) operands. CCM2 can also work with generalized MVCC, which was developed as an extension of MVCC. This extension allows the machine to operate on set logic, associative tuples, several multivalued input multivalued output logics, multioutput relations, and symbolic relations
Keywords :
Boolean functions; many-valued logics; minimisation of switching nets; Boolean functions; CCM2; Cube Calculus Machine; MVCC; algebraic model; associative tuples; binary-output cube calculus; consensus; data path; multioutput relations; multivalued input multivalued output logics; multivalued-input; set logic; sharp; symbolic relations; universal logic machine; Application software; Artificial intelligence; Calculus; Computational modeling; Computer architecture; Degradation; Digital arithmetic; Hardware; Image processing; Logic programming;
Conference_Titel :
Multiple-Valued Logic, 1992. Proceedings., Twenty-Second International Symposium on
Conference_Location :
Sendai
Print_ISBN :
0-8186-2680-1
DOI :
10.1109/ISMVL.1992.186805
