If I don’t know, should I infer? Reasoning around ignorance in a many-valued framework - Archive ouverte HAL Access content directly
Conference Papers Year :

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 .
Fichier principal
Vignette du fichier
revaultDAllonnesLesot.pdf (235.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01540164 , version 1 (05-10-2017)

Identifiers

  • HAL Id : hal-01540164 , version 1

Cite

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⟩
229 View
138 Download

Share

Gmail Facebook Twitter LinkedIn More