Title :
Reliability measure theory: a nonmonotonic semantics
Author :
Kim, Minkoo ; Maida, Anthony S.
Author_Institution :
Dept. of Comput. Sci., Ajou Univ., Suwon, South Korea
fDate :
2/1/1993 12:00:00 AM
Abstract :
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
Keywords :
knowledge based systems; many-valued logics; nonmonotonic reasoning; semantic networks; knowledge base; multivalued logics; nonmonotonic reasoning; nonmonotonic semantics; reliability measure theory; semantic framework; Birds; Computer science; Humans; Multivalued logic; Qualifications; Reliability theory; Writing;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
