Generalizing existing MAS logics into a unified comprehensive framework

Determine whether generalizations of existing logics for representing and reasoning about multi-agent systems can yield a single uniform and comprehensive framework that models multiple distinct aspects of multi-agent domains.

Background

The paper surveys a broad literature of logics and programming platforms for multi-agent systems, noting that many proposals are tailored to specific aspects or application scenarios and thus address only subsets of the features needed for real-world MAS modeling. The authors highlight the difficulty of consolidating these diverse proposals into a unified framework that can comprehensively model several different aspects of MAS domains.

This contextualizes their work on an action language and implementation, while explicitly noting that the broader challenge of generalizing and unifying existing MAS logics remains unresolved.