Moinard, Yves and Rolland, Raymond Ensembles de formules équivalents pour la circonscription , RFIA'2000 : Reconnaissance des Formes et Intelligence Artificielle , Paris , II: 189--198 , feb , 2000 , Document Résumé La circonscription définit la notion d'exception en termes de logique classique. Nous étudions quand deux ensembles de formules donnent naissance à la même circonscription de formules. Deux équivalences doivent être considérées: la simple (deux ensembles fournissent la même circonscription) et la forte (l'équivalence est préservée par réunion de chacun des deux ensembles initiaux avec un même ensemble arbitraire). L'équivalence forte correspond au fait d'avoir la même fermeture pour ``et'' et pour ``ou''. L'étude de ces deux équivalences est exhaustive dans le cas propositionnel. Même pour l'équivalence simple, nous démontrons qu'il existe toujours un plus grand ensemble équivalent à un ensemble donné, et nous fournissons un critère d'équivalence, qui devient purement syntaxique dans le cas où on part d'une circonscription ordinaire. Cette étude conduit à introduire deux versions (plus une pour le cas infini) de ``formules positives pour un ensemble de formules donné'', associées à ces deux équivalences. Ce site est maintenu par René Quiniou au moyen du système Weave développé au sein du projet Caravel : http://www-caravel.inria.fr. Dernière modification : 07-10-2011 09:54:25 English version