Title | ||
---|---|---|
If I don't know, should I infer? Reasoning around ignorance in a many-valued framework. |
Abstract | ||
---|---|---|
Many-valued logic allows to reason with partial truth measured by degrees on a discrete scale, but it suffers from an ambiguous interpretation of the middle truth level, considered as intermediate truth or as ignorance, i.e. inability to assess truth. The L-M(e) extension introduces an additional value, outside the truth scale, to distinguish between these two notions. This paper studies L-M(e) from a logical perspective, examining how to reason in this framework: it discusses the definition of appropriate semantics for the logical connectives and it considers an inference task, proposing a Modus Ponens variant for L-M(e) |
Year | Venue | Field |
---|---|---|
2017 | Joint International Conference on Soft Computing and Intelligent Systems SCIS and International Symposium on Advanced Intelligent Systems ISIS | Logical truth,Logical connective,Modus ponens,Coherence theory of truth,Ignorance,Inference,Computer science,Truth value,Propositional calculus,Artificial intelligence,Epistemology,Machine learning |
DocType | ISSN | Citations |
Conference | 2377-6870 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Adrien Revault | 1 | 12 | 4.72 |
Marie-Jeanne Lesot | 2 | 220 | 32.41 |