© 1993 by Oxford University Press
Original Articles |
Injective Models and Disjunctive Relations
Department of Mathematics, University of Orléans 45067, Orléans, France.E-mail: freund{at}avion.univ-orleans.fr
In this paper, we prove the existence of a one-to-one mapping between the set of all preferential inference relations defined on a language £ and a family of transitive relations among the elements of this language. Given a preferential inference relation, we use the corresponding transitive relation to define an order among the set of all worlds associated to £. We characterize all the preferential inference relations that can be represented by this ordered set. As a particular case, we study the family of disjunctive relations, that is relations where a conclusion drawn from a disjunction of premisses can be drawn from one at least of those premisses taken alone. We show that for this type of relation, the associated model is injective and filtered: if two worlds m and n satisfy a proposition 
and are not minimal for that property, then there exists a world p less than both of them that satisfies . As we prove, conversely, that any filtered model defines a disjunctive inference relation, we obtain a representation theorem for these relations. Applying finally these results to the family of rational relations, we get a new proof of the representation of these relations by means of ranked injective models.
Keywords: Non-monotonic reasoning; disjunctive rationality; non-monotonic consequence relations.