A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, no 10.

Download Edit this record How to cite View on PhilPapers
Abstract
This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically.
Categories
(categorize this paper)
PhilPapers/Archive ID
LINASA-6
Upload history
Archival date: 2018-08-03
View other versions
Added to PP index
2018-08-03

Total views
78 ( #37,287 of 51,189 )

Recent downloads (6 months)
9 ( #41,483 of 51,189 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.