Belief maintenance in a natural language system

Abstract

A method for belief maintenance for a natural language system is proposed. Based on uncertainty values and the interlinkage of directly asserted and derived propositions, the method provides a means for the postponement of a decision regarding the reason for a contradiction, and includes algorithms that perform nonmonotonic reasoning on a commonsense knowledge base in a manner consistent with humanlike, informal reasoning.<>