Vahid Yazdanpanah
Strategic Responsibility Under Imperfect Information
Yazdanpanah, Vahid; Dastani, Mehdi; Jamroga, Wojciech; Alechina, Natasha; Logan, Brian
Authors
Mehdi Dastani
Wojciech Jamroga
Natasha Alechina
Brian Logan
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.
Citation
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 592-600
Conference Name | 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19 |
---|---|
Start Date | May 13, 2019 |
End Date | Jun 17, 2019 |
Acceptance Date | Jan 23, 2019 |
Publication Date | May 13, 2019 |
Deposit Date | Jun 14, 2019 |
Journal | Proc. of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) |
Publisher | Association for Computing Machinery (ACM) |
Pages | 592-600 |
Book Title | AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems |
ISBN | 978-1-4503-6309-9 |
Public URL | https://nottingham-repository.worktribe.com/output/2189342 |
Publisher URL | https://dl.acm.org/citation.cfm?id=3331745 |
You might also like
Decidable Model Checking with Uniform Strategies
(2019)
Conference Proceeding
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL
(2019)
Conference Proceeding
Model checking for Coalition Announcement Logic
(2018)
Book Chapter
Unbounded orchestrations of transdeucers for manufacturing
(2019)
Conference Proceeding
Norm approximation for imperfect monitors
(2014)
Conference Proceeding