A first-order logic grounded semantic communication framework that transmits only decision-critical clauses via semantic rate-distortion and information bottleneck principles while preserving logical verifiability.
Combined with the uniform priorp(C w) = 1/2K: p(C w |e) = 1{C w |=e} |C(e)| , p(e) = |C(e)| 2K , p(h|e) = |C(e∧h)| |C(e)|
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.IT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Goal-Oriented Semantic Communication for Logical Decision Making
A first-order logic grounded semantic communication framework that transmits only decision-critical clauses via semantic rate-distortion and information bottleneck principles while preserving logical verifiability.