|
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.
|
|