Title :
Three-valued nonmonotonic logic
Author_Institution :
Dept. of Comput. Sci., Shantou Univ., China
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;
Conference_Titel :
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-3350-6
DOI :
10.1109/ISMVL.1993.289583
