• DocumentCode
    871867
  • Title

    Reliability measure theory: a nonmonotonic semantics

  • Author

    Kim, Minkoo ; Maida, Anthony S.

  • Author_Institution
    Dept. of Comput. Sci., Ajou Univ., Suwon, South Korea
  • Volume
    5
  • Issue
    1
  • fYear
    1993
  • fDate
    2/1/1993 12:00:00 AM
  • Firstpage
    41
  • Lastpage
    51
  • 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;
  • fLanguage
    English
  • Journal_Title
    Knowledge and Data Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1041-4347
  • Type

    jour

  • DOI
    10.1109/69.204090
  • Filename
    204090