• DocumentCode
    1839169
  • Title

    Three-valued nonmonotonic logic

  • Author

    Lin, Zuoquan

  • Author_Institution
    Dept. of Comput. Sci., Shantou Univ., China
  • fYear
    1993
  • fDate
    24-27 May 1993
  • Firstpage
    42
  • Lastpage
    47
  • Abstract
    The three-valued formulation of nonmonotonic logics is established. It is shown how to extend standard nonmonotonic logics to the three-valued case. It is also shown that a three-valued nonmonotonic logic called maximally ignorant (MI) logic can capture various major standard nonmonotonic logics as its special cases. It is argued that the three-valued nonmonotonic logic is closely related to modal logic
  • Keywords
    nonmonotonic reasoning; ternary logic; maximally ignorant logic; modal logic; nonmonotonic logics; three-valued formulation; Artificial intelligence; Birds; Computer science; Intelligent systems; Lattices; Multivalued logic; Prototypes;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
  • Conference_Location
    Sacramento, CA
  • Print_ISBN
    0-8186-3350-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1993.289583
  • Filename
    289583
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1839169