Moinard, Yves and Rolland, Raymond Résultats inattendus de la circonscription (premier et second ordre) , RFIA (Reconnaissance des Formes et Intelligence Artificielle) , Paris , 1301--1314 , dec , 1989 Résumé La circonscription, une des formes les plus connues du raisonnement non monotone, minimise l'extension de certains prédicats. Nous traitons de la circonscription du premier ordre et de celle du second ordre, ce qui nous oblige d'abord à bien préciser les différences existant entre ces deux versions. un inconvénient de la circonscription est qu'elle provoque parfois l'inconsistance. nous donnons des exemples prouvant que la version du second ordre provoque plus facilement l'inconsistance, même pour des théories simples. Nous montrons également que la circonscription du second ordre équivaut parfois à un axiome de finitude, ce qui est plutôt inattendu. le résultat inattendu le plus spectaculaire se produit avec les théories pour lesquelles la minimisation de ``P'' permet de démontrer la formule ``quelque soit x, P(x)'', alors que la théorie original ne permettait pas de démontrer cette formule. cela peut se produire avec les circonscriptions du premier ou du second ordre. 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