Characterizations of Preferential Entailments

Abstract : A preferential entailment is defined by a binary relation, or «preference relation». This relation may be among interpretations, or sets of interpretations, or among «states» which are «copies» of interpretations or of sets of interpretations. This provides four kinds of preferential entailments. The paper deals mainly with propositional logic, however it describes also the situation in first order logic. For instance, the third notion presented above can be seen as a way to simulate the main aspects of the simplest first notion when it is defined in the predicate calculus, while staying in the propositional calculus. Indeed, the third notion allows as many copies of interpretations as we want for a complete theory, even in the propositional calculus, and this is precisely what happens in the predicate calculus. What we do here is to provide a characterization result for these four kinds of preferential entailments. We choose properties as simple and natural as possible, and sometimes we provide various characterizations for the same notion. It appears that the apparently most complicated notion possesses by far the simplest characterization result. A by-product of our results is that the fourth notion is equivalent to the second notion: we may define directly the relation among sets of interpretations, eliminating the need for «states» in this case.
Type de document :
Rapport
[Research Report] RR-3928, INRIA. 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00072724
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:42:25
Dernière modification le : mardi 19 juin 2018 - 11:12:06
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:19:32

Fichiers

Identifiants

  • HAL Id : inria-00072724, version 1

Citation

Yves Moinard, Raymond Rolland. Characterizations of Preferential Entailments. [Research Report] RR-3928, INRIA. 2000. 〈inria-00072724〉

Partager

Métriques

Consultations de la notice

642

Téléchargements de fichiers

277