On the possibility theory-based semantics for logics of preference

AbstractIn this paper, we study the semantics for the logics of preference based on possibility theory. Possibility distributions representing the preference between worlds are associated with the possible world models for dynamic logics. Then the preference between actions are determined by comparing some measures of their consequences. We define different logics of preference by considering the comparisons of possibility measures and guaranteed possibility measures. Some properties of the proposed logics are studied and their relationships with deontic logics are also considered