Moinard, Yves and Rolland, Raymond
Characterizations of preferential entailments
, INRIA, Research Report RR-3928, IRISA, Publication Interne 1326 , Rennes, France , apr , 2000 , Document

Résumé Une inférence préférentielle est définie par une relation binaire, appelée ``relation de préférence\'\'. Cette relation peut être définie sur des interprétations, ou sur des ensembles d\'interprétations, ou sur des ``états\'\' qui sont des ``copies\'\' d\'interprétations ou d\'ensembles d\'interprétations. Cela donne donc quatre versions d\'inférences préférentielles. Ce papier se concentre sur le cas de la logique propositionnelle, mais il décrit également la situation dans le cas de la logique du premier ordre. Ainsi, la troisième version introduite ci-dessus peut être considérée comme une manière de simuler les principaux aspects de la version la plus simple (la première) quand elle est définie dans le cadre du calcul des prédicats, tout en demeurant en logique propositionnelle: en effet, cette troisième version autorise dans le cas propositionnel autant de copies d\'interprétations que l\'on veut pour une théorie complète, ce qui est la situation du calcul des prédicats. Ce papier fournit des résultats de caractérisation, en termes de propriétés logiques purement syntaxiques, pour les quatre versions d\'inférence préférentielle. À chaque fois, les propriétés les plus simples et naturelles possibles sont choisies, et parfois plusieurs résultats de caractérisation sont fournis pour la même notion. Une conséquence de ces résultats est que la quatrième version n\'est en réalité pas plus générale que la deuxième: on peut définir directement la relation sur les ensembles d\'interprétations, sans avoir recours aux ``états\'\' dans ce cas.


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