[Solved]: Resolution and incomplete Knowledge Base

Problem Detail: 

Assume I have an incomplete knowledge base, for example:

(rich(dave), poor(dave))  // dave is either poor or rich  (not rich(dave), not poor(dave))  // dave is not poor and rich at the same time. 

My questions are: 1. If I do resolution on the above clauses, will I get the empty clause? and 2. If Yes, Does that mean my knowledge base is inconsistent?

Asked By : Aida T.

Answered By : Romuald

The theory is not inconsistent and trivially admits two different models :

• a first one in which dave is rich but not poor;
• a second one in which dave is poor but not rich.

You're maybe confusing the "empty clause" which contains no literal, thus being always false, with the "true clause" which contains both a literal and its negation, thus being always true. Applying resolution leads to the "true clause" resolvent, not the "empty clause".

Best Answer from StackOverflow

Question Source : http://cs.stackexchange.com/questions/6491

3.2K people like this

 Download Related Notes/Documents