PP-2008-40: Kurzen, Lena (2008) A Logic for Cooperation, Actions and Preferences. [Report]
Preview |
Text (Full Text)
PP-2008-40.text.pdf Download (190kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
