Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios

TL;DR

This paper introduces a formalism using cooperation logic to model multi-agent control scenarios, addressing the limitations of existing argumentation frameworks in uncertain, dynamic environments.

Contribution

It extends control argumentation frameworks by incorporating coalition formation and multi-agent interactions through cooperation logic.

Findings

Develops a formalism for multi-agent scenarios

Analyzes agents' strategies in uncertain environments

Enhances modeling of strategic interactions

Abstract

The intent of control argumentation frameworks is to specifically model strategic scenarios from the perspective of an agent by extending the standard model of argumentation framework in a way that takes unquantified uncertainty regarding arguments and attacks into account. They do not, however, adequately account for coalition formation and interactions among a set of agents in an uncertain environment. To address this challenge, we propose a formalism of a multi-agent scenario via cooperation logic and investigate agents' strategies and actions in a dynamic environment.