arXiv:2601.06733cs.MAcs.AI2026-01被引 3

用逻辑框架提升多智能体系统的抗扰能力,实现环境认知与行动协同的双重韧性。

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems

  • 基于时序认识逻辑定义双维度韧性:认知恢复与行为持续
  • 提出可量化指标:恢复时间与持续时间,分别衡量响应速度和稳定性
  • 支持设计阶段验证与运行时轻量监控,适合高可靠性场景

6G网络正推动大规模去中心化多智能体系统(MAS)向更高自主与智能演进。然而,环境变化与对抗行为等压力使系统更易受损,现有研究多聚焦单一韧性方面,缺乏统一的理论定义。本文提出一种基于互补维度的正式韧性定义:认知韧性(agent恢复并保持对环境的准确知识)与行为韧性(基于该知识协调并维持目标)。通过时序认识逻辑形式化韧性,并引入恢复时间(扰动后属性重新建立所需时间)与持续时间(恢复后准确信念与目标行为维持时长)进行量化。设计了去中心化代理架构与算法,实现双韧性。提供形式化验证保证,证明规范在度量边界下有效,且支持有限时域验证,可实现设计期认证与轻量级运行时监控。案例研究显示,在压力环境下,该方法优于基线方案。形式化分析与仿真结果表明,该框架能实现知识驱动的弹性决策与持续运行,为下一代通信系统中的韧性去中心化系统奠定基础。

原文摘要 · Abstract (English)

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.

多智能体韧性系统逻辑推理6G

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。