As the number of variable increases, model checking becomes very ineffeicuent to solve such problems such as Mastermind.
INFERENCE RULES
Take knowledge that already exists and translate it to new form of knowledge.
Consider "If it is raining, then harry is inside" i.e., if alpha implies beta theen we conclude that beta is also true. (Modus Ponens).
MODUS PONENS: application means implication.
Oops! This image does not follow our content guidelines. To continue publishing, please remove it or upload a different image.
AND ELIMINATION: where alpha and beta are both true: then just beta/ alpha is true.
Oops! This image does not follow our content guidelines. To continue publishing, please remove it or upload a different image.
DOUBLE NEGATION ELIMINATION: If the premise is not not alpha then we can say aplha is true. If we have 2 negatives inside of the premise then it cancels each other.
Oops! This image does not follow our content guidelines. To continue publishing, please remove it or upload a different image.
IMPLICATION ELIMINATION: If alpha implies beta then either alpha is not true or alpha is true.
Oops! This image does not follow our content guidelines. To continue publishing, please remove it or upload a different image.
