Consider the following logic puzzle by Lewis Carroll: Animals, that do not kick, are always unexcitable....
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Consider the following logic puzzle by Lewis Carroll: Animals, that do not kick, are always unexcitable. Donkeys have no horns. A buffalo can always toss one over a gate. No animals that kick are easy to swallow. No hornless animal can toss one over a gate. All animals are excitable, except buffaloes. (a) Translate the given KB into first-order definite clauses. Use predicates DONKEY (2), HORNLESS (2), CANTTOSS(2), NOTBUFFALO (2), EXCITABLE (2), KICKS(2), HARDTOSWOLLOW(x). (b) Use the forward-chaining inference algorithm to prove that the Donkey from Shrek (Donkey shrek) is not easy to swallow. Indicate which conclusions were added to the KB at each iteration (don't forget to show that all necessary premises were satisfied in each case of addition). (c) Draw the proof tree that is generated by the procedure in (b). (d) Use FOL resolution algorithm to prove that that Donkey shrek is not easy to swallow. Consider the following logic puzzle by Lewis Carroll: Animals, that do not kick, are always unexcitable. Donkeys have no horns. A buffalo can always toss one over a gate. No animals that kick are easy to swallow. No hornless animal can toss one over a gate. All animals are excitable, except buffaloes. (a) Translate the given KB into first-order definite clauses. Use predicates DONKEY (2), HORNLESS (2), CANTTOSS(2), NOTBUFFALO (2), EXCITABLE (2), KICKS(2), HARDTOSWOLLOW(x). (b) Use the forward-chaining inference algorithm to prove that the Donkey from Shrek (Donkey shrek) is not easy to swallow. Indicate which conclusions were added to the KB at each iteration (don't forget to show that all necessary premises were satisfied in each case of addition). (c) Draw the proof tree that is generated by the procedure in (b). (d) Use FOL resolution algorithm to prove that that Donkey shrek is not easy to swallow.
Expert Answer:
Related Book For
Posted Date:
Students also viewed these operating system questions
-
Q1. You have identified a market opportunity for home media players that would cater for older members of the population. Many older people have difficulty in understanding the operating principles...
-
re Regular Languages and Finite Automata (a) Let L be the set of all strings over the alphabet {a, b} that end in a and do not contain the substring bb. Describe a deterministic finite automaton...
-
A recent PwC Supply Global Chain survey indicated that companies that acknowledge the supply chain as a strategic asset achieve 70% higher performance. The Leaders in the survey point to...
-
Ontario Power Generation (OPG) Inc.'s statement of cash flows reported cash provided by operating activities of $816 million in 2010, a $517 million increase over the $299 million reported in 2009....
-
A reservoir is supplied with water at 60F by a pipe with a venturi meter as shown. The water leaves the reservoir through a triangular weir with an included angle of 60. The flow coefficient of the...
-
The velocity in a certain two-dimensional flow field is given by the equation \[ \mathbf{V}=2 x \hat{\mathbf{i}}-2 y t \hat{\mathbf{j}} \] where the velocity is in \(\mathrm{ft} / \mathrm{s}\) when...
-
Hugh Leach Corp., a producer of machine tools, wants to move to a larger site. Two alternative locations have been identified: Bonham and McKinney. Bonham would have fixed costs of $800,000 per year...
-
A cyclist accelerates from rest along straight, horizontal path for a time t accel = 17.5 s at a rate of a = 1.1 m/s squared. part a) Calculate the magnitude of the displacement, in meters, for the...
-
The enthalpy of atom combination for CCl 4 (g) is -1306.3 kJ/mol rxn . Calculate the average bond strength of the C-Cl bond. The answer is 326.6 kJ/mol.
-
1.The nursing student addresses an 86-year-old patient by his first name at their initial meeting. To the patient, this behavior a.is a sign of the nursing students empathy for the patient. b.could...
-
Determine how much money Jackson will have at the end of 3 years Also what's the interest "i=r\m" Jackson deposits $50 at the end of each month in a savings account earning interest at a rate of...
-
Serum iron was measure in 60 healthy adults. The sample mean of serum iron was 18.30 with a sample standard deviation of 4.66. Based on the date estimate the population mean serum level in healthy...
-
The company Amazon acquired raw materials whose cash value is $586,250.90 on credit, with a down payment of 30% on the cash price, and the balance through advance monthly payments of $15,250.00 and a...
-
Case Study Reflective: this makes scents PURPOSE: The purpose of this reflection is to think about the information provided in the case study and how you will integrate your learnings in the working...
-
Find the equations of three level curves of the function f (x, y) = e* + cosy. Your answer should show the equation, direction, and location of each of these curves. The three curves should be in...
-
In Problem use geometric formulas to find the unsigned area between the graph of y = f(x) and the x axis over the indicated interval. f(x) = x + 5; [0, 4]
-
In the graph below, use black ink to draw the inverse demand curve, p1(y) = 200 y. (a) If the monopolist has zero costs, where on this curve will it choose to operate? _____. (b) Now draw another...
-
Here is the table of reservation prices for apartments taken from Chapter 1: Person = A B C D E F G H Price = 40 25 30 35 10 18 15 5 (a) If the equilibrium rent for an apartment turns out to be $20,...
-
Suppose that the Greater Potato metropolitan government rejects the idea of imposing traffic tolls and decides instead to rebuild the Middle Potato highway so as to double its capacity. With the...
-
For the attached flows over slender delta wings, show that at low angles of attack Eqs. 1.11 and 1.33 are identical. Eq 1.11 Eq 1.13 = 1 2 AR CL=
-
The ellipsoid given in Problem 2.3 is also undergoing a pulsative major axis change with the same period but with phase difference \(\phi\). Express the equation of surfaces. Problem 2.3 An oblate...
-
Express the components of stress tensor in generalized coordinates in terms ofvelocity gradients.
Study smarter with the SolutionInn App