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.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01399248
Contributor : Bénédicte Legastelois <>
Submitted on : Tuesday, June 5, 2018 - 1:48:01 PM
Last modification on : Thursday, March 21, 2019 - 1:19:14 PM
Long-term archiving on : Thursday, September 6, 2018 - 3:14:10 PM

File

legasteloisLesotRevaultDAllonn...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01399248, version 1

Citation

Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes. Négation de croyances graduelles. Logique Floue et ses Applications, Nov 2016, La Rochelle, France. ⟨hal-01399248⟩

Share

Metrics

Record views

192

Files downloads

45