Best explanation I've come across - struggled with these concepts from the book (Russell & Norvig - v.3) and reviewed a few other videos. No one else does such a simple but excellent job!! Thanks.
Can we say that there are two ways of inferring in FOL: 1. Reduction to propositional logic and using propositional inference rules 2. Approaches based on unification and generalized Modus Ponens, which are: 2.1 Forward chaining 2.2 backward chaining 2.3 Resolution Is it correct classification for the approaches to infer in FOL?
Is there a reason why this video "Inference in First Order Logic (FOL) and Unification" and your "Forward and BackwardChaining" video are not a part of your "AI" playlist?
Using First Order Logic to represent the following statements, prove that Rose and James are cousins. Ron and Ginny are siblings. Ginny is married to Harry. James is Harry’s son. Lily is Ginny’s daughter. Rose is Ron’s daughter. Arthur is Ginny’s father. help me pls for the answere
its ironic because you logically misused "x" when writing the statements. if you define as x being an object of human characteristics (which means it can be an american), you can't use it in Missile(x) lol you're gonna get a bunch of people confused. you had bound x/M1 and x/Nono, you're not supposed to be able to do that.
Best explanation I've come across - struggled with these concepts from the book (Russell & Norvig - v.3) and reviewed a few other videos. No one else does such a simple but excellent job!! Thanks.
nicely explained! since you used Russel - Norvig book as the reference it made it easier to understand. thanks! keep up the good work!
you are doing great job keep it up!
your content is very reliable and useful
Great video, you did a great job explaining these concepts. I'm also using R&N's book for my AI class.
thank you so much for saving my day.........
Thank you so much🙏🏻🙏🏻 It was perfect
Hi, thanks for the video, pretty clear. One question though: Shouldn't there be a universal quantifier in the sentence R1?
Thank you so much
Can we say that there are two ways of inferring in FOL:
1. Reduction to propositional logic and using propositional inference rules
2. Approaches based on unification and generalized Modus Ponens, which are:
2.1 Forward chaining
2.2 backward chaining
2.3 Resolution
Is it correct classification for the approaches to infer in FOL?
thank you
better then my professor at Um**h
where can i find your pdf/slides?
Thank you
Thank you sir
can someone help me answer this
Show that the following two sentences are not equivalent in FOL
¬∀x(A(x) → ¬B(x)), ∀x(A(x) → B(x))
Watching this an hour before my AI test.
RIP
How did you do in your test?
Is there a reason why this video "Inference in First Order Logic (FOL) and Unification" and your "Forward and BackwardChaining" video are not a part of your "AI" playlist?
Oops
Is there anyone out there who uses a different example than the evil greedy kings John and Richard? :D
Lmao fr can't find a different example
Using First Order Logic to represent the following statements, prove that Rose and James are cousins.
Ron and Ginny are siblings. Ginny is married to Harry. James is Harry’s son. Lily is Ginny’s daughter. Rose is Ron’s daughter. Arthur is Ginny’s father.
help me pls for the answere
its ironic because you logically misused "x" when writing the statements. if you define as x being an object of human characteristics (which means it can be an american), you can't use it in Missile(x) lol you're gonna get a bunch of people confused. you had bound x/M1 and x/Nono, you're not supposed to be able to do that.