Moinard, Yves and Rolland, Raymond Propositional circumscriptions , INRIA, Research Report RR-3538, IRISA, Publication Interne 1211 , Rennes, France , oct , 1998 , Document Résumé La circonscription est un formalisme logique bien adapté au raisonnement de sens commun, et en particulier aux règles avec exceptions: les exceptions sont rendues aussi rares que possible en tenant compte des données. Nous donnons les principales propriétés du raisonnement par circonscription connues de nous à ce jour. Nous fournissons aussi des contre-exemples afin de préciser les limites précises des propriétés satisfaites. Nous nous restreignons au cas de la logique propositionnelle. Cependant, cette étude montre que ce seul cas est déjà suffisamment complexe pour permettre de bien cerner les propriétés essentielles de la circonscription en général. D'ailleurs, afin de justifier cette affirmation, nous donnons à chaque fois que c'est possible l'équivalent en terme de circonscription de prédicats des propriétés et contre-propriétés citées. Comme notre but est la circonscription, nous nous en tenons ici à l'inférence préférentielle la plus naturelle, qui suffit dans ce cas, ce qui s'écarte parfois de la littérature sur une ``inférence préférentielle'' plus complexe. Nous étudions aussi en détail la notion plus générale de circonscription de formules, en particulier nous précisons quand deux ensembles de formules donnent naissance à la même circonscription, et nous donnons un résultat de caractérisation des circonscriptions de formules, même dans le cas infini. Enfin, une partie importante est réservée à la signification intuitive, en termes de raisonnement, de quelques unes des propriétés et contre-propriétés présentées. Plusieurs exemples illustrent l'utilité de cette étude quand il s'agit de traduire précisément une situation donnée par des règles de sens commun en terme de circonscriptions. Cette partie contient une critique de méthodes classiques et présente des méthodes inédites. Ces nouvelles méthodes se contentent des circonscriptions les plus simples, là où les méthodes classiques nécessitaient parfois des versions plus exotiques. En conclusion, nous montrons comment cette étude fournit les bases d'une méthode systématique de traduction d'un ensemble de règles informelles en termes de circonscriptions. Cela permettrait enfin d'utiliser la sérieusement la circonscription pour ce pourquoi elle a été conçue dès l'origine. 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