Négation de croyances graduelles - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Négation de croyances graduelles

Résumé

La négation est une opération centrale dans la construction de systèmes logiques et elle joue un rôle es-sentiel dans les outils de raisonnement et de manipulation d'information. Cet article considère leprobì eme de la négation pour la manipulation de croyances graduelles, dans le cadre d'une logique doxastique pondérée : iíií etudie trois interprétations de la négation pour ces infor-mations de haut niveau, qui transfèrent respectivement la négation aux trois composantes des croyances gra-duelles : la formulè a propos de laquelle une croyance est exprimée, la modalité de croyance et le degré de croyance. Il discute le choix de cadres formels appro-priés dans chaque cas, en considérant les logiques mo-dales, floue et multi-valuée. Mots-clés : Croyances, raisonnement, logiques modales, logiques pondérées, logique doxastique. Abstract: Negation is a key element in the construction of logical systems and plays a central role in reasoning and information manipulation tools. This paper considers the issue of negating graded beliefs, in the framework of a graded doxastic logic. It studies three interpretations of negation for these high level pieces of information, where negation is transferred to the three components of graded beliefs : the formula about which a belief is expressed, the belief modality and the belief level. The paper discusses the choice of appropriate formal frameworks for each of these, considering modal, fuzzy and many-valued logics.
Fichier principal
Vignette du fichier
legasteloisLesotRevaultDAllonnes.pdf (201.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01399248 , version 1 (05-06-2018)

Identifiants

  • HAL Id : hal-01399248 , version 1

Citer

Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes. Négation de croyances graduelles. Rencontres Francophones sur la Logique Floue et ses Applications, Nov 2016, La Rochelle, France. ⟨hal-01399248⟩
200 Consultations
72 Téléchargements

Partager

More