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