Question: Proof by contradiction and resolution - I. We are given the following KB, which is already in CNF form. Does this KB entail R? Prove

Proof by contradiction and resolution - I. We are given the following KB, which is already in CNF form. Does this KB entail R? Prove your answer using proof-by-contradiction and resolution. Any reasoning other than proof-by-contradiction and resolution is NOT acceptable. Number the sentences and write which other sentences you used to derive them. Remember to answer the question of whether KB entails R.

KB - KNOWLEDGE BASE

CNF - CONJUNCTIVE NORMAL FORM

THE COMPLETE QUESTION IS IN THE RED BOX IN THE IMAGE ATTACHED. THE NSWER IS KB DOES NOT ENTAIL R. BUT I AM UNABLE TO PROVE IT.

THE SOLUTION HAS TO BE PROVED USING PROOF BY CONTRADICTION AND RESOLUTION ONLY.

3. Proof by contradiction and resolution - I. We are given the following KB, which is already in CNF form. Does this KB entail R? Prove your answer using proof-by-contradiction and resolution. Any reasoning other than proof-by-contradiction and resolution is NOT acceptable. Number the sentences and write which other sentences you used to derive them. Remember to answer the question of whether KB entails R. R1: -A v M THIS IS THE COMPLETE QUESTION R2: - B VL R3: -Q V R R4: -RV PV Q R5: R VS R6: P V -LV -M R7: -PVR R8: A R9: B 4. Proof by contradiction and resolution - II. We are given the following KB, which is already in CNF form. Does this KB entail (E A -G)? Prove your answer using proof-by-contradiction and resolution. Any reasoning other than proof-by-contradiction and resolution is NOT acceptable. Number the sentences and write which other sentences you used to derive them. Remember to answer the question of whether KB entails (EA -G). R1: -AV B R2: -A V C R3: -BVDVE R4: -CV -D R5: -CVG R6: A

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Mathematics Questions!

Give Correct ANSWERS Human-Computer Interaction (a) If you had been one of the original inventors of the WIMP interface, and engineers on the technical team had been sceptical about the advantages...

1) Verify the following identities (distribution laws) via truth table or by giving a short justification: A ? (B ? C) ? (A ? B) ? (A ? C) A ? (B ? C) ? (A ? B) ? (A ? C). 2) Verify the following...

In the context of proving Q ( a query variable ) using resolution [ as discussed in the class ] on a KB which uses propositional logic for representation, which of the statements is false Proving Q...

uestion 1(10 points) Saved Which of the following best describe the contradiction in the above proof by contradiction? Question 1 options: Line 4 contradicts line 1 Line 4 contradicts line 2 Line 3...

Proof Techniques Proof Methods (III): Contradiction and Contrapositive Proof by Contradiction Proof by Contrapositive Proof. (Use proof by contradiction.) Suppose that there exists an n such that...

Use the following building block to assemble a proof that if m and n are integers, and mn is even, then m is even or n is even. Nat all blocks belong in the proof. Before you start, you might want to...

4 . 7 Indirect Argument: Contradiction and Contraposition Definition 1 . The indirect method called proof by contraposition or contrapositive proof of P Q makes use of the tautology P Q Q P . We give...

Please follow the instructions and solve the following exercises. What you need to do: Answer the questions and/or solve the exercises described below. Exercise I (15 points) Consider this algorithm...

Solve question number 1. a hint is given also. thank you Anyway, for this assignment, below are what you have to complete. Do state, on the right, the rules that justify your steps, as always. 1....

Combinatorics PROBLEM 7.5. In this problem, you will prove that the Petersen graph is not planar. Let P denote the Petersen graph. The proof will be a proof by contradiction. We will assume that P...

The moist weight of 5130 cc of soil is 9.612 kg. If the moisture content is 18 percent and the specific gravity of soil solids is 2.55, find the following: (a) bulk density. (b) dry density. (c) void...

Compare the frequency and timing of recessions in key European economies since 1960. Make separate bar charts for Germany (FRED code: DEURECM), Italy (FRED code: ITARECM), and Spain (FRED code:...

For bilateral sites, the final character of the codes in the I-10 always indicates laterality. Group of answer choices True False

Oust the Turtle Company has the following balances on December 31, 2020: Cash on hand 4,500.00 Cash in bank A 33,000.00 Cash in bank X 50,000.00 Cash in bank C 822,999.72 Cash on hand includes $ 3....