Abstract:A quantitative assessment of the global importance of an agent in a team is as valuable as gold for strategists, decision-makers, and sports coaches. Yet, retrieving this information is not trivial since in a cooperative task it is hard to isolate the performance of an individual from the one of the whole team. Moreover, it is not always clear the relationship between the role of an agent and his personal attributes. In this work we conceive an application of the Shapley analysis for studying the contribution of both agent policies and attributes, putting them on equal footing. Since the computational complexity is NP-hard and scales exponentially with the number of participants in a transferable utility coalitional game, we resort to exploiting a-priori knowledge about the rules of the game to constrain the relations between the participants over a graph. We hence propose a method to determine a Hierarchical Knowledge Graph of agents' policies and features in a Multi-Agent System. Assuming a simulator of the system is available, the graph structure allows to exploit dynamic programming to assess the importances in a much faster way. We test the proposed approach in a proof-of-case environment deploying both hardcoded policies and policies obtained via Deep Reinforcement Learning. The proposed paradigm is less computationally demanding than trivially computing the Shapley values and provides great insight not only into the importance of an agent in a team but also into the attributes needed to deploy the policy at its best.

Eliminating ontology contradictions based on the Myerson value

Concise and Organized Perception Facilitates Large Language Models for Deductive Reasoning.

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

Inferring with inconsistent OWL DL ontology: a multi-valued logic approach

A DL-Based Approach for Eliminating Concept Restriction Conflicts in Ontology Merging

Argumentation-Based Non-Monotonic Reasoning of Agents

Towards a more efficient computation of individual attribute and policy contribution for post-hoc explanation of cooperative multi-agent systems using Myerson values

A New Axiomatization of the Shapley-solidarity Value for Games with a Coalition Structure

ContraSolver: Self-Alignment of Language Models by Resolving Internal Preference Contradictions

An Argumentation Framework for Description Logic Ontology Reasoning and Management

Truthful Mechanisms for Multi Agent Self-interested Correspondence Selection

Modeling Non-Monotonic Properties under Propositional Argumentation

Aligning with Logic: Measuring, Evaluating and Improving Logical Consistency in Large Language Models

Repairing Ontologies via Axiom Weakening

Reasoning about concepts with LLMs: Inconsistencies abound

Identifying Roles of Formulas in Inconsistency under Priest's Minimally Inconsistent Logic of Paradox

A Knowledge Representation Approach to Automated Mathematical Modelling

Towards A Paradoxical Description Logic For The Semantic Web

Shapley Value Computation in Ontology-Mediated Query Answering

A Normalization of the Myerson Value with the Matrix Approach

LeanReasoner: Boosting Complex Logical Reasoning with Lean