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

Volume

3

fYear

1996

fDate

5-10 Aug 1996

Firstpage

1429

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/IECON.1996.570593

Filename

570593