Title :
Multiple-valued logic minimization by genetic algorithms
Author :
Hata, Yutaka ; Hayase, Kiyoshi ; Hozumi, Takahiro ; Kamiura, Naotake ; Yamato, Kazuharu
Author_Institution :
Dept. of Comput. Eng., Himeji Inst. of Technol., Himeji, Japan
Abstract :
This paper describes an approach to minimize multiple-valued logic expressions by genetic algorithms. We encode a multiple-valued logic expression as a “chromosome” whose length allows to change and corresponds to the number of implicants of the expression. Our fitness function evaluates the following three items. 1. How may outputs does the logic expression represent correctly? 2. How many implicants does the logic expression require? 3. How many connections does the logic expression require? Our method employs the fitness function and minimizes sum-of-products expressions, where sum refers to TSUM or MAX and product refers to MIN of set literals or window literals. The simulation results show that our method derives good results for some arithmetic functions and intends to avoid the local minimal solution, compared to neural-computing-based method
Keywords :
genetic algorithms; minimisation of switching nets; multivalued logic; MAX; TSUM; arithmetic functions; chromosome; encoding; fitness function; genetic algorithms; local minimal solution; logic expression; multiple-valued logic minimization; neural-computing-based method; simulation results; sum-of-products expressions; Arithmetic; Biological cells; Computational modeling; Genetic algorithms; Genetic engineering; Logic functions; Machine learning algorithms; Minimization methods; Programmable logic arrays; Simulated annealing;
Conference_Titel :
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location :
Antigonish, NS
Print_ISBN :
0-8186-7910-7
DOI :
10.1109/ISMVL.1997.601380