Resolution in Predicate logic

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

КОМЕНТАРІ • 18

  • @amaramar4969
    @amaramar4969 5 місяців тому +3

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

  • @ShireenFaris
    @ShireenFaris 9 днів тому

    Thank you, you're the best❤

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

    Thank you mam for making me to understand this concept.

  • @p.p.e.g0048
    @p.p.e.g0048 Рік тому

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

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

    Excellent ❤❤

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

    excellent explanation madam.
    thank you

  • @tonypepper
    @tonypepper 8 місяців тому +2

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

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

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

  • @neelnsoni1313
    @neelnsoni1313 11 місяців тому

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

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

    It was really a good video

  • @arnabdana2273
    @arnabdana2273 9 місяців тому

    thank you

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

    Mam...how to add extra predicates

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

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

    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

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

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

  • @hpjjava3787
    @hpjjava3787 3 дні тому

    Mam can you share PPT