Download open in new window

Boolean Satisfiability Problem
(SAT)
Group 6
Hasnain Yusuf(05020322)
Jasim Shiekh(05020305)
Fitness Function
• The Boolean Function itself ?
• Convert the Variables to Floating Point?
• F(x1; x2; . . .; xn)xk belongs to [0; 1] = f(x1;
x2; . . .; xn)xk belongs to {0;1}
Example Function
• f(x1; x2; x3) = x1 + x2x3
• F(x1; x2; x3) = x1s(x2tx3)
• if xk is less than 0.5, then convert xk to 0;
otherwise, convert xk to 1.
• at0 = 0; at1 = a; as0 = a; as1 = 1
Evolution
• Population generated randomly
• Random Numbers are mapped to
individuals in the population
• Funnel Effect (individuals with higher
fitness have higher priority)