Towards Semantic Communication Protocols: A Probabilistic Logic Perspective
Sejin Seo, Jihong Park, Seung-Woo Ko, Jinho Choi, Mehdi Bennis, and, Seong-Lyun Kim

TL;DR
This paper introduces a novel semantic protocol model that transforms neural network-based communication protocols into interpretable probabilistic logic representations, enabling better understanding, reconfiguration, and adaptation in mission-critical applications.
Contribution
It presents the first method to convert neural protocol models into interpretable probabilistic logic graphs, combining interpretability with neural efficiency.
Findings
SPM closely approximates NPM with only 0.02% memory usage.
Demonstrated applications include collision-avoidance reconfiguration and environment adaptation.
Semantic entropy enables comparison and management of multiple protocols.
Abstract
Classical medium access control (MAC) protocols are interpretable, yet their task-agnostic control signaling messages (CMs) are ill-suited for emerging mission-critical applications. By contrast, neural network (NN) based protocol models (NPMs) learn to generate task-specific CMs, but their rationale and impact lack interpretability. To fill this void, in this article we propose, for the first time, a semantic protocol model (SPM) constructed by transforming an NPM into an interpretable symbolic graph written in the probabilistic logic programming language (ProbLog). This transformation is viable by extracting and merging common CMs and their connections while treating the NPM as a CM generator. By extensive simulations, we corroborate that the SPM tightly approximates its original NPM while occupying only 0.02% memory. By leveraging its interpretability and memory-efficiency, we…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services · Robotics and Automated Systems · Software Testing and Debugging Techniques
