Goal-Oriented Medium Access with Distributed Belief Processing

2024-12-10

AI Summary

To address timeliness degradation and collision conflicts in goal-oriented anomaly monitoring within dense wireless sensor networks, this paper proposes a distributed medium access control (MAC) protocol based on dynamic epistemic logic (DEL). The protocol constructs a distributed Age of Incorrect Information (AoII) belief model at each sensor node using public ACK feedback, enabling goal-driven channel access without global synchronization. Methodologically, it integrates DEL-based formal modeling, AoII-aware distributed belief reasoning, and Monte Carlo simulation for validation. Compared to classical random access, the protocol achieves significantly higher throughput; relative to state-of-the-art scheduling schemes, it reduces AoII by at least 30%; and it maintains strong robustness under imperfect feedback. This work constitutes the first systematic application of DEL to MAC-layer design, establishing a novel paradigm for low-AoII cooperative communication in resource-constrained distributed sensing systems.

Technology Category

• Multiagent Systems: Agent Communication
• Planning, Routing, and Scheduling: Model-Based Reasoning
• Constraint Satisfaction and Optimization: Distributed CSP/Optimization

Application Category

• Graph Algorithms and Modeling for the Web: Algorithms and analysis for incomplete, noisy, or partially observed Web-related graphs
• Security and Privacy: Large-scale security measurements
• Systems and Infrastructure for Web, Mobile and WoT: Web performance, measurement, and characterization

Abstract

Goal-oriented communication entails the timely transmission of updates related to a specific goal defined by the application. In a distributed setup with multiple sensors, each individual sensor knows its own observation and can determine its freshness, as measured by Age of Incorrect Information (AoII). This local knowledge is suited for distributed medium access, where the transmission strategies have to deal with collisions. We present Dynamic Epistemic Logic for Tracking Anomalies (DELTA), a medium access protocol that limits collisions and minimizes AoII in anomaly reporting over dense networks. Each sensor knows its own AoII, while it can compute the belief about the AoII for all other sensors, based on their Age of Information (AoI), which is inferred from the acknowledgments. This results in a goal-oriented approach based on dynamic epistemic logic emerging from public information. We analyze the resulting DELTA protocol both from a theoretical standpoint and with Monte Carlo simulations, showing that it is significantly more efficient and robust than classical random access, while outperforming state-of-the-art scheduled schemes by at least 30%, even with imperfect feedback.

Problem

• Develops a protocol to minimize Age of Incorrect Information (AoII) in dense networks.
• Addresses collision issues in distributed medium access for anomaly reporting.
• Enhances efficiency and robustness over traditional and scheduled access methods.

Innovation

• Dynamic Epistemic Logic for Tracking Anomalies (DELTA)
• Distributed medium access with AoII awareness
• Collision reduction and AoII minimization in dense networks