DocumentCode
1973937
Title
Many-valued logics and plausible reasoning
Author
Carnielli, Walter A.
Author_Institution
Inst. de Matematica, Sao Paolo Univ., Brazil
fYear
1990
fDate
23-25 May 1990
Firstpage
328
Lastpage
335
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location
Charlotte, NC
Print_ISBN
0-8186-2046-3
Type
conf
DOI
10.1109/ISMVL.1990.122642
Filename
122642
Link To Document