• DocumentCode
    3222283
  • 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
  • fYear
    1997
  • fDate
    28-30 May 1997
  • Firstpage
    97
  • Lastpage
    102
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
  • Conference_Location
    Antigonish, NS
  • Print_ISBN
    0-8186-7910-7
  • Type

    conf

  • DOI
    10.1109/ISMVL.1997.601380
  • Filename
    601380