Négation de croyances graduelles : une discussion
La négation est une opération centrale dans la
construction de systèmes logiques et elle joue un rôle essentiel
dans les outils de raisonnement et de manipulation
d'information. Cet article considère le problème de
la négation pour la manipulation de croyances graduelles,
dans le cadre d'une logique doxastique pondérée : il
étudie trois interprétations de la négation pour ces informations
de haut niveau, qui transfèrent respectivement
la négation aux trois composantes des croyances graduelles
: la formule `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 appropriés dans chaque cas, en considérant les logiques modales,
floue et multi-valuée.
