Towards a framework of hansson's descriptor revision for conditionals
Jonas Philipp Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle · 2021
In descriptor revision as introduced by Hansson, it is possible to express different kinds of belief change operations like revision or contraction in a structured and combined way. In this paper, the descriptor framework is instantiated over a logic of qualitative conditionals. We propose to extend an approach employing the principle of conditional preservation, but covering only literal descriptors, to disjunctive descriptors. Such an extension would yield the possibility to express a much broader variety of belief change operators, for instance, "making up one's mind on a given formula in the underlying logic." Furthermore, we argue that the resulting conditional descriptor revision can be realized via constraint satisfaction problems.