Une proposition de modélisation de la révision des croyances basée sur un emploi de la Logique Quantique
Abstract
Ce texte présente la Logique Quantique de façon sémantique en la comparant avec la sémantique de la Logique Classique propositionnelle. Un modèle de croyance est développé sur cette logique. Celui-ci admet une et une seule ré-vision qui soit un opérateur continu disposant des propriétés de clôture, d'extensionnalité, d'idempotence et permettant le raisonnement par cas. Nous arguons que la propriété dite de consistance n'est pas psychologiquement plausible ; elle n'est pas satisfaite par cette révision. Nous montrons qu'à cette propriété près, cette révision satisfait une version quan-tique des axiomes de la rectification (revising, axiomatique évoluée de Alchourrón, Gärdenførs et Makinson) et de l'ac-tualisation (updating, axiomes de Katsuno et Mendelzon). Cette révision est également compatible avec l'interprétation des conditionnels contrefactuels (modélisés par l'implication quantique) en termes de révision (test de Ramsey).
Origin : Files produced by the author(s)
Loading...