Characterizations of Preferential Entailments - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2000

Characterizations of Preferential Entailments


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.
Fichier principal
Vignette du fichier
RR-3928.pdf (327.65 Ko) Télécharger le fichier

Dates and versions

inria-00072724 , version 1 (24-05-2006)


  • HAL Id : inria-00072724 , version 1


Yves Moinard, Raymond Rolland. Characterizations of Preferential Entailments. [Research Report] RR-3928, INRIA. 2000. ⟨inria-00072724⟩
327 View
255 Download


Gmail Facebook Twitter LinkedIn More