Sven Ove Hansson

Real-life decision-making often begins with a disorderly decision problem that has to be clarified and systematized before a decision can be made. This is the process of decision structuring that has largely been ignored both in decision theory and applied decision analysis. In this contribution, ten major components of decision structuring are identified, namely the determination of its scope, subdivision, agency, timing, options, control ascriptions, framing, horizon, criteria and restructuring. Four of these components, namely the scope, subdivision, options, and horizon of a decision, are subjected to a more detailed analysis.

In order to avoid the paradoxes of standard deontic logic, we have to give up the semantic construction that identifies obligatory status with presence in all elements of a subset of the set of possible worlds. It is proposed that deontic logic should instead be based on a preference relation, according to the principle that whatever is better than something permitted is itself permitted. Close connections hold between the logical properties of a preference relation and those of the deontic logics that are derived from it in this way. The paradoxes of SDL can be avoided with this construction, but it is still an open question what type of preference relation is best suited to be used as a basis for deontic logic.

The AGM (Alchourrón-Gärdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that are not closed under logical consequence (belief bases). Three major types of change operations, namely contraction, internal revision, and external revision are axiomatically characterized, and their interrelations are studied. In external revision, the Levi identity is reversed in the sense that one first adds the new belief to the belief base, and afterwards contracts its negation. It is argued that external revision represents an intuitively plausible way of revising one's beliefs. Since it typically involves the temporary acceptance of an inconsistent set of beliefs, it can only be used in belief representations that distinguish between different inconsistent sets of belief

Situationist deontic logic is a model of that fraction of normative discourse which refers to only one situation and one set of alternatives. As we can see from a whole series of well-known paradoxes, standard deontic logic (SDL) is seriously mistaken even at the situationist level. In this paper it is shown how a more realistic deontic logic can be based on the assumption that prescriptive predicates satisfy the property of contranegativity. A satisfactory account of situation-specific norms is a necessary prerequisite for a successful treatment of more complex normative structures

The basic assumption of repertoire contraction is that only some of the logically closed subsets of the original belief set are viable as contraction outcomes. Contraction takes the form of choosing directly among these viable outcomes, rather than among cognitively more far-fetched objects such as possible worlds or maximal consistent subsets of the original belief set. In this first investigation of repertoire contraction, postulates for various variants of the operation are introduced. Necessary and sufficient conditions are given for when repertoire contraction coincides with AGM contraction or with operations generated by AGM-style contraction on a belief base. A close connection is shown to hold between repertoire contraction and specified meet contraction

An operator of belief change is reconstructible as another such operator if and only if any outcome that can be obtained with the former can also be obtained with the latter. Two operators are mutually reconstructible if they generate exactly the same set of outcomes. The relations of reconstructibility among fifteen operators of contraction, including the common AGM contraction operators, are completely characterized. Furthermore, the additional such relations are characterized that arise if all belief sets are required to be finite-based or if the language is finite. These results are significant for the choice of a formal model to represent how real-world agents change their beliefs. In particular, if two contraction operators are mutually reconstructible, then that limits the types of considerations that can legitimately be invoked in favour of one over the other