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"

[hvooyjm]

negation is a word, negotiation is an emotion

[aishwaryabalu]

thanks for the help dude! no matter how u pronounce, could understand what u are about to convey...that's what matters

[poojanpatel]

Two Suggestion for you to use
1) It is negation and not negotiation
2) Sign of negation was also opposite

[KrutarthDave_KD]

It is not negotiation, it is "negation".:D

[ganesh]

Assume contradiction start from it and cancel each other till null and prove this assumed contradictory is false and original one is true and hence proved ❤

[tonimaunde]

Thank you for the video. It was very helpful.

[sugamtyagi]

let's negotiate, you say 'negate' <ni-gay-t> and I won't leave this comment on all your videos.

[MasterNoxob]

it helped me a lot, it might help others. keep it up!

[Himanshukumarh]

Thanks man, this will help me in exam.

[bimalchnath]

Negation symbol is wrong.and also pronunciation is wrong.not negotiation, its negation.but video is informative.keep it up.

[bandaruprabhakarreddy]

In last step twice cat(mani) is removed

[MotlixGaming]

e1 : all employee earning $1400 or more per year pay taxes.
e2: some employees are sick today.
e3: no employee earn more than the president.
e4: john pays $1600 per year translate the above sentence to predicate logic

and prove that john pays tax.

Can you solve this

[therawbean]

You need to understand the difference between NEGATION and NEGOTIATION !

[ankitpradhan]

what I dont get is isnt ∨ disjunction?? how will that become CNF?

[vineet]

Thanks bro can you pin the link of cnf i am not getting the cnf video in your playlist

[g.atharva]

negotiation poblem suun ke chod de reha isko

[yohaantavadia]

It is "negation" not negotitation! xD