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.
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?
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.
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
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?
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.
Great video, you did a great job explaining these concepts. I'm also using R&N's book for my AI class.
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
nicely explained! since you used Russel - Norvig book as the reference it made it easier to understand. thanks! keep up the good work!
thank you so much for saving my day.........
you are doing great job keep it up!
your content is very reliable and useful
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
better then my professor at Um**h
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))
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.
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
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?
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🙏🏻🙏🏻 It was perfect
where can i find your pdf/slides?
Thank you sir
thank you
Thank you
Thank you so much