02:27 Resolution in first order logic is a theorem proving technique that proves by contradiction. 04:54 Resolution in FOL is the process of proving a conclusion by negating and resolving the conjunctive normal form statements. 07:21 Using resolution in FOL to prove John likes peanut. 09:48 Resolution in First-Order Logic is used to convert FOL statements into CNF for easier resolution proofs. 12:15 Eliminate implications by rewriting them as nugget a or b. 14:42 Steps to convert FOL into conjunctive normal form and apply resolution 17:09 The resolution method is used to prove contradictions by drawing a resolution graph. 19:29 The video explains the process of resolution in First Order Logic (FOL)
Thanks ma'am, great explanation. Only one point I don't understand, from where did we got the statement '(f) alive(Anil)' , after dropping the Universal quantifiers?
thanks god i saw in comment section either i will learn mistake lessons . tommorow will my exam .miss please edit your videos by seeing in comment section.
It’s good to see your efforts, but i think that even you don’t know some of topics which you teach us. Don’t misguide the students by all this. I like your teaching, but you need to first understand the topic yourself before jumping to teach others.
Yes I also noticed the same She doesn't know still she is covering the syllabus of all subjects There is another one like this on TH-cam whose name is Easy Engineering Classes But I swear he doesn't know himself what is he teaching , he is just writing notes Same is the case with this lady Although there are some best teachers like Gate Smashers, Knowledge Gate , Neso Academy who make it look so easy
Can anyone give me asnwer of these statements:😥 1. Steve only likes easy courses. 2. Science courses are hard. 3. All the courses in the basketweaving department are easy. 4. BK301 is a basketweaving course.
a->b should be ~a V b and not ~(a V b)
Thanx ,I was also confused.
yeah, if you do like this then there another roles has to be arise
DeMorgan ~(a v b) = ~a ^ ~b
She must mention this mistake in description
thanks
yeah i was thinking about commenting the same thing
Everyone is commenting about this content copied from javatpoint, but for me this video is more helpful than only reading in the javatpoint article.
and the content there is copied from the Artificial Intelligence book by Kevin knight
02:27 Resolution in first order logic is a theorem proving technique that proves by contradiction.
04:54 Resolution in FOL is the process of proving a conclusion by negating and resolving the conjunctive normal form statements.
07:21 Using resolution in FOL to prove John likes peanut.
09:48 Resolution in First-Order Logic is used to convert FOL statements into CNF for easier resolution proofs.
12:15 Eliminate implications by rewriting them as nugget a or b.
14:42 Steps to convert FOL into conjunctive normal form and apply resolution
17:09 The resolution method is used to prove contradictions by drawing a resolution graph.
19:29 The video explains the process of resolution in First Order Logic (FOL)
Dont watch if your exam is tommarow
Thank you
Tomorrow I am having my final exam
maam there is mistake in strep 2 -> 3rd part -> point c. it will be OR food(z).
U r not teaching the examples u just simply read what u had wrote.. Upset
a->b = ~a V b AND NOT EQUAL TO ~(a V b) 10:04
what to write when we have to eliminate the existential quantifiers?
Thanks mam. Stay blessed
which book you are using to take reference, I want to read more about it.
2 EXTRA PREDICATES KYU AUR KAHASE AYA?
Thanks ma'am, great explanation. Only one point I don't understand, from where did we got the statement '(f) alive(Anil)' , after dropping the Universal quantifiers?
there are errors, for p->q, you should write negate pVq.. you are negating enitre pVq
Logic se Nahi padaya he
other then that there are so many other mistake in your solutions. i request you to please go through this video again.
This is an AMAZING explanation! Thank u for this, it's helping me so much in my AI class!
in line (e)- there is no universal quantifiers so why you divide into two lines
1- eat(anil ,peanut)
2- alive(anil)
at 10:04 a->b = ~a V b AND NOT EQUAL TO ~(a V b)
is prediacte logic and fol are same
Why you added predicates mam? Is it necessary.
How to eliminate existential quantifiers if they are present and whats the difference between elimination and drop?
Please reply.
Exactly
Did you get clarified
did you get clarified😢
All lecture video is about same example.Do they have no other example or do they not understand anything like us?
Thanks a lot. I have exams in 5 days and this explanation was very understandable and clear.
I have exam after 2 hours😢
Hi mam could u please provided for pos (principles of operations system)
thanks god i saw in comment section either i will learn mistake lessons . tommorow will my exam .miss please edit your videos by seeing in comment section.
Thanks a lot.
7:25 what kind of logic is that 😂😂 lol
Nice explanation
thank you mam.
ma'am, please do not copy content from javatpoint so we can clearly understand your topic that what you want to tell us
pehle whi jata hu..isisliye
You know this topic teach for all otherwise shotup your mouth
Mam plz ak explained the fuzzy logic
Contradiction method can only be used only when we know what we have to prove
7:25 it's not "food is not killed" it is "the person is not killed" x represents individuals and y represents items
or it should have been, x represents items(anything) and y represents individuals(anyone)
how do we know when to add extra predicates mam?
you wont get phi
rote learner, how to know what to add predicate??
i think u have written wrong in 11:02 time stamp that a -> b = negation a v b not negation(a v b). it becomes inverse
Thanks
Mam knsa nasha krke pdhati ho 😂😂
kam ratto mam kb tk javatpoint se kroge
THANKS
god bless you
thankyou mam
Big help
Step 2, The formula used for A implies B = Negation(A) V B
Please correct it
thanks thala
it's not you need to be, it's "you need to" just you need to and not "you need to be".
in there you confused x with y , x is person anyone and y is food
Guys where did alive(anil) came from help me out
a->b should be ~a V b
Your explanation is not so good . Try to explain with full clearity and use best examples so that everyone could understand .
8:00 FOL to CNF
Too bad she's only confused...wrote all before only...we can read from our book only then🙄.
It’s good to see your efforts, but i think that even you don’t know some of topics which you teach us. Don’t misguide the students by all this. I like your teaching, but you need to first understand the topic yourself before jumping to teach
others.
Yes I also noticed the same
She doesn't know still she is covering the syllabus of all subjects
There is another one like this on TH-cam
whose name is Easy Engineering Classes
But I swear he doesn't know himself what is he teaching , he is just writing notes
Same is the case with this lady
Although there are some best teachers like Gate Smashers, Knowledge Gate , Neso Academy who make it look so easy
Can u keep u r paper properly and clearls
dont rush you made a lot of mistakes
amazing explanation!
Mam copy toh acha sa kiya karo 😂😂😂😂😂😂
bhanu 💌
no proper explanation given in this video this time. needs to improvise the video. it seems as if you are just following/narrating someones solution.
Thanku dear
Dhang se banao video or camera ka angle sahi karo kuch nahi dik raha
The number f) is wrong
U r great teacher.
Please improve ur english.
You will become better.
Nijame ...nuvvu kuda..
Very useful thanku
Chutiye
Big mistake while converting into CNF
i think you are not clear about your content, prepare well and come back
aata nahi hai toh galat kyu padhate ho
Mam, this was very confusing
Kuch samaj aya kya?
Nahi aya kuch samaj..
Not prepared well
Ayte nuvvu chey video lu....
you are just reading what uh have copied
how to remove existential quantifier?
Google prenex normal form and skolem normal form
lots of mistakes.....
Same theory,same example...copied from javapoint
Leka pote nee kosam kotta concept lu kanibedataraa...comedy ga...You are right bro👍
Hello sis can you teach in tamil or hindi
'fud', 'jon x likesa alla fud' bro ffs
bkl.. kya padha rahi h tujhe khud bhi smjh aa rha h???
I think you don't know the concept
copied from java tutorial point
I didnt understand anything, Bad teacher
Are mobile silent kar
Mam very bad explaination
Can anyone give me asnwer of these statements:😥
1. Steve only likes easy courses.
2. Science courses are hard.
3. All the courses in the basketweaving department are easy.
4. BK301 is a basketweaving course.
dont refer to this video, purely confusing and not upto the mark.
Copy cat
Did she copy from you??
Mari neek enduku ra samii....muskuni chudu..or poi vere videolu chusko..
@@snehitvaddi sooper 😁❤️
you better learn and understand then make a video. Wasted 20 mins.