Hashim Habiballa: EQ Algebras Generation through Genetic Algorithms

Abstract
EQ algebras form a succesfull truth-value structure. Searching
these algebras requires enourmous load to human since the state-space is
superexponential with respect to its size. We present a promising method
for automated generation based on Genetic Algoritms. It enables to
generate interesting algebras without manual selection and evaluation of
required and optional properties. We present also software application
for this task - EQCreator.