Scribd Logo
Upload

Welcome to Scribd!

  • 190 views

    Artificial Intelligence: Tutorial 5 Questions Predicate Logic

    Uploaded by

    hoangduc007
    This document contains questions about predicate logic and translating statements into predicate logic formulas. It asks the reader to: 1) Translate several statements about cows and animals into predicate logic. 2) Find the most general unifier for pairs of atomic sentences. 3) Translate sentences about horses, mammals, family relations into predicate logic formulas. 4) Translate statements about food, eating, and people into logic formulas and use reasoning techniques like backward chaining and resolution to prove statements. 5) Represent facts about a bridge club in predicate logic and use resolution to prove additional statements.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd

    Artificial Intelligence: Tutorial 5 Questions Predicate Logic

    Uploaded by

    hoangduc007
    190 views2 pages
    This document contains questions about predicate logic and translating statements into predicate logic formulas. It asks the reader to: 1) Translate several statements about cows and animals into predicate logic. 2) Find the most general unifier for pairs of atomic sentences. 3) Translate sentences about horses, mammals, family relations into predicate logic formulas. 4) Translate statements about food, eating, and people into logic formulas and use reasoning techniques like backward chaining and resolution to prove statements. 5) Represent facts about a bridge club in predicate logic and use resolution to prove additional statements.

    Original Title

    Tut+5

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This document contains questions about predicate logic and translating statements into predicate logic formulas. It asks the reader to: 1) Translate several statements about cows and animals into predicate logic. 2) Find the most general unifier for pairs of atomic sentences. 3) Translate sentences about horses, mammals, family relations into predicate logic formulas. 4) Translate statements about food, eating, and people into logic formulas and use reasoning techniques like backward chaining and resolution to prove statements. 5) Represent facts about a bridge club in predicate logic and use resolution to prove additional statements.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    190 views2 pages

    Artificial Intelligence: Tutorial 5 Questions Predicate Logic

    Uploaded by

    hoangduc007
    This document contains questions about predicate logic and translating statements into predicate logic formulas. It asks the reader to: 1) Translate several statements about cows and animals into predicate logic. 2) Find the most general unifier for pairs of atomic sentences. 3) Translate sentences about horses, mammals, family relations into predicate logic formulas. 4) Translate statements about food, eating, and people into logic formulas and use reasoning techniques like backward chaining and resolution to prove statements. 5) Represent facts about a bridge club in predicate logic and use resolution to prove additional statements.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    You are on page 1of 2

    TRNG I HC BCH KHOA TP.

    HCM Khoa Khoa hc & K thut My tnh

    ARTIFICIAL INTELLIGENCE
    Tutorial 5 Questions PREDICATE LOGIC
    Question 1. What is an English equivalent of the following formulas? Assume cow(x) means x is a cow and animal(x) means x is an animal. a. cow(daisy) b. x: cow(x) c. x: cow(x) animal(x) d. x: animal(x) cow(x) Question 2.
    For each pair of atomic sentences, give the most general unifier if it exists:

    a. P(A, B, B), P(x, y, z). b. Q(y, G(A, B)), Q(G(x, x), y). c. Older(Father(y), y), Older(Father(x), John). d. Knows(Father(y), y), Knows(x, x). Question 3. Translate the following sentences into formulas in predicate logic: a. Horses, cows, and pigs are mammals. b. An offspring of a horse is a horse. c. Bluebeard is a horse. d. Bluebeard is Charlie's parent. e. Offspring and parent are inverse relations. f. Every mammal has a parent. Question 4. Consider the following sentences: John likes all kinds of food. Apples are food. Chicken is food. Anything anyone eats and isnt killed by is food. Bill eats peanuts and is still alive. Sue eats everything Bill eats 1

    TRNG I HC BCH KHOA TP.HCM Khoa Khoa hc & K thut My tnh a. Translate these sentences into formulas in predicate logic. b. Prove that John likes peanuts using backward chaining. c. Convert the formulas of part a into clause form. d. Prove that John likes peanuts using resolution. e. Use resolution to answer the question, What food does Sue eat? Question 5. Consider the following facts: The members of the Elm St. Bridge Club are Joe, Sally, Bill, and Ellen. Joe is married to Sally. Bill is Ellens brother. The spouse of every married person in the club is also in the club. The last meeting of the club was at Joes house.

    a. Represent these facts in predicate logic. b. From the facts given above, most people would be able to decide on the truth of the following additional statements: The last meeting of the club was at Sallys house. Ellen is not married.

    Can you construct resolution proofs to demonstrate the truth of each of these statements given the five facts listed above? Do so if possible. Otherwise, add the facts you need and then construct the proofs.

    -- End --

    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