Journal of Symbolic Logic 67 (1):1-23 (2002)
AbstractThis paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation
Similar books and articles
A Theory of Hierarchical Consequence and Conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
New Techniques and Completeness Results for Preferential Structures.Karl Schlechta - 2000 - Journal of Symbolic Logic 65 (2):719-746.
Preferential Hiring and the Question of Competence.Michael Philips - 1991 - Journal of Business Ethics 10 (2):161 - 163.
On Representation Theorems for Nonmonotonic Consequence Relations.Ramón Pino Pérez & Carlos Uzcátegui - 2000 - Journal of Symbolic Logic 65 (3):1321-1337.
An Algebraic Characterization of Equivalent Preferential Models.Zhaohui Zhu & Rong Zhang - 2007 - Journal of Symbolic Logic 72 (3):803 - 833.
The Relationship Between KLM and MAK Models for Nonmonotonic Inference Operations.Jürgen Dix & David Makinson - 1992 - Journal of Logic, Language and Information 1 (2):131-140.
A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems.Arnon Avron & Iddo Lev - 2001 - In Proceedings of the Workshop on Inconsistency in Data and Knowledge. pp. 60-70.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
What Does a Conditional Knowledge Base Entail?Daniel Lehmann & Menachem Magidor - 1992 - Artificial Intelligence 55 (1):1-60.