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?
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 RUclips 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
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.
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.
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)
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
at 10:04 a->b = ~a V b AND NOT EQUAL TO ~(a V b)
U r not teaching the examples u just simply read what u had wrote.. Upset
in line (e)- there is no universal quantifiers so why you divide into two lines
1- eat(anil ,peanut)
2- alive(anil)
maam there is mistake in strep 2 -> 3rd part -> point c. it will be OR food(z).
there are errors, for p->q, you should write negate pVq.. you are negating enitre pVq
Logic se Nahi padaya he
This is an AMAZING explanation! Thank u for this, it's helping me so much in my AI class!
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)
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
what to write when we have to eliminate the existential quantifiers?
Thanks a lot. I have exams in 5 days and this explanation was very understandable and clear.
I have exam after 2 hours😢
2 EXTRA PREDICATES KYU AUR KAHASE AYA?
other then that there are so many other mistake in your solutions. i request you to please go through this video again.
Thank you
Tomorrow I am having my final exam
All lecture video is about same example.Do they have no other example or do they not understand anything like us?
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😢
Step 2, The formula used for A implies B = Negation(A) V B
Please correct it
thanks thala
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
which book you are using to take reference, I want to read more about it.
Contradiction method can only be used only when we know what we have to prove
Dont watch if your exam is tommarow
🫠🧑🏼🦯
@@adarshas2984 it's simple concept🙂
My exam is tomorrow 🥲
Thanks mam. Stay blessed
is prediacte logic and fol are same
how to do the problem if there is an existential quatifier in the problem
1 million family soon❤❤
Why you added predicates mam? Is it necessary.
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?
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 RUclips
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
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 mam
how do we know when to add extra predicates mam?
you wont get phi
in there you confused x with y , x is person anyone and y is food
7:25 what kind of logic is that 😂😂 lol
usefull video
rote learner, how to know what to add predicate??
Negations apply for quantifiers too!
Website: education4u.in
thankyou mam
Your explanation is not so good . Try to explain with full clearity and use best examples so that everyone could understand .
a->b should be ~a V b
8:00 FOL to CNF
Guys where did alive(anil) came from help me out
Thanks a lot.
Mam plz ak explained the fuzzy logic
kam ratto mam kb tk javatpoint se kroge
Hi mam could u please provided for pos (principles of operations system)
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.
The number f) is wrong
it's not you need to be, it's "you need to" just you need to and not "you need to be".
thank you mam.
2:24
Too bad she's only confused...wrote all before only...we can read from our book only then🙄.
i think you are not clear about your content, prepare well and come back
god bless you
Can u keep u r paper properly and clearls
Thanks
Mam knsa nasha krke pdhati ho 😂😂
Mam copy toh acha sa kiya karo 😂😂😂😂😂😂
Same theory,same example...copied from javapoint
Leka pote nee kosam kotta concept lu kanibedataraa...comedy ga...You are right bro👍
U r great teacher.
Please improve ur english.
You will become better.
Nijame ...nuvvu kuda..
Big help
Kuch samaj aya kya?
Nahi aya kuch samaj..
Big mistake while converting into CNF
dont rush you made a lot of mistakes
Nice explanation
Mam, this was very confusing
Dhang se banao video or camera ka angle sahi karo kuch nahi dik raha
Not prepared well
Ayte nuvvu chey video lu....
..... 1:04
aata nahi hai toh galat kyu padhate ho
bkl.. kya padha rahi h tujhe khud bhi smjh aa rha h???
how to remove existential quantifier?
Google prenex normal form and skolem normal form
you are just reading what uh have copied
I think you don't know the concept
I didnt understand anything, Bad teacher
Thanku dear
lots of mistakes.....
copied from java tutorial point
Very useful thanku
Chutiye
Hello sis can you teach in tamil or hindi
'fud', 'jon x likesa alla fud' bro ffs
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.
amazing explanation!
Are mobile silent kar
dont refer to this video, purely confusing and not upto the mark.
Mam very bad explaination
you better learn and understand then make a video. Wasted 20 mins.
Bad explanation
Copy cat
Did she copy from you??
Mari neek enduku ra samii....muskuni chudu..or poi vere videolu chusko..
@@snehitvaddi sooper 😁❤️
THANKS