Abstract
We study here some semantic properties of a specific kind of preferential relations, those which satisfy the rule of Disjunctive Rationality. This rule means essentially that if one may draw a conclusion from a disjunction of premisses, then one should be able to draw this conclusion from at least one of these premisses taken alone.
The main result we obtain in this paper is the construction of a representation theorem for such relations. We show indeed that there exists a certain kind of models which induce precisely all preferential operations satisfying the rule of Disjunctive Rationality. These models themselves reveal to be particularly easy to handle. They are just subsets of the set of all worlds of the language supporting the given relation, equipped with an ordering which is filtered: if two worlds n and m satisfy a proposition x and are not minimal for that property, then there exists a world p less than m and less than n that satisfies x.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Freund. (To appear) Supracompact inference operations.
M. Freund and D. Lehmann. (Manuscript) Nonmonotonic inference operations.
M. Freund, D. Lehmann and D. Makinson. Canonical extensions to the infinite case of finitary nonmonotonic inference relations. (Arbeitespapiere der GMD no443: Proceedings of the Workshop on Nonmonotonic Reasoning, 133–138, 1990)
P. Gärdenfors and D. Makinson. (To appear) Nonmonotonic Inference based on Expectations.
S. Kraus, D. Lehmann and M. MagidorNonmonotonic reasoning, preferential models and cumulative logics. (Artificial Intelligence 44, 167–207, 1990)
D. Lehmann and M. Magidor. Rational logics and their models: a study in cumulative logic. (Technical Report TR 88-16, Leibnitz Center for Computer Science, Dept. of Computer Science, Hebrew University, Jerusalem, November 1988)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freund, M. (1991). A semantic characterization of disjunctive relations. In: Jorrand, P., Kelemen, J. (eds) Fundamentals of Artificial Intelligence Research. FAIR 1991. Lecture Notes in Computer Science, vol 535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54507-7_7
Download citation
DOI: https://doi.org/10.1007/3-540-54507-7_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54507-1
Online ISBN: 978-3-540-38420-5
eBook Packages: Springer Book Archive