Resolution in Predicate logic

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

КОМЕНТАРІ • 19

  • @amaramar4969
    @amaramar4969 10 місяців тому +4

    Thanks Madam, 3 years into the future after you posted this video. It helped me prepare for exam. Bow to you 🙏

  • @p.p.e.g0048
    @p.p.e.g0048 2 роки тому

    Best 27 minutes of my life, u saved me, thx ♥️🤝

  • @sanyampandita5488
    @sanyampandita5488 10 місяців тому

    0:30 Resolution Definition
    2:03 Steps
    2:53 Example #1
    7:15 Example #2
    12:40 Example #3

  • @snehaedke3504
    @snehaedke3504 3 роки тому +3

    Thank you mam for making me to understand this concept.

  • @tonypepper
    @tonypepper Рік тому +3

    Can anyone please help. When do we add extra predicates?

  • @ShireenFaris
    @ShireenFaris 5 місяців тому

    Thank you, you're the best❤

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

    Really nice

  • @ektavarshney8367
    @ektavarshney8367 8 місяців тому

    Excellent ❤❤

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

    excellent explanation madam.
    thank you

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

    It was really a good video

  • @aiml2ndcse-a
    @aiml2ndcse-a Рік тому +2

    Mam...how to add extra predicates

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

    1) Convert Sentences into FOL ( First Order Logic)
    2) FOL into CNF ( Conjuctive Normal Form ) - here we eliminate impication
    3) Resolution Graph

  • @code-with-me-2002
    @code-with-me-2002 11 місяців тому

    how u know that u have to use what additional predicte ? raata mar ke aayeho??

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

    Mam I have a doubt if there is a their exists symbol what will we do

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

    mam.. having a doubt... in example 1 ., u start the resolution graph from the goal statement. but in example2 , u start the resolution graph with first statement and used the goal statement at last... is there any condition or constant reason for using (where to use )goal statement in resolution graph

    • @dr.kavitaoza4007
      @dr.kavitaoza4007  3 роки тому +1

      Its not goal statement in the first example , we are starting with first statement and reaching goal statement . As first statement contains the word enjoy which may be confusing just go through the example example

  • @mr360explain
    @mr360explain 3 роки тому +3

    Ma'am is there any application it can be real life ????

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

    thank you

  • @hpjjava3787
    @hpjjava3787 5 місяців тому

    Mam can you share PPT