A method is provided for “but reasoning” with an inconsistent knowledge base. The method not only gives an answer to a Boolean question but also additional and instructive information. The method first finds a bridge statement that explains a contradiction between the answer and the inconsistent knowledge base. The method then selects a but statement that causes the contradiction with the answer, and constructs and validates a but answer with the answer, the but statement, and optionally the bridge statement.
展开▼