Nuovo Framework Integra Sistemi di Prova Formale con la Teoria di Shannon per la Comunicazione Semantica
Un nuovo articolo intitolato "Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication" è stato pubblicato su arXiv con ID 2604.16471. Offre un approccio dettagliato alla comunicazione semantica integrando sistemi di prova formale con concetti della teoria di Shannon. Gli autori propongono un modello informativo basato su insiemi di stati Lsem-definibili collegati tramite mappe di abilitazione computabili. Definiscono un canale semantico utilizzando kernel di Markov allineati con questa struttura. L'articolo introduce un sistema di prova coerente che porta a un nucleo semantico raffinato e a una gerarchia di profondità di derivazione, risultando in quattro misure di distorsione. Identifica inoltre sei famiglie di invarianti computabili del canale semantico e sottolinea i vantaggi della compressione deduttiva, che sono unici rispetto alla teoria dell'informazione tradizionale.
Fatti principali
- L'articolo sviluppa un framework rigoroso per la comunicazione semantica che integra sistemi di prova formale con strumenti della teoria di Shannon.
- Introduce un modello informativo assiomatico con insiemi di stati Lsem-definibili collegati da mappe di abilitazione computabili.
- Il canale semantico è definito come una composizione di kernel di Markov i cui supporti rispettano la struttura di abilitazione.
- Un sistema di prova fisso induce un nucleo semantico irridondante e una stratificazione per profondità di derivazione.
- Sono abilitate quattro misure di distorsione: Hamming, chiusura, profondità e una composita parametrizzata.
- Sono definite sei famiglie di invarianti computabili del canale semantico e stabilite le loro interrelazioni.
- I risultati chiave includono un limite di elaborazione dei dati, un limite semantico di Fano e un teorema di collasso del canale ideale.
- Il risultato quantitativo centrale mostra il guadagno di compressione deduttiva in condizioni di fedeltà basate sulla chiusura.
Entità
Istituzioni
- arXiv