Q9: Knowledge Representation Consider the following statements: 1. All children have a favourite toy. 2. Whoever likes dolls or soft toys is a child. 3. Fuzzy is a soft toy: SOFT-TOY (Fuzzy). 4. Ellen likes Fuzzy: LIKES (Ellen, Fuzzy). (a) Using only the following predicates CHILD(*), HAS-FAV-TOY(*), LIKES (*,*), DOLL(*) and SOFT-TOY(*), represent the two statements as predicate calculus well formed formulas (Wffs) Notes: The asterisks indicate the number of arguments in each predicate; keep your representation consistent with the predicates in statements 3 and 4 above.) (b) Convert these statements into clauses. (c) Use resolution refutation to prove that Ellen has a favourite toy. state the goal, and indicate clearly the number of the clause you are using, and any substitutions you make. Goal 5: HAS-FAV-TOY (Ellen). Negated goal: -HAS-FAV-TOY(Ellen).

Q9: Knowledge Representation Consider the following statements: 1. All children have a favourite toy. 2. Whoever likes dolls or soft toys is a child. 3. Fuzzy is a soft toy: SOFT-TOY (Fuzzy). 4. Ellen likes Fuzzy: LIKES (Ellen, Fuzzy). (a) Using only the following predicates CHILD(), HAS-FAV-TOY(), LIKES (,), DOLL() and SOFT-TOY(), represent the two statements as predicate calculus well formed formulas (Wffs) Notes: The asterisks indicate the number of arguments in each predicate; keep your representation consistent with the predicates in statements 3 and 4 above.) (b) Convert these statements into clauses. (c) Use resolution refutation to prove that Ellen has a favourite toy. state the goal, and indicate clearly the number of the clause you are using, and any substitutions you make. Goal 5: HAS-FAV-TOY (Ellen). Negated goal: -HAS-FAV-TOY(Ellen).

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Similar questions

