A semantic approach to nonmonotonic reasoning: Inference operations and choice

Abstract

AbstractThis paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences frominfinitesets of premisses. The semantics is formulated in terms ofselection functionsand is a generalisation of thepreferential semanticsof Shoham, Kraus et al., and Makinson. 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 anonmonotonic consequenceof 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 utilised 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 characterised axiomatically. Several semantic representation theorems are proved for operations of this kind.