The relationship between KLM and MAK models for nonmonotonic inference operations
Journal of Logic, Language and Information 1 (2) (1992)
| Abstract | The purpose of this note is to make quite clear the relationship between two variants of the general notion of a preferential model for nonmonotonic inference: the models of Kraus, Lehmann and Magidor (KLM models) and those of Makinson (MAK models).On the one hand, we introduce the notion of the core of a KLM model, which suffices to fully determine the associated nonmonotonic inference relation. On the other hand, we slightly amplify MAK models with a monotonic consequence operation as additional ingredient. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNiki Pfeifer & G. D. Kleiter (2006). Is Human Reasoning About Nonmonotonic Conditionals Probabilistically Coherent? In Proceedings of the 7 T H Workshop on Uncertainty Processing.
Herman Jurjus & Harrie de Swart (2001). Implication with Possible Exceptions. Journal of Symbolic Logic 66 (2):517-535.
Alexander Bochman (2000). Belief Contraction as Nonmonotonic Inference. Journal of Symbolic Logic 65 (2):605-626.
John Pais (1992). Faithful Representation of Nonmonotonic Patterns of Inference. Minds and Machines 2 (1).
Rohit Parikh (2005). Conditional Probability and Defeasible Inference. Journal of Philosophical Logic 34 (1):97 - 119.
Zhaohui Zhu, Zhenghua Pan, Shifu Chen & Wujia Zhu (2002). Valuation Structure. Journal of Symbolic Logic 67 (1):1-23.
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
Zbigniew Stachniak (1995). Nonmonotonic Theories and Their Axiomatic Varieties. Journal of Logic, Language and Information 4 (4):317-334.
Michael Freund & Daniel Lehmann (1994). Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations. Studia Logica 53 (2):161 - 201.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,501 of 549,093 )Recent downloads (6 months)1 ( #63,317 of 549,093 )How can I increase my downloads? |
My notes
Discussion
