PP-2008-40: A Logic for Cooperation, Actions and Preferences

PP-2008-40: Kurzen, Lena (2008) A Logic for Cooperation, Actions and Preferences. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (190kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


The concepts of cooperation actions and preferences play central roles
in situations in which agents interact with each other. In many cases,
agents cooperate and act together as groups because as a group they
can achieve something better than they could individually. If we want
to make explicit how agents or groups of agents can achieve certain
results, this leads us to the concept of actions, since it is by
performing actions that agents interact. Preferences are an important
concept in interactive situations because the agents make their
decisions based on the preferences they have over possible

In this paper, a modal logic for reasoning about cooperation, actions
and preferences of agents is developed. It is shown to be sound and
complete and the satisfiability problem of its fragment that does not
contain strict preferences is shown to be NExpTime-complete.

Item Type: Report
Report Nr: PP-2008-40
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Modal Logic; Preference Logics; Coalitional Power; Action Logics; interaction; multi-agent systems
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/314

Actions (login required)

View Item View Item