FOL (First Order Logic)

Поділитися
Вставка
  • Опубліковано 29 жов 2024

КОМЕНТАРІ • 79

  • @arianairani2811
    @arianairani2811 8 років тому +106

    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
      @luiscortes6563 6 років тому +2

      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
      @pradeepebey6246 6 років тому

      Hey what software is used?

    • @xcoenx
      @xcoenx 5 років тому

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

    • @tanmaypatel2201
      @tanmaypatel2201 2 роки тому

      Arianaaa !!

  • @cankoban
    @cankoban 2 роки тому +7

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

  • @jannovotny6046
    @jannovotny6046 5 років тому +11

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

  • @mysteriesinmind
    @mysteriesinmind 4 роки тому +6

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

  • @thepriestofvaranasi
    @thepriestofvaranasi 2 роки тому +4

    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
    @toshikalata8761 7 років тому +2

    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
    @gentle_beats_music 5 років тому

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

  • @tore7711
    @tore7711 3 роки тому +5

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

  • @professionalcamelracer6135
    @professionalcamelracer6135 8 років тому +7

    A big thank you and greetings from Australia!

  • @nasifali2235
    @nasifali2235 7 років тому +1

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

  • @alexandrebernier4896
    @alexandrebernier4896 9 місяців тому +1

    Great video, thank you

  • @Nina-eh8tl
    @Nina-eh8tl 2 роки тому

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

  • @ArminBishop
    @ArminBishop 7 років тому

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

  • @maktumnurmuhammad7738
    @maktumnurmuhammad7738 5 років тому

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

  • @cdeanm829
    @cdeanm829 5 років тому +1

    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
    @joshuaa446 6 років тому +1

    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.

  • @muhie
    @muhie 6 годин тому

    Great video! Thanks alot!

  • @uncreativename454
    @uncreativename454 4 роки тому +2

    this is very nicely explained. Thank you :)

  • @Jjkal899
    @Jjkal899 3 роки тому

    You are amazing. Thank you

  • @jamielafontaine4399
    @jamielafontaine4399 4 роки тому

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

  • @normannebbe7905
    @normannebbe7905 3 роки тому +1

    very well explained!

  • @ziweizhao8962
    @ziweizhao8962 8 років тому

    It aligns well with our text book!!

  • @diya9707
    @diya9707 2 роки тому

    now this is interesting, thanks for the video!

  • @guntejghuman3464
    @guntejghuman3464 2 роки тому

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

  • @siddharthm1924
    @siddharthm1924 6 років тому

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

  • @snake1625b
    @snake1625b 8 років тому +4

    great at teaching !

  • @MinhLe-xk5rm
    @MinhLe-xk5rm 5 років тому

    Awesome video lecture!

  • @siddharthmundada2652
    @siddharthmundada2652 8 років тому +4

    bhai kya mast padaya hai, maja aa gaya

  • @yashkhatwani3198
    @yashkhatwani3198 2 роки тому

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

  • @priyamvashi2187
    @priyamvashi2187 2 роки тому

    Thank you

  • @JonathanDewetfunlifegod
    @JonathanDewetfunlifegod 7 років тому +1

    Great video! Thanks for making it :)

  • @jirahmarienavarro8701
    @jirahmarienavarro8701 4 роки тому

    Do you have the copy of slides? Thanks

  • @Mankind5490
    @Mankind5490 7 років тому

    Brilliant Explanation. Thank you

  • @amitprasad26
    @amitprasad26 9 років тому

    Nicely explained! Slow and easy...

  • @Punk-yu1ix
    @Punk-yu1ix 6 років тому

    Clearer than my professor

  • @roberson644
    @roberson644 6 років тому +1

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

  • @divjyotsinghkhanuja1546
    @divjyotsinghkhanuja1546 8 років тому +2

    THANK YOU SO MUCH!

  • @yamankj6253
    @yamankj6253 7 років тому

    Thank you so much for this.

  • @jamistk2085
    @jamistk2085 2 роки тому

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

  • @rajpowar6946
    @rajpowar6946 7 років тому

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

  • @freesoul2677
    @freesoul2677 8 років тому +1

    Thank you !!

  • @abhinavkant
    @abhinavkant 9 років тому +1

    Thanks a lot for this video :)

  • @coemgeincraobhach236
    @coemgeincraobhach236 4 роки тому

    thank you!

  • @AyuJessieM
    @AyuJessieM 5 років тому

    Thanks a lot for the video :)

  • @RaselAhmed-ix5ee
    @RaselAhmed-ix5ee 3 роки тому

    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

  • @t.h.9897
    @t.h.9897 6 років тому

    Magnificent

  • @vampireman8800
    @vampireman8800 4 роки тому +4

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

  • @mkutkarsh
    @mkutkarsh 7 років тому

    Thankyou sir

  • @heleneb1326
    @heleneb1326 5 років тому +1

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

    • @fiacobelli
      @fiacobelli  5 років тому

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

  • @randomthings6813
    @randomthings6813 4 роки тому

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

  • @tusharplug
    @tusharplug Рік тому

    Daym

  • @shrutibhatnagar5289
    @shrutibhatnagar5289 7 років тому

    Thanks! This was great help :D

  • @TinyFoxTom
    @TinyFoxTom 5 років тому

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

  • @kyjo72682
    @kyjo72682 6 років тому

    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
      @fiacobelli  6 років тому

      assertions

    • @mrow9863
      @mrow9863 6 років тому

      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?

  • @pelinbaykal4412
    @pelinbaykal4412 3 роки тому

    KİNG

  • @NewCalculus
    @NewCalculus 7 років тому +1

    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
      @fiacobelli  7 років тому +5

      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
      @NewCalculus 7 років тому +2

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

    • @TheFefiiiii
      @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
      @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
      @mrow9863 6 років тому

      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.

  • @farshad-hasanpour
    @farshad-hasanpour 5 років тому

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

  • @Nicky_Savage
    @Nicky_Savage 8 років тому

    That's not a First Order I looking for!

  • @fraternitas5117
    @fraternitas5117 2 роки тому

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

  • @juguangxiao9788
    @juguangxiao9788 7 років тому

    Another copycat of AIMA (AI Modern Approach)

    • @fiacobelli
      @fiacobelli  7 років тому +7

      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.