I would like to thank you from the bottom of my heart. I have a test on first order logic and my teacher hasn't taught us the basics. This video has helped immensely understand this so easily. Thank you once again Ariana
Same here! Don't know why we are getting tested on all these concepts when they were only skimmed through class, and then a week before the final: this is going to be on the exam so go over it.
My teacher used a presentation and she literally used screenshots from your videos. The worst part is she didn't even teach anywhere close to you. Thanks for the explanation.
best video for beginners , relevant and up to the point reason(justification)of every concept. Thanks a lot for making this video it really helped me .
Thank you for this video I got the opportunity to learn from. The subject of First Order logic is new to me. Your explanations introduced me to syntax in math in an approachable way. I really like the subject and am more curious about it after viewing. Thanks for posting videos like this one of many subjects you explore. This is the first I watched from your channel.
Can someone explain this to me: "All countries that border Ecuador are in South America" for all c Country(c) -> [ border(c,Ecuador) -> In(c, South America) ] for all c [ Country(c) -> border(c, Ecuador) ] -> In(c, South America) Why is the first one syntactically correct while the second one is not? I dont really understand what the [ ] symbols represent, in the videos they seem to represent a set but in the textbook that these slides are based on the bnf says they represent a complex sentence...would really love help understanding this, thank you!
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
i. All citizens of Fredonia speak the same language. ii. The Fredonese language has two dialects iii. Each citizen of Fredonia speaks exactly one of the two dialects iv. Star Trek, Star Wars and The Matrix are science fiction movies. v. Every AI student loves Star Trek or Star Wars. vi. Some AI students do not love Star Trek. vii. All AI students who love Star Trek also love The Matrix. viii. Every AI student loves some science fiction movie. ix. No science fiction movie is loved by all AI students. x. There is an AI student who loves all science fiction movies Can SomeOne plz help me to translate them in First order logic pleaseeeeeee...its Important
2:18 I don't think "fact" is a correct word here. Maybe "statement" or "claim" or "assertion" would be better terms. Fact is always true. Fact is a claim that matches reality. "John can swim." is a fact only if he can really swim. If he cannot swim it's not a fact.
John Gabriel in logic and other formal disciplines, including law, a fact is a statement that can be proven true or false. The opposite of fact is opinion. The opposite of Truth is falsehood. They are two different axis of a statement.
john, you are the one who is wrong, and that's a FACT (by your definition lol). ever heard of "formalism"? language is used differently depending on the domain of use.
As I have learned a fact is neither true nor false. A fact obtains and has existence or does not exist. A proposition has a truth value of either true or false. So propositions are true or false; while facts either exist or don't exist in philosophy/logic.
Juguang XIAO, not a copycat. This is taken straight from AIMA. I don't pretend to claim this content as my own. The explanation is mine, though. I hope it helps.
I would like to thank you from the bottom of my heart. I have a test on first order logic and my teacher hasn't taught us the basics. This video has helped immensely understand this so easily.
Thank you once again
Ariana
Same here! Don't know why we are getting tested on all these concepts when they were only skimmed through class, and then a week before the final: this is going to be on the exam so go over it.
Hey what software is used?
Same here! We had a random lecture about predicate calculus and weren't even explained the notations used!! Thank you!!
Arianaaa !!
These videos are very high quality. I watch them simultaneously with my AI course in the school and it is very benefitial. Congrats.
Saved my days of trying to understand on my own and hours of lectures from our teacher.
My teacher used a presentation and she literally used screenshots from your videos. The worst part is she didn't even teach anywhere close to you. Thanks for the explanation.
You are a talented teacher and a generous soul. Thanks for this.
A big thank you and greetings from Australia!
love you man you literally explain in 20 min and I have not get any thing during 2 hour lecture.
best video for beginners , relevant and up to the point reason(justification)of every concept. Thanks a lot for making this video it really helped me .
I own you my exam. You are my saviour. Best explanation ever!!!
Thank you sir! You have taught me twice for free than my Uni prof who gets paid by me and my friends for teaching
man you are better at explain this than my teacher.. thanks a lot
This is a great review for my philosophy FOL quiz .. Thanks!
this is very nicely explained. Thank you :)
great at teaching !
Thank you for this video I got the opportunity to learn from. The subject of First Order logic is new to me. Your explanations introduced me to syntax in math in an approachable way. I really like the subject and am more curious about it after viewing. Thanks for posting videos like this one of many subjects you explore. This is the first I watched from your channel.
Brilliant Explanation. Thank you
Awesome video lecture!
Thank you! Got an exam tomorrow and this really helped me understand
It aligns well with our text book!!
Can someone explain this to me: "All countries that border Ecuador are in South America"
for all c Country(c) -> [ border(c,Ecuador) -> In(c, South America) ]
for all c [ Country(c) -> border(c, Ecuador) ] -> In(c, South America) Why is the first one syntactically correct while the second one is not? I dont really understand what the [ ] symbols represent, in the videos they seem to represent a set but in the textbook that these slides are based on the bnf says they represent a complex sentence...would really love help understanding this, thank you!
Great video! Thanks for making it :)
It is 1000 times easy to understand than my university's ridiculously difficult lectures.
What university is it?
Your videos are fantastic!!!, any chance you have one on fuzzy logic
can you please explain why do the mother and father relationship was placed under function?
Great video, thank you
THANK YOU SO MUCH!
very well explained!
Nicely explained! Slow and easy...
You are amazing. Thank you
Thank you so much for this.
Thank you !!
Thanks a lot for this video :)
bhai kya mast padaya hai, maja aa gaya
now this is interesting, thanks for the video!
Magnificent
Thanks a lot for the video :)
Clearer than my professor
Thank you
thank you!
My AI teacher tried to explain this in literally 5 mins and I was completely lost...
Thankyou sir
Do you have the copy of slides? Thanks
Thanks! This was great help :D
12:16 can we write ∀x, y adjacent(x,y) -> ~sameMapColor(x,y) instead of one you mentioned
Yeah
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))
I want to learn more about KB can you please help me to get more information about this topic, please
Daym
wait. How are you so sure 7 people died yesterday... I'm calling the cops
lol! He said it's a false statment
KİNG
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
There is one European country that has borders with South american countries. Check French Guyana and Brazil.
Very true. Let's just stick to "contiguous territory" :)
i. All citizens of Fredonia speak the same language.
ii. The Fredonese language has two dialects
iii. Each citizen of Fredonia speaks exactly one of the two dialects
iv. Star Trek, Star Wars and The Matrix are science fiction movies.
v. Every AI student loves Star Trek or Star Wars.
vi. Some AI students do not love Star Trek.
vii. All AI students who love Star Trek also love The Matrix.
viii. Every AI student loves some science fiction movie.
ix. No science fiction movie is loved by all AI students.
x. There is an AI student who loves all science fiction movies
Can SomeOne plz help me to translate them in First order logic pleaseeeeeee...its Important
The first one will be:
Vxy Citizen(x,Fredonia) ^ Citizen(y,Fredonia) => Language(x) = Language(y)
I hope this somehow helps after a year lol
It's so hard to transform natural language into FOL :((
It's a shame that there's no effort to steer society towards using more logical spoken languages.
2:18 I don't think "fact" is a correct word here. Maybe "statement" or "claim" or "assertion" would be better terms. Fact is always true. Fact is a claim that matches reality.
"John can swim." is a fact only if he can really swim. If he cannot swim it's not a fact.
assertions
You are more nearly correct and when he stated that facts are either true or false my alarms went off. I wonder if I can trust his information here?
No. A fact cannot be false. A fact is by definition *true*. A statement can be true or false. You used the wrong word.
John Gabriel in logic and other formal disciplines, including law, a fact is a statement that can be proven true or false. The opposite of fact is opinion. The opposite of Truth is falsehood. They are two different axis of a statement.
Not true. A fact is a thing that is indisputably the case. You should use "statement" rather than "fact".
i think this is because of language imperfection. for instance in croatian we wouldn't say, " FACT". we say 'sud' witch means 'judgement'
john, you are the one who is wrong, and that's a FACT (by your definition lol). ever heard of "formalism"? language is used differently depending on the domain of use.
As I have learned a fact is neither true nor false. A fact obtains and has existence or does not exist. A proposition has a truth value of either true or false. So propositions are true or false; while facts either exist or don't exist in philosophy/logic.
That's not a First Order I looking for!
"One mother is one's female parent" imagine this level of antisemitism is still possible in current year, I am literally shaking.
Another copycat of AIMA (AI Modern Approach)
Juguang XIAO, not a copycat. This is taken straight from AIMA. I don't pretend to claim this content as my own. The explanation is mine, though. I hope it helps.