TitleA Logical Framework to Represent and Reason about Graded Preferences and Intentions
Publication TypeConference Paper
Year of Publication2008
AuthorsCasali A, Godo L, Sierra C
Conference NameEleventh International Conference on Principles of Knowledge Representation and Reasoning, KR 2008
EditionG. Brewka and J. Lang
PublisherThe AAAI Press
Conference LocationSydney
Pagination27-37
Abstract

In intentional agents, actions are derived from the mental attitudes and their relationships. In particular, preferences (positive desires) and restrictions (negative desires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper, we present a general logical framework to represent and reasoning about gradual notions of desires and intentions, including sound and complete axiomatizations. 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.