Some Results on Classical Preferential Models
For finitary nonmonotonic inference operations (i.e. ones defined for finite sets of sentences as arguments), a now-classic representation theorem was proven by \textit{S. Kraus}, \textit{D. Lehmann} and \textit{M. Magidor} [Artif. Intell. 44, 167-207 (1990; Zbl 0782.03012)]. Briefly, such an operation is generated by a stoppered, classical preferential model iff it has the syntactic properties of supraclassicality, cumulativity and distributivity. In the paper under review, the author first shows that for infinitary inference operations, the right hand side of the above equivalence no longer implies the left. He then shows that it is nevertheless possible to obtain an infinitary result in the spirit of the Kraus/Lehmann/Magidor theorem. Specifically, an operation \(C: 2^ L\to 2^ L\) is generated by a ``definability-preserving classical preferential model iff it satisfies the syntactic properties of inclusion, left and right absorption with respect to classical consequence, and infinite conditionalization. Reviewer's comment: The author's result marks a clear step forward, obtaining representation on the infinitary level, but still leaves open a number of questions. In particular, noting that definability-preserving preferential models are not in general stoppered, and likewise that infinite conditionalization does not in general imply cumulativity, we are led to pose the question whether his theorem continues to hold when those conditions are added to the left and right hand sides respectively. The author has informed the reviewer that in as yet unpublished work, he has modified the construction to obtain an affirmative result to this question.
- A quantitative theory of preferences: Some results on transition functions
- Classical statistics as a theory of incentives
- Supracompact inference operations
- The relationship between KLM and MAK models for nonmonotonic inference operations
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- Logic, topology, and integration
- Belief revision and verisimilitude
- Representation results for non-cumulative logics
- A theory of hierarchical consequence and conditionals
- Distance semantics for belief revision
- Semantic interpolation
- Results on infinite extensions
- scientific article; zbMATH DE number 517026 (Why is no real title available?)
- scientific article; zbMATH DE number 549979 (Why is no real title available?)
- Deductive Nonmonotonic Inference Operations: Antitonic Representations
- New techniques and completeness results for preferential structures
- On representation theorems for nonmonotonic consequence relations
- Some completeness results for stoppered and ranked classical preferential models
- An algebraic characterization of equivalent preferential models
- Two Representation Theorems for Non-monotonic Inference Relations
- Ultravaluations and their applications in \textsf{CPL}
This page was built for publication: Some Results on Classical Preferential Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286911)
