Question: Suppose propositional sentences and knowledge-base here. We have a knowledgebase called KB. KBPrime is defined as an union of (1) KB and (2) the negation

 Suppose propositional sentences and knowledge-base here. We have a knowledgebase called

Suppose propositional sentences and knowledge-base here. We have a knowledgebase called KB. KBPrime is defined as an union of (1) KB and (2) the negation of a propositional predicate P. Answer true/false to the following questions. Note that " = " is used to denote entailment, and " " is used to denote derivation through resolution. (a). (5 marks) If KB=P, then KBP. That is, if KB entails P, then KB derives (using resolution) P. (b). (5 marks) If KBP, then KB=P. (c). (5 marks) If KBPrime |- [], then KBPrime is not satisfiable. (d). (5 marks) If KBPrime is not satisfiable, then KBPrime I- []

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 Databases Questions!