Issue No. 01 - February (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.204090
<p>A semantic framework for nonmonotonic reasoning is developed. Specifically, a reliability measure theory based on multivalued logics that view a knowledge base as a set of contexts is proposed, and the contexts are compared according to some reliability measure. The proposed theory shows higher precision of nonmonotonic reasoning than other approaches. In particular, the qualification problem does not occur and many unwanted conflicts are eliminated.</p>
reliability measure theory; nonmonotonic semantics; semantic framework; nonmonotonic reasoning; multivalued logics; knowledge base; knowledge based systems; many-valued logics; nonmonotonic reasoning; semantic networks
M. Kim and A. Maida, "Reliability Measure Theory: A Nonmonotonic Semantics," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 41-51, 1993.