FOL (First Order Logic)

[@arianairani2811]

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

[@luiscortes6563]

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.

[@pradeepebey6246]

Hey what software is used?

[@xcoenx]

Same here! We had a random lecture about predicate calculus and weren't even explained the notations used!! Thank you!!

[@tanmaypatel2201]

Arianaaa !!

[@cankoban]

These videos are very high quality. I watch them simultaneously with my AI course in the school and it is very benefitial. Congrats.

[@mysteriesinmind]

You are a talented teacher and a generous soul. Thanks for this.

[@jannovotny6046]

Saved my days of trying to understand on my own and hours of lectures from our teacher.

[@thepriestofvaranasi]

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.

[@toshikalata8761]

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 .

[@gentle_beats_music]

love you man you literally explain in 20 min and I have not get any thing during 2 hour lecture.

[@tore7711]

It is 1000 times easy to understand than my university's ridiculously difficult lectures.

[@farhanatefzoha6529]

What university is it?

[@professionalcamelracer6135]

A big thank you and greetings from Australia!

[@alexandrebernier4896]

Great video, thank you

[@Nina-eh8tl]

Thank you! Got an exam tomorrow and this really helped me understand

[@nasifali2235]

Thank you sir! You have taught me twice for free than my Uni prof who gets paid by me and my friends for teaching

[@ArminBishop]

I own you my exam. You are my saviour. Best explanation ever!!!

[@maktumnurmuhammad7738]

man you are better at explain this than my teacher.. thanks a lot

[@uncreativename454]

this is very nicely explained. Thank you :)

[@jamielafontaine4399]

This is a great review for my philosophy FOL quiz .. Thanks!

[@siddharthmundada2652]

bhai kya mast padaya hai, maja aa gaya

[@MinhLe-xk5rm]

Awesome video lecture!

[@cdeanm829]

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!

[@joshuaa446]

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.

[@normannebbe7905]

very well explained!

[@ziweizhao8962]

It aligns well with our text book!!

[@amitprasad26]

Nicely explained! Slow and easy...

[@snake1625b]

great at teaching !

[@kisaflwr]

now this is interesting, thanks for the video!

[@muhie]

Great video! Thanks alot!

[@Jjkal899]

You are amazing. Thank you

[@Mankind5490]

Brilliant Explanation. Thank you

[@JonathanDewetfunlifegod]

Great video! Thanks for making it :)

[@rajpowar6946]

Your videos are fantastic!!!, any chance you have one on fuzzy logic

[@yashkhatwani3198]

12:16 can we write ∀x, y adjacent(x,y) -> ~sameMapColor(x,y) instead of one you mentioned

[@thepriestofvaranasi]

Yeah

[@siddharthm1924]

can you please explain why do the mother and father relationship was placed under function?

[@jamistk2085]

I want to learn more about KB can you please help me to get more information about this topic, please

[@guntejghuman3464]

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))

[@ESA-Naomi]

Clearer than my professor

[@roberson644]

My AI teacher tried to explain this in literally 5 mins and I was completely lost...

[@divjyotsinghkhanuja1546]

THANK YOU SO MUCH!

[@jirahmarienavarro8701]

Do you have the copy of slides? Thanks

[@yamankj6253]

Thank you so much for this.

[@abhinavkant]

Thanks a lot for this video :)

[@AyuJessieM]

Thanks a lot for the video :)

[@priyamvashi2187]

Thank you

[@heleneb1326]

There is one European country that has borders with South american countries. Check French Guyana and Brazil.

[@fiacobelli]

Very true. Let's just stick to "contiguous territory" :)

[@RaselAhmed-ix5ee]

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

[@freesoul2677]

Thank you !!

[@t.h.9897]

Magnificent

[@coemgeincraobhach236]

thank you!

[@vampireman8800]

wait. How are you so sure 7 people died yesterday... I'm calling the cops

[@chrisnjoroge87]

lol! He said it's a false statment

[@mkutkarsh]

Thankyou sir

[@randomthings6813]

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

[@thepriestofvaranasi]

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

[@shrutibhatnagar5289]

Thanks! This was great help :D

[@kyjo72682]

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.

[@fiacobelli]

assertions

[@mrow9863]

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?

[@TinyFoxTom]

It's a shame that there's no effort to steer society towards using more logical spoken languages.

[@pelinbaykal4412]

KİNG

[@tusharplug]

Daym

[@farshad-hasanpour]

It's so hard to transform natural language into FOL :((

[@NewCalculus]

No. A fact cannot be false. A fact is by definition *true*. A statement can be true or false. You used the wrong word.

[@fiacobelli]

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.

[@NewCalculus]

Not true. A fact is a thing that is indisputably the case. You should use "statement" rather than "fact".

[@TheFefiiiii]

i think this is because of language imperfection. for instance in croatian we wouldn't say, " FACT". we say 'sud' witch means 'judgement'

[@samura1squid]

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.

[@mrow9863]

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.

[@Nicky_Savage]

That's not a First Order I looking for!

[@fraternitas5117]

"One mother is one's female parent" imagine this level of antisemitism is still possible in current year, I am literally shaking.

[@juguangxiao9788]

Another copycat of AIMA (AI Modern Approach)

[@fiacobelli]

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.