Les opérations de changement basées sur le test de Ramsey
Résumé
Ce chapitre a une double ambition. D’une part, nous souhaiterions donner un exemple concret d’une fonction de mise à jour d’une base de données à partir d’hypothèses simples, de manière constructive et dans un langage formel aux caractéristiques déductives attrayantes du point de vue de la complexité du calcul. D’autre part, nous voudrions discuter, à partir de cet exemple, certains des présupposés, et peut-être même des préjugés, les plus répandus dans la littérature de la théorie de la révision. Ces présupposés (ces préjugés) trouvent leur origine dans l’hétérogénéité des traditions de recherche qui en constituent l’arrière plan. L’absence d’une véritable analyse intentionnelle fine est, à notre avis, l’aspect fédérateur de ces traditions de recherche hétérogènes qui ont été de fait sollicitées dans la constitution de la théorie moderne de la révision. Nous donnons à la section 2.1 quelques éléments permettant de justifier une telle assertion, en esquissant les buts et les méthodes de ces trois traditions quant au problème de la croyance.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)