Artificial Intelligence 31 Resolution Explanation with Example in Ai | tutorial | sanjaypathakjec

Artificial Intelligence 31 Resolution Explanation with Example in Ai
resolution is proof by contradiction
or you can say resolution is technique which uses negotiation to prove result
resolution basically is done in four steps
first resolution step is conversion of given statements into predicate logic
second resolution step is convert predicate logic into cnf or conjunctive normal form
third resolution step take negotiation of statement that is to be proved or contradict the statement that is to be proved in resolution
fourth step in resolution is resolve clause to get contradictory statement
in this video i have taken example of
cats like fish; cats eats everything they like;mani is cat;
to prove “mani eats fish”