Scribd Logo
Upload

Welcome to Scribd!

  • 685 views

    AI Resolution Problems

    Uploaded by

    Raj saranya
    This document discusses several examples of using first-order logic and resolution to represent statements, prove conclusions, and answer queries: 1) It presents a cricket match scenario and asks to represent the facts in predicate logic, convert to clause form, and use resolution to prove "India wins the match". 2) It provides 4 statements about people and asks to represent them in FOL and use resolution to prove "John killed the cat". 3) It gives 4 statements about teachers, students, and eligibility and asks to represent them in FOL. 4) It asks to use CNF and resolution to prove a conclusion from 3 given statements containing predicates. 5) It provides 3 statements and asks

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd

    AI Resolution Problems

    Uploaded by

    Raj saranya
    685 views2 pages
    This document discusses several examples of using first-order logic and resolution to represent statements, prove conclusions, and answer queries: 1) It presents a cricket match scenario and asks to represent the facts in predicate logic, convert to clause form, and use resolution to prove "India wins the match". 2) It provides 4 statements about people and asks to represent them in FOL and use resolution to prove "John killed the cat". 3) It gives 4 statements about teachers, students, and eligibility and asks to represent them in FOL. 4) It asks to use CNF and resolution to prove a conclusion from 3 given statements containing predicates. 5) It provides 3 statements and asks

    Original Description:

    ai

    Original Title

    AI Resolution Problems (1)

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This document discusses several examples of using first-order logic and resolution to represent statements, prove conclusions, and answer queries: 1) It presents a cricket match scenario and asks to represent the facts in predicate logic, convert to clause form, and use resolution to prove "India wins the match". 2) It provides 4 statements about people and asks to represent them in FOL and use resolution to prove "John killed the cat". 3) It gives 4 statements about teachers, students, and eligibility and asks to represent them in FOL. 4) It asks to use CNF and resolution to prove a conclusion from 3 given statements containing predicates. 5) It provides 3 statements and asks

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    685 views2 pages

    AI Resolution Problems

    Uploaded by

    Raj saranya
    This document discusses several examples of using first-order logic and resolution to represent statements, prove conclusions, and answer queries: 1) It presents a cricket match scenario and asks to represent the facts in predicate logic, convert to clause form, and use resolution to prove "India wins the match". 2) It provides 4 statements about people and asks to represent them in FOL and use resolution to prove "John killed the cat". 3) It gives 4 statements about teachers, students, and eligibility and asks to represent them in FOL. 4) It asks to use CNF and resolution to prove a conclusion from 3 given statements containing predicates. 5) It provides 3 statements and asks

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    You are on page 1of 2

    FIRST-ORDER LOGIC TO CNF CONVERSION AND RESOLUTION

    1. Consider the following facts:

    Team India
    Team Australia
    Final match between India and Australia
    India scored 350 runs
    Australia scored 350 runs
    India lost 5 wickets
    Australia lost 7 wickets
    The team which scored the maximum runs wins
    If the scores are same then the team which lost minimum wickets wins the match.
    Represent the facts in predicate logic, and convert to clause form, and prove by resolution, “India wins the
    match”.

    2. Represent the following sentences in FOL and prove that ‘John killed the cat’ using resolution.(12)
    1) Everyone who loves all animals is loved by someone
    2) Anyone who kills an animal is loved by no one
    3) Jack loves all animals
    4) Either Jack or John killed the cat named Tuna

    3. Represent the following sentences in First order logic.


    1) All teachers of Sigma Engineering College (SEC) love their students.
    2) No student lacks the potential for achievement (Pfa)
    3) C1 is the child of F1. F1 is the father of C1.
    4) Engineering studetns are eligible to become student members (SM) of Indian Society for
    Technical Education (ISTE).
    You may use the following basic vocabulary for the First Order Logic sentences:
    Teacher(x,SEC); student(y,x);
    Student(x); Lacks(x,Pfa);
    Engg student(x);Eligible(x,SM,ISTE)
    Other predicates needed for the first order logic sentences may be defined and used by you appropriately.

    4. i. Converting the following first order logic sentences to conjunctive normal form and then applying resolution
    rule, prove the validity of the conclusion C(x,y):
    A(x)
    B(y)
    A(x) Ʌ B(y)=> C(x,y)
    A,B,C are predicates. You may use the substitutions x/K1 and y/K2 suitably.

    ii. Given the following first order definite clauses, show how forward chaining may be used to answer the
    query.

    P(K1)
    Q(K3,K1,K2)
    P(K1) Ʌ Q(K3,K1,K2) => R(K3)
    P, Q, R are predicates. K1, K2, K3 are constants.

    5. Represent the following sentences in predicate logic and convert the following sentences to CNF form.
    1) All women who like ice-creams like chocolates. (2)
    2) No man is happy with a spendthrift wife. (2)
    3) The best movie in Hollywood is always better than the movie in Bollywood. (2)
    7. Consider the following sentences:
    a. John likes all kinds of food.
    b. Apples are good
    c. Chicken is food
    d. Anything anyone eats and isn't killed by is food.
    e. Bill eats peanuts and is still alive.
    f. Sue eats everything Bill eats.
    i. Translate these sentences into formula in predicate logic (4)
    ii. Prove that John likes peanuts using backward chaining. (4)
    iii. Convert the formulas of a part into a clause (6)
    iv. Prove that John likes Peanuts using resolution.(6)
    8. Assume the following facts (20)
    a. Steve only likes easy courses.
    b. Science courses are hard
    c. All courses in the Computer department are easy
    d. Artificial intelligence is a computer science course
    Use resolution to answer the following question

    “What course would Steve like?”

    You might also like

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy