Semantics for Modelling Reason-Based Preferences

In [13] the authors developed a logical system based on the definition of a new non-classical connective ⊗ originally capturing the notion of reparative obligation. The operator ⊗ and the system were proved to be appropriate for rather handling well-known contrary-to-duty paradoxes. Later on, a suitable modeltheoretic possible-world semantics has been developed [4, 5]. In this paper we show how a version of this semantics can be used to develop a sound and complete logic of preference and offer a suitable possible-world semantics. The semantics is a sequence-based non-normal one extending and generalising semantics for classical modal logics.

• Type: Journal
• Year: 2015
• Where: PRIMA
• Authors: Erica Calardo, Guido Governatori, Antonino Rotolo
• Keywords: Intelligent Agents, PRIMA 2015