Title :
Many-valued logics and plausible reasoning
Author :
Carnielli, Walter A.
Author_Institution :
Inst. de Matematica, Sao Paolo Univ., Brazil
Abstract :
The analysis of reasoning with inconsistent information is modeled by a formal metasystem, META, which is presented. Semantics for META is given in terms of possible translations into three-valued logics which are based on a notion of contextual negation. From the point of view of applications, it is shown that this analysis can provide better foundations for default reasoning
Keywords :
formal languages; ternary logic; META; contextual negation; default reasoning; formal metasystem; plausible reasoning; reasoning with inconsistent information; three-valued logics; Artificial intelligence; Humans; Information analysis; Investments; Logic devices; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location :
Charlotte, NC
Print_ISBN :
0-8186-2046-3
DOI :
10.1109/ISMVL.1990.122642
