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

6 жыл бұрын

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

5 жыл бұрын

Hey what software is used?

@xcoenx

5 жыл бұрын

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

@tanmaypatel2201

2 жыл бұрын

Arianaaa !!

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.

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

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

A big thank you and greetings from Australia!

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 .

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

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

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

@farhanatefzoha6529

2 жыл бұрын

What university is it?

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

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

Awesome video lecture!

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

this is very nicely explained. Thank you :)

Brilliant Explanation. Thank you

great at teaching !

Great video! Thanks for making it :)

THANK YOU SO MUCH!

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!

very well explained!

Thank you so much for this.

Nicely explained! Slow and easy...

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

bhai kya mast padaya hai, maja aa gaya

Great video, thank you

Thanks a lot for this video :)

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

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.

You are amazing. Thank you

Thank you !!

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

now this is interesting, thanks for the video!

Thanks a lot for the video :)

Do you have the copy of slides? Thanks

thank you!

Thank you

Thankyou sir

Magnificent

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

Clearer than my professor

Thanks! This was great help :D

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

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

@thepriestofvaranasi

2 жыл бұрын

Yeah

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

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

@chrisnjoroge87

3 жыл бұрын

lol! He said it's a false statment

Daym

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

KİNG

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

@fiacobelli

5 жыл бұрын

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

@thepriestofvaranasi

2 жыл бұрын

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

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

6 жыл бұрын

assertions

@mrow9863

5 жыл бұрын

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?

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

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

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

6 жыл бұрын

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

6 жыл бұрын

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

@TheFefiiiii

6 жыл бұрын

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

@samura1squid

6 жыл бұрын

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

5 жыл бұрын

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)

@fiacobelli

6 жыл бұрын

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.