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 .
Type de document :
Communication dans un congrès
17th World Congress of the International Fuzzy Systems Association, IFSA2017 , Jun 2017, Otsu, Japan. Proc. of the 17th World Congress of the International Fuzzy Systems Association, IFSA2017
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

http://hal.upmc.fr/hal-01540164
Contributeur : Marie-Jeanne Lesot <>
Soumis le : jeudi 5 octobre 2017 - 17:54:22
Dernière modification le : jeudi 11 janvier 2018 - 06:27:19
Document(s) archivé(s) le : lundi 8 janvier 2018 - 12:52:28

Fichier

revaultDAllonnesLesot.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01540164, version 1

Collections

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. Proc. of the 17th World Congress of the International Fuzzy Systems Association, IFSA2017. 〈hal-01540164〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

8