The relationship between KLM and MAK models for nonmonotonic inference operations

Journal of Logic, Language and Information 1 (2):131-140 (1992)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
70 (#211,377)

6 months
3 (#439,232)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

References found in this work

Add more references