Dimostrazioni Verificate al Calcolatore per la Governance Strutturale dei Workflow Cognitivi

Ehi! C'è questo nuovo preprint su arXiv che parla di cinque scoperte chiave nella teoria della governance strutturale per sistemi di workflow cognitivi. Di queste, tre sono formalizzate usando Coq 8.19 e la libreria Interaction Trees con alcune tecniche di coinduzione, mentre le altre due sono mostrate attraverso riduzioni scritte. Introducono il Predicato di Sicurezza Coinduttivo (gov_safe), che definisce quando la governance è sicura per comportamenti infiniti del programma, indicando che è falso per input non governati e vero per quelli governati. C'è anche il Teorema di Invarianza della Governance, che afferma che la governance al livello n+1 è uguale a quella al livello n. Infine, il Teorema di Sufficienza spiega che quattro elementi di base—codice, ragione, memoria e chiamata—possono esprimere completamente qualsiasi sistema intelligente discreto.