Axiomatic Foundations for Nonadditive Multiattribute Portfolio Utility Functions

This paper presents a missing link between Plotkin’s least general generalization formalism and generalization on the Order Sorted Feature (OSF) foundation. A feature term (or ψ-term) is an extended logic term based on ordered sorts and is a normal form of an OSF-term. An axiomatic definition of ψ-term generalization is given as a set of OSF clause generalization rules and the least generality ...

In Possibilistic Decision Theory (PDT), decisions are ranked by a pessimistic or by an optimistic qualitative criteria. The preference relations induced by these criteria have been axiomatized by corresponding sets of rationality postulates, both à la Von Neumann and Morgenstern and à la Savage. In this paper we first address a particular issue regarding the axiomatic systems of PDT à la Von Ne...