Ordering-based Representations of Rational Inference
Konstantinos Georgatos
In the Proceedings of the European Workshop on Logics in AI (JELIA '96). J.J. Alferes, L.M. Pereira and E. Orlowska, Eds. Lecture Notes in Artificial Intelligence, vol. 1126, pages 176-191, Springer-Verlag, 1996 · 2000
We email you when a new notice or a question about this paper appears.
Abstract
Rational inference relations were introduced by Lehmann and Magidor as the ideal systems for drawing conclusions from a conditional base. However, there has been no simple characterization of these relations, other than its original representation by preferential models. In this paper, we shall characterize them with a class of total preorders of formulas by improving and extending Gardenfors and Makinson's results for expectation inference relations. A second representation is application-oriented and is obtained by considering a class of consequence operators that grade sets of defaults according to our reliance on them. The finitary fragment of this class of consequence operators has been employed by recent default logic formalisms based on maxiconsistency.
Abstract licence: CC0
Reads
Read by people on this page
None yet.
Checked or read by AI through naulon
None yet.
A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.
Are you an author?
Is this your paper?
Claim it to add your note and be paid when agents cite it. Free.