Title :
A multiple valued cover-most algorithm based on the extended Allen-Givone algebra system
Author :
Wang, ZhiHai ; Zhang, Diancheng ; Ma, Guangsheng
Author_Institution :
Artificial Intelligence Application Inst., Hefei Univ. of Technol., China
Abstract :
On the basis of discussing extended Allen-Givone implementation oriented algebra, this paper selects a suitable data structure, presents the definition of generalized OR-combined operation of multi-valued logic (MVL) and uses it for solving an EPI set rapidly. In order to speed up the process for solving a cover, the grouping subsume simplification of two-valued sharp product is extended onto position cubical arrays of MVL. By the Δ operator, the implementation cost is further lowered after forming a cover. The algorithm is an extension of the two-valued cover-most algorithm proposed by M.C. Waters
Keywords :
algebra; algorithm theory; data structures; multivalued logic; Δ operator; EPI set solution; data structure; extended Allen-Givone algebra system; generalized OR-combined operation; grouping subsume simplification; multi-valued logic; multiple valued cover-most algorithm; position cubical arrays; two-valued sharp product; Algebra; Artificial intelligence; Cost function; Data structures; Heuristic algorithms; Logic design; Logic devices; Logic functions; Minimization methods; Testing;
Conference_Titel :
Industrial Electronics, Control, and Instrumentation, 1996., Proceedings of the 1996 IEEE IECON 22nd International Conference on
Conference_Location :
Taipei
Print_ISBN :
0-7803-2775-6
DOI :
10.1109/IECON.1996.570593
