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 e M extension introduces an additional value, outside the truth scale, to distinguish between these two notions. This paper studies L e M 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 e M .
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01540164
Contributor : Marie-Jeanne Lesot <>
Submitted on : Thursday, October 5, 2017 - 5:54:22 PM
Last modification on : Thursday, March 21, 2019 - 2:22:18 PM
Long-term archiving on : Monday, January 8, 2018 - 12:52:28 PM

File

revaultDAllonnesLesot.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01540164, version 1

Citation

Adrien Revault d'Allonnes, Marie-Jeanne Lesot. If I don’t know, should I infer? Reasoning around ignorance in a many-valued framework. 17th World Congress of the International Fuzzy Systems Association, IFSA2017 , Jun 2017, Otsu, Japan. ⟨hal-01540164⟩

Share

Metrics

Record views

486

Files downloads

135