The relationship between KLM and MAK models for nonmonotonic inference operations

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 nonmonotonic logic  knowledge representation
Categories (categorize this paper)
DOI 10.1007/BF00171694
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 24,433
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
David Makinson (1993). Five Faces of Minimality. Studia Logica 52 (3):339 - 379.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

23 ( #205,684 of 1,924,986 )

Recent downloads (6 months)

7 ( #124,764 of 1,924,986 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.