A logical framework to represent and reason about graded preferences and intentions
Ana Casali, Lluı́s Godo, Carles Sierra · 2008
In intentional agents, actions are derived from the men-tal attitudes and their relationships. In particular, pref-erences (positive desires) and restrictions (negative de-sires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper, we present a general logical framework to rep-resent and reasoning about gradual notions of desires and intentions, including sound and complete axioma-tizations. Some extensions are proposed corresponding to certain additional constraints that the agent can set about the kind of preferences she is dealing with. We also show that the framework is expressive enough to describe how desires, together with other information, can lead agents to intentions.