Abstract
A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or groups of agents are responsible for bringing about a particular state of affairs. Similarly, when verifying a multiagent system, we may wish to determine the responsibility of agents or groups of agents for a particular state of affairs, and the contribution of each agent to bringing about that state of affairs. In this paper, we discuss several aspects of responsibility, including strategic ability of agents, their epistemic properties, and their relationship to the evolution of the system behavior. We introduce a formal framework for reasoning about the responsibility of individual agents and agent groups in terms of the agents' strategies and epistemic properties, and state some properties of the framework.
| Original language | English |
|---|---|
| Title of host publication | AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems |
| Publisher | The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) |
| Pages | 592-600 |
| Number of pages | 9 |
| ISBN (Electronic) | 978-1-4503-6309-9 |
| DOIs | |
| Publication status | Published - 2019 |
| Event | 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 - Montreal, Canada Duration: 13 May 2019 → 17 May 2019 Conference number: 18 http://aamas2019.encs.concordia.ca/ |
Conference
| Conference | 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 |
|---|---|
| Abbreviated title | AAMAS |
| Country/Territory | Canada |
| City | Montreal |
| Period | 13/05/19 → 17/05/19 |
| Internet address |
Keywords
- Responsibility in agent systems
- Strategic reasoning
- Concurrent game structures
- Temporal and modal logic