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)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,827
Through your library
References found in this work BETA

No references found.

Add more references

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

Add more citations

Similar books and articles
Added to PP index

Total downloads
35 ( #160,178 of 2,210,107 )

Recent downloads (6 months)
11 ( #32,261 of 2,210,107 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature