Resolution

Поділитися
Вставка
  • Опубліковано 10 січ 2025

КОМЕНТАРІ • 44

  • @Francy14s
    @Francy14s 4 роки тому +5

    It's amazing! After two days passed reading book and searching on the internet for a good and simple explanation i finally understood thank to you.
    Thank you so much!

  • @mp9313
    @mp9313 4 роки тому +10

    Thank you so much! This explanation is much more intuitive and easy to understand than the one given in the university I study in.

  • @AbirChoudhury101
    @AbirChoudhury101 6 років тому +8

    This is the best explanation on the internet! Would be great if you could teach my grad classes

  • @boddudinesh1383
    @boddudinesh1383 2 роки тому +2

    I have been searching for this concept for more than an hour and finally got the best video thank you soo much 🙂

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

    Thank you so much! Better than my professor's explanation.

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

    thank you for using russell and norvig

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

    It is sad that this is the best video I have found. Why is this subject the hardest thing to teach people? I guess those who can do, can't teach.

    • @derekdj6790
      @derekdj6790 5 років тому +6

      I disagree about this being sad, I think he explains it very well. The only video that I needed

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

      Sad. Huh. He is good.

    • @salamander7905
      @salamander7905 5 років тому +2

      @@derekdj6790 I think he is referring to how most of the people who attempt to teach this subject are bad while this channel is better than those mediocre teachers. And I agree that is sad

  • @shezyoutlook6584
    @shezyoutlook6584 8 років тому +11

    the p2,1 and p1,2 are missprinted @9:06

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

      also@10:24

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

      can you elaborate more on that? What is the exact mistake that he did?

    • @alexlazea9978
      @alexlazea9978 5 років тому +2

      i replayed that part at least 10 times thinking i was missing something, came to the commment section just for this, ty

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

      Thank you, i've been staring at the figure for 15 min, wondering why it was like that.

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

    it's not affecting the final result but (P12 OR P21 OR NOT(P12)) should be (P12 OR P21 OR NOT(P21)).

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

    very clear, much better than what I learn from the lecture.

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

    Thank you very much! Your videos are very coherent and helpful

  • @TrinhNguyen-lp9qf
    @TrinhNguyen-lp9qf 3 роки тому

    Character In the video It's great, I like it a lot $$

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

    So if you can't get the empty clause, it means the original conjecture KB |= a is false?

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

      Right, if you can't get a empty clause, it means the negation satisfiable, see also Davis-Putnam algorithm.

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

      "Satisfiable" is key, because it reflects that we are talking about all models, not just one, when asking if something is entailed.

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

    Why do we stop at -P1,2? Do we stop at the first clause generated that does(n't) negate the alpha?

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

    Thank you dear sir, you helped me alot.

  • @M47-s6u
    @M47-s6u 4 роки тому

    To prove alpha was it enough to resolute P1,2 with !P1,2 ? Or do we have to resolute everything in the sentence? If yes, what if we have unnecessary rules in the KB. Then do we have to resolute everything, again.
    Thanks in advance

  • @rouwo6115
    @rouwo6115 3 місяці тому

    THATS AMAZING!

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

    Hi, great video. Just wanted to clarify something. I noticed that you did not resolve the query, P(1,2) with the sentence, not P(1,2) or B(1,1) why is this the case? Is it that you only resolve the query with the second row of sentences?

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

      Right, so once you resolve whatever can be resolved on the first row, you generate the second row. Then you resolve the second row and whatever expressions were left unresolved from the first row (those that never resolve with anything)

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

      +Francisco Iacobelli but it should try to resolve with each sentence in the first row.
      Also it will continue until i produce the opposite?

  • @MaxMustermann-un4kj
    @MaxMustermann-un4kj 2 роки тому

    Thank you so much!

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

    Amazing man well done keep it up

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

    Could someone comment as to how the provided pseudocode would change if applying to a first order logic knowledge base in CNF form? When do we apply the unification?

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

    coma means AND or OR? or i doesnt matter ? i thought if it was above was an AND and coma was an OR

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

    Can we use and elimination during resolution?

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

    why we took only R1 and R4 as knowledge base?...why not all the rules??

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

      The Knowledge Base is whatever the agent knows about, which is not likely to be every possible rule.

  • @rahulgupta-zq3bk
    @rahulgupta-zq3bk 6 років тому

    Can you please share this presentation!

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

    good

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

    Thank you so so much!!

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

    Thank you so much

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

    CS 383 rip

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

    Making it too complicated...