A Semantics for Logics of Preference Based on Possibility Theory
Churn‐Jung Liau · 2007
In 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 will define different logics of preference by considering the comparisons of possibility measures and guaranteed possibility measures. Some properties of the proposed logics will be studied and their relationships with deontic logics will also be considered. Key words: Possibility theory, deontic logic, logic of preference, dynamic logic. 1 Introduction Deontic logic is the logic for reasoning about norms. Deontic reasoning has been extensively exploited in ethics and legal philosophy since the ancient times. However, the first modern formal system for deontic logic is not established until the fifties[14]. Though the system is influential on the later wo...