[논문 리뷰] Logic-Driven Semantic Communication for Resilient Multi-Agent Systems

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

Software-Defined Networks and 5G인용 수 0

한 줄 요약

본 논문은 분산 다중 에이전트 시스템의 형식적인 2차원 회복력 개념(인식적 회복력과 행동 회복력)을 정의하고, 이를 Kripke 구조를 갖춘 시간적 인식 논리로 포함시키며, 의미 기반 통신이 가능한 분산 알고리즘 아키텍처와 형식적 보장을 제시하고, 사례 연구를 통해 검증된다.

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를 위한 원칙적이고 통합된 회복력 개념을 정의하되, 이는 인식 회복력과 행동 회복력으로 구성된다.
• 지식 루프와 행동 루프 모두에 대해 회복 가능성 시간과 내구성 시간으로 회복력을 정량화한다.
• Kripke 구조로 믿음을 모델링하고 논리 기반 메시지를 통한 믿음 업데이트를 지원하는 의미 기반 통신 가능 에이전트 아키텍처를 설계한다.
• 인식적 및 행동 회복력을 달성하기 위한 분산 알고리즘을 개발하고 형식적 검증 보장을 제공한다.
• 네트워크 스트레스 하의 분산 의사결정 사례 연구를 통해 효율성을 입증한다.

제안 방법

• 지식 진화를 모델링하기 위해 Kripke 구조를 갖춘 시간적 인식 논리를 사용하여 MAS 회복력을 형식화한다.
• 에이전트의 믿음과 상호 지식을 추적하기 위해 Kripke 기반 내부 모델을 구체화한다.
• 회복 가능성/내구성의 인식적 지표와 행동 회복 가능성/내구성을 정의한다.
• 외부 역학과 믿음 업데이트를 인식적 행동으로 수행하는 내부 인식 프로세서가 있는 두 구성요소 에이전트 아키텍처를 제안한다.
• 회복력을 달성하기 위해 인식적 및 외부 정책을 안내하는 분산 알고리즘을 개발한다.
• 회복력 명세에 대한 유한 수평의 형식적 검증 보장을 제공한다.

(a) Proposed agent architecture.

실험 결과

연구 질문

• RQ1 지식 루프와 행동 루프에 걸쳐 분산 MAS의 회복력을 어떻게 엄격하게 정의하고 측정할 수 있는가?
• RQ2 교란 이후 회복 속도와 지속적 성능의 지속 기간을 포착하는 지표는 무엇인가?
• RQ3 의미 기반 통신이 가능한 아키텍처가 MAS에서 신뢰할 수 있는 믿음 업데이트와 조정된 회복을 지원할 수 있는가?
• RQ4 시간적 인식 논리 보장을 갖춘 분산 알고리즘이 기본 회복력 접근법보다 성능이 우수한가?

주요 결과

• 인식적 회복력과 행동 회복력을 결합한 형식적 2차원 회복력 정의가 제안된다.
• 회복력은 인식적 구성 요소와 행동 구성 요소 모두에 대해 회복 가능 시간과 내구 시간으로 정량화된다.
• 에이전트 아키텍처는 지식을 업데이트하기 위해 내부 Kripke 기반 믿음 모델과 의미 기반 통신을 결합한다.
• 형식적 검증 보장을 갖춘 인식적 및 행동 회복력을 달성하기 위해 분산 알고리즘이 개발된다.
• 급격한 네트워크 스트레스 상황에서의 분산 의사결정에 대한 사례 연구는 프레임워크가 기본 방법들을 능가함을 보여준다.

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