[論文レビュー] Logic-Driven Semantic Communication for Resilient Multi-Agent Systems

Tamara Alshammari, Mehdi Bennis|arXiv (Cornell University)|Jan 11, 2026

Software-Defined Networks and 5G被引用数 0

ひとこと要約

論文は、分散型マルチエージェントシステムの新たな二次元的レジリエンス概念（認知的レジリエンスと行動レジリエンス）を定義し、ク理的時相論理とクライブ構造を用いてそれを組み込み、意味的通信を備えた分散アルゴリズムと形式的保証を提供するエー Architectureを提示し、ケーススタディで検証する。

ABSTRACT

The advent of 6G networks is accelerating autonomy and intelligence in large-scale, decentralized multi-agent systems (MAS). While this evolution enables adaptive behavior, it also heightens vulnerability to stressors such as environmental changes and adversarial behavior. Existing literature on resilience in decentralized MAS largely focuses on isolated aspects, such as fault tolerance, without offering a principled unified definition of multi-agent resilience. This gap limits the ability to design systems that can continuously sense, adapt, and recover under dynamic conditions. This article proposes a formal definition of MAS resilience grounded in two complementary dimensions: epistemic resilience, wherein agents recover and sustain accurate knowledge of the environment, and action resilience, wherein agents leverage that knowledge to coordinate and sustain goals under disruptions. We formalize resilience via temporal epistemic logic and quantify it using recoverability time (how quickly desired properties are re-established after a disturbance) and durability time (how long accurate beliefs and goal-directed behavior are sustained after recovery). We design an agent architecture and develop decentralized algorithms to achieve both epistemic and action resilience. We provide formal verification guarantees, showing that our specifications are sound with respect to the metric bounds and admit finite-horizon verification, enabling design-time certification and lightweight runtime monitoring. Through a case study on distributed multi-agent decision-making under stressors, we show that our approach outperforms baseline methods. Our formal verification analysis and simulation results highlight that the proposed framework enables resilient, knowledge-driven decision-making and sustained operation, laying the groundwork for resilient decentralized MAS in next-generation communication systems.

研究の動機と目的

• 分散型MASに対する principled な統一的レジリエンス概念を定義する（認知的レジリエンスと行動レジリエンスを含む）。
• 知識と行動ループの回復可能性と耐久時間を用いてレジリエンスを定量化する。
• Kripke 構造で信念をモデル化し、意味的通信を備えたエージェントアーキテクチャを設計する。信念更新は論理ベースのメッセージで行われる。
• 分散アルゴリズムを開発し、認知的および行動的レジリエンスを達成し、形式的検証保証を提供する。
• ネットワーク負荷下での分散意思決定のケーススタディを通じて有効性を示す。

提案手法

• Kripke 構造を用いた時相認識論理で MAS のレジリエンスを形式化し、知識の進化をモデル化する。
• Kripke ベースの内部モデルを具現化してエージェントの信念と相互信念を追跡する。
• レジリエンス指標を定義する：認知的回復可能性/耐久性および行動回復可能性/耐久性。
• 外部ダイナミクスと信念更新を通じて信念を更新する内部の認知プロセッサを備えた二成分のエージェントアーキテクチャを提案する。
• 認知的および外部ポリシーを導く分散アルゴリズムを開発してレジリエンスを達成する。
• レジリエンス仕様に対する有限ホライズンの形式的検証保証を提供する。

(a) Proposed agent architecture.

実験結果

リサーチクエスチョン

• RQ1 分散MASにおけるレジリエンスをどのように厳密に定義・測定できるか（知識と行動ループを跨いで）？
• RQ2 撹乱後の回復速度と持続的性能の指標は何か？
• RQ3 意味的通信を備えたアーキテクチャはMASにおける信念更新と協調的回復を信頼性高くサポートできるか？
• RQ4 時相的認識論理の保証を伴う分散アルゴリズムは基準的なレジリエンス手法より優れているか？

主な発見

• 形式的な二次元レジリエンス定義を提案。認知的レジリエンスと行動レジリエンスを組み合わせる。
• レジリエンスは認知的・行動的成分の回復可能性時間と耐久時間で定量化される。
• 内部のKripke ベース信念モデルと意味的通信を結合して知識を更新するエージェントアーキテクチャを提案。
• 認知的および行動レジリエンスを達成する分散アルゴリズムと形式的検証保証を開発。
• 突然のネットワークストレス下での分散型意思決定のケーススタディは、枠組みがベースライン手法より優れていることを示す。

(b) Detailed structure of agent $i$ ’s ‘Internal Processing’ unit within the proposed agent architecture.