Answer all 3 parts R)n(S => H)2. A => (B U CUD)3. E => (B UCUG)4. (B UC UD) => A5. (B UC UG) => E6. Q => (G UCUHUP)7. Q8. -F9. -A10. E(1). Converting the above to Conjunctive Normal...


Answer all 3 parts


Consider the following formula in propositional logic. The knowledge base from (1) to (10) is given.<br>1. (~A => R)n(S => H)<br>2. A => (B U CUD)<br>3. E => (B UCUG)<br>4. (B UC UD) => A<br>5. (B UC UG) => E<br>6. Q => (G UCUHUP)<br>7. Q<br>8. -F<br>9. -A<br>10. E<br>(1). Converting the above to Conjunctive Normal Form.<br>(2). From the result of (1), prove G by using reference rules as Method 1 of the lecture note. Write the<br>process of the proof with the corresponding number of rules and facts.<br>(3) From the result of (1), prove KB = G by contradiction as to show KB A- G is unsatifiable as<br>Method 2 of the lecture note. Write the process of the proof with the corresponding number of rules and<br>facts. You should start with - G for this process.<br>

Extracted text: Consider the following formula in propositional logic. The knowledge base from (1) to (10) is given. 1. (~A => R)n(S => H) 2. A => (B U CUD) 3. E => (B UCUG) 4. (B UC UD) => A 5. (B UC UG) => E 6. Q => (G UCUHUP) 7. Q 8. -F 9. -A 10. E (1). Converting the above to Conjunctive Normal Form. (2). From the result of (1), prove G by using reference rules as Method 1 of the lecture note. Write the process of the proof with the corresponding number of rules and facts. (3) From the result of (1), prove KB = G by contradiction as to show KB A- G is unsatifiable as Method 2 of the lecture note. Write the process of the proof with the corresponding number of rules and facts. You should start with - G for this process.

Jun 06, 2022
SOLUTION.PDF

Get Answer To This Question

Related Questions & Answers

More Questions »

Submit New Assignment

Copy and Paste Your Assignment Here