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.
![Noob To Max With DRAGON REWORK In Blox Fruits [FULL MOVIE]](http://i.ytimg.com/vi/LnBMOinoOvA/mqdefault.jpg)
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.
you are doing great job keep it up!
your content is very reliable and useful
nicely explained! since you used Russel - Norvig book as the reference it made it easier to understand. thanks! keep up the good work!
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.........
Hi, thanks for the video, pretty clear. One question though: Shouldn't there be a universal quantifier in the sentence R1?
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?
Oops
better then my professor at Um**h
Thank you so much🙏🏻🙏🏻 It was perfect
where can i find your pdf/slides?
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?
Thank you sir
Thank you so much
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
thank you
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
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.
Thank you