and M. Freund 1 D. Lehmann 2 and 1Departement de Mathematiques, Universite d'Orleans 45067 Orleans, France 2Institute of Computer Science, Hebrew University, Jerusalem91904, Israel
In this paper we study negation rationality, an important property for non-monotonic inference relations. We show that the preferential relations that satisfy negation rationality and admit an injective model are exactly the preferential relations that satisfy the property of disjunctive rationality. We also propose a semantic-type characterization for relations that satisfy negation rationality.
Non-monotonic reasoning, negation rationality, non-monotonic consequence relations disjunctive rationality, injective models.
Part of the OUP Journal of Logic and Computation WWW service
Click here to register with OUP.
This page is maintained by OUP admin
Last updated 15 Jul 96
Part of the OUP Journals World Wide Web service.
Copyright Oxford University Press, 1996