Suppose that: • variable X can represent any creature, • the predicate tove(X) is true if and only if X is a tove, • the predicate slithy(X) is true if and only if X is slithy, and • the function action(X) is a function that returns the kind of action that X is able to perform. Write a statement in predicate logic with the following meaning: "Any tove that can gyre or gimble must also be slithy." The following symbols are provided for you to copy if you wish (though not many of them are needed in this question, and you are not limited to using only the symbols that are listed here): 3 V A V ¬ A → € e ± Answer:
PLEASE TYPE ANSWER Exercise 1.7.4: Translating quantified statements from English to logic, part 3. In the following question, the domain is a set of employees who work at a company. Ingrid is one of the employees at the company. Define the following predicates: S(x): x was sick yesterday W(x): x went to work yesterday V(x): x was on vacation yesterday Translate the following English statements into a logical expression with the same meaning. (d) Yesterday someone was sick and went to work. (e) Everyone who did not go to work yesterday was sick. (f) Everyone who missed work was sick or on vacation (or both).
Let the domain be the set of all students in a certain class. Define the following predicate: C(x, y) : x and y have chatted over the Internet. Translate each of the following English statements into a logical expression. 1. Rachel has not chatted over the internet with Chelsea. 2. No one has chatted with Bob over the Internet. 3. Someone has chatted with everyone over the Internet. 4. No one has chatted with everyone over the Internet. 5. Everyone has chatted with someone over the Internet.
Let the domain be the set of all students in a certain class. Define the following predicate: C(x, y) : x and y have chatted over the Internet. Translate each of the following English statements into a logical expression. 1. Rachel has not chatted over the internet with Chelsea. 2. No one has chatted with Bob over the Internet. 3. Someone has chatted with everyone over the Internet. 4. No one has chatted with everyone over the Internet. 5. Everyone has chatted with someone over the Internet. There are two ways to submit answers to this question: 1) Eneter in essay box directly. Note that logical expressions must be entered in Math mode, which begins with \(, and end with \). Below is a list of LaTex code for each logical operator. V Ivee A \wedge - \neg → \to + \leftrightarrow Vx \forall x Ex \exists x
write the Z-Notation for these statements.-The set of all customers that did not book a class yet, which customers are in this set.-Set of all Courses with the type Yoga that are booked by a customer. Which coursesare in this set.-Predicate that evaluates to true if there is a customer who booked at least 2 classes.Is this true or false?Example of Z-Notation: ∀t : Trainer • ∃c : course • (t,c) ∈Teaches
write the Z-Notation for these statements.-The set of all customers that did not book a class yet, which customers are in this set.-Set of all Courses with the type Yoga that are booked by a customer. Which coursesare in this set.-Predicate that evaluates to true if there is a customer who booked at least 2 classes.Is this true or false?
Required information Let C(x) be the statement " x has a cat," let D(x) be the statement " x has a dog," and let F(x) be the statement " x has a ferret" Let the domain consist of all students in your class. Express the statement below in terms of C(x),D(x).F(x), quantifiers, and logical connectives. A student in your class has a cat, a dog, and a ferret. Multiple Choice ∀x(C(x)∨D(x)∨P(x)) ∃x(x)∨D(x)∨P(x)) ∀x(C(x)∧D(x)∧P(x)) ∃x(C(x)∧D(x)∧R(x)
Material : Fuzzy Logic As a member of an excellent engineering team, you and the team are asked to design a futuristic car capable of automatically controlling the speed of the car based on the variable linguistic inputs such as temperature and weather (cloud-cover). Now, given three variable linguistics namely: temp = (freezing, cool, warm, hot); cloud-cover = (sunny, partly, overcast); speed = (slow, fast) With each of membership function is as follows (See First Picture): Determine what is the speed of the car if the variable input temp=55oF and the cloudcover = 35% with fuzzy inference rules applied are: If cloud_cover = sunny & temp = warm → speed = fast If cloud_cover = cloudy & temp = cool → speed = slow
Write the Z-Notation for these statements. Please type your answers. -The set of all customers that did not book a class yet, which customers are in this set.-Set of all Courses with the type Yoga that are booked by a customer. Which coursesare in this set.-Predicate that evaluates to true if there is a customer who booked at least 2 classes.Is this true or false?Example of Z-Notation: ∀t : Trainer • ∃c : course • (t,c) ∈Teaches
3. Let S(x) be the statement "x studied for the exam" and H(x, y) be the statement "x scored higher than y in the exam," where the domain of x and y consists of all students in this class. Which logical expression corresponds to the following statement? "Every student in this class who studied for the exam scored higher in the exam than every student who did not study for the exam." a. VxVy (H (x, y) → (S(x) ^ ¬S(y))) b. VxVy(S(x)^¬S(y) ^ H (x, y)) c. VxVy((S(x) ^ ¬S(y)) → H (x, y)) d. VxVy((S(x) → ¬S(y)) → H (x, y))
Let p, q, and r be the propositionsp :You get an A on the final exam.q :You do every exercise in this book.r :You get an A in this class.Write the proposition using p, q, and r and logicalconnectives. proposition: You will get anA in this class if and only if you eitherdo every exercise in this book or you get an A on thefinal.
Answer the following questions about the given statement:∃c : Course • c.type = Boxing ∧∃co : Customer • (co,c) ∈Books ∧∃t : Trainer •(t,c) ∈Teaches ∧t.credit >1•What does this statement mean?•Is this statement a set or a predicate?•What does the statement evaluate to based on the current system state? Examples for reference:•∃g : Owner • g.name = gymowner ∧g.email = test-There exists an owner with the name gymowner and email test-predicate-false•{c : Course |∃co : Customer • (co,c) ∈Books}-Set of all Courses which are booked by a customer-set-{Boxing,WeightLifting,Yoga1,Wrestling}•{t : Trainer |#{c : Course |(t,c) ∈Teaches}>1}-Set of all Trainers who teach more than 1 class.-set-{Trainer 2}