On representation theorems for nonmonotonic consequence relations
The purpose of this paper is to provide a uniform procedure for proving representation theorems for a fairly broad class of nonmonotonic preferential inference operations. The procedure covers inference operations \(C\) that satisfy the usual preferential rules plus the non-Horn condition of weak disjunctive rationality (WDR): \(C(\alpha\vee \beta)\subseteq Cn(C(\alpha)\cup C (\beta))\), where \(Cn\) is classical consequence. As already known, this condition permits us to restrict attention to injective preferential models and thus identify states with classical valuations. The work makes use of concepts of \textit{M. Freund}'s paper ``Injective models and disjunctive relations [J. Log. Comput. 3, 231-247 (1993; Zbl 0788.03032)]. That paper established a representation theorem for preferential conditions plus disjunctive rationality (DR): \(C(\alpha\vee \beta)\subseteq C(\alpha)\cup C(\beta)\), as well as one for WDR when the language is finite. Indeed, the authors' construction gives the same representing preferential model as that of Freund, when either of these two conditions is satisfied. The results may thus be described as extending those of Freund to reach below DR, for infinite languages, as far as WDR. The proof also dispenses with any intermediate preference relation over formulae, used by Freund as a stepping-stone to obtain a suitable preference relation between states. The job of representation is carried out directly by what the authors call the `essential relation' between evaluations: \(v<w\) iff \(v\) does not satisfy any formula whose closure under the inference operation is satisfied by \(w\). This relation is not always transitive, but is so for finite languages and also whenever the inference operation satisfies DR.
- A representation theorem for recovering contraction relations satisfying wci
- Normal conditions for inference relations and injective models
- Representation results for non-cumulative logics
- A discrete duality between nonmonotonic consequence relations and convex geometries
- Similarity between preferential models
- A characterization theorem for injective model classes axiomatized by general rules
- A representation for intransitive indifference relations
- Valuation structure in finite language
- Probabilistic approach to nonmonotonic consequence relations
- scientific article; zbMATH DE number 611091 (Why is no real title available?)
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
- Some Results on Classical Preferential Models
- An algebraic characterization of equivalent preferential models
- Two Representation Theorems for Non-monotonic Inference Relations
- Some contributions to nonmonotonic consequence
- Preferences and explanations
- Representation theorems for explanatory reasoning based on cumulative models
This page was built for publication: On representation theorems for nonmonotonic consequence relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4527926)
