If I don’t know, should I infer? Reasoning around ignorance in a many-valued framework - Sorbonne Université
Communication Dans Un Congrès Année : 2017

If I don’t know, should I infer? Reasoning around ignorance in a many-valued framework

Résumé

—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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01540164 , version 1

Citer

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⟩
299 Consultations
162 Téléchargements

Partager

More