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

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

[img]
Preview
Text (Full Text)
PP-2008-40.text.pdf

Download (190kB) | Preview
[img] Text (Abstract)
PP-2008-40.abstract.txt

Download (1kB)

Abstract

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 alternatives. 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