Pianificazione Sheaf-Teoretica per Sistemi Multi-Agente Resilienti

Un nuovo articolo su arXiv (2605.01879) introduce la Pianificazione Sheaf-Teoretica (STP), un quadro matematico fondato sulla teoria dei topos e la teoria dei fasci, per affrontare il coordinamento multi-agente in condizioni di incertezza. I sistemi multi-agente tradizionali si basano su modelli logici monolitici come il calcolo degli eventi e il calcolo delle situazioni, che presuppongono un mondo chiuso e falliscono quando gli agenti affrontano interventi non osservati, interruzioni del piano o stati divergenti tra credenza e realtà. STP supera queste limitazioni utilizzando strutture a fascio per rappresentare la conoscenza distribuita e consentire una pianificazione resiliente in ambienti stocastici e avversari. L'approccio offre una base categoriale per sistemi autonomi che devono operare nel mondo fisico dove l'informazione perfetta non è disponibile.