Assignment 6: 40 points
Due Wednesday, October 20, 2021
1. Suppose that you have a knowledge base with the following facts:
∀y[(Inherit(y, W ALMART) ∧ Recruited(y, T ENNIS)) → (Rich(y) ∧ Healthy(y))]
∀x[(Athlete(x) ∨ Lucky(x)) → ∀w(T eam(w) → Recruited(x, w))]
∀x(Lucky(x) → Inherit(x, W ALMART))
T eam(T ENNIS)
T eam(F OOT BALL)
T eam(HOCKEY )
(a) (10 points) Convert each of the above facts to clause form.
(b) (10 points) Use resolution theorem proving to answer the question Who is healthy?
Be sure to show your work.
2. (20 pts) Suppose that you have the following knowledge base of clauses:
C1 = Q(Eastern, Boston, US)
C2 = Q(Central, Bonn, Germany)
C3 = Q(h(w), w, France)
C4 = ¬P(h(y)) ∨ R1(x,y) ∨ R2(z,x)
C5 = ¬R2(Sports, Prince)
C6 = ¬R1(Prince, Ryan)
C7 = S(w,Cahokia,US) ∨ R1(Dunlop, Cliff)
C8 = ¬R1(duPont, Warner)
Use resolution to find values for r, s, and u such that (Q(r, s, u) ∧ ¬P(r)) is true. Show your
work. Write your answers for r, s, and u at the bottom of your page.
r= s= u=
-research paper writing service
We value our customers and so we ensure that what we do is 100% original..
With us you are guaranteed of quality work done by our qualified experts.Your information and everything that you do with us is kept completely confidential.
You have to be 100% sure of the quality of your product to give a money-back guarantee. This describes us perfectly. Make sure that this guarantee is totally transparent.Read more
The Product ordered is guaranteed to be original. Orders are checked by the most advanced anti-plagiarism software in the market to assure that the Product is 100% original. The Company has a zero tolerance policy for plagiarism.Read more
The Free Revision policy is a courtesy service that the Company provides to help ensure Customer’s total satisfaction with the completed Order. To receive free revision the Company requires that the Customer provide the request within fourteen (14) days from the first completion date and within a period of thirty (30) days for dissertations.Read more
The Company is committed to protect the privacy of the Customer and it will never resell or share any of Customer’s personal information, including credit card data, with any third party. All the online transactions are processed through the secure and reliable online payment systems.Read more
By placing an order with us, you agree to the service we provide. We will endear to do all that it takes to deliver a comprehensive paper as per your requirements. We also count on your cooperation to ensure that we deliver on this mandate.Read more