Implementazione della Logica Computazionale nel Linguaggio Wolfram per la Governance dell'IA
Un nuovo studio su arXiv (2608.13958) presenta un modo per applicare la Logica di Input/Output Reificata utilizzando il Linguaggio Wolfram, con l'obiettivo di creare un quadro per la gestione dei sistemi di IA attraverso standard legali definiti. L'autore suggerisce che governare efficacemente l'IA non richiede di comprendere il suo ragionamento, ma piuttosto di specificare regole riguardanti ciò che è consentito, richiesto o vietato, garantendo al contempo la conformità. Lo studio include principi fondamentali di I/O ed esamina la capacità di GPT-4 di trasformare l'inglese legale in questo formato formale, evidenziando problemi come funzioni immaginarie e mancanza di contesto temporale. Presenta anche un caso di studio di un cane da guardia AI che opera sotto un contratto computazionale, dimostrando come le normative formali possano evolversi in codice funzionale. Questo lavoro è significativo per la governance dell'IA e la legge computazionale.
Fatti principali
- Articolo su arXiv: 2608.13958
- Implementa la Logica di Input/Output Reificata nel Linguaggio Wolfram
- Formalismo alla base della base di conoscenza DAPRECO
- Testa GPT-4 per la traduzione di dichiarazioni legali
- Segnala fallimenti: funzioni allucinate, ambito temporale omesso, deviazione, norme errate silenziose
- Caso di studio: cane da guardia AI sotto contratto computazionale
- Sostiene che la governance richiede di dichiarare obblighi, permessi, divieti e verificare la conformità
- Include assiomi fondamentali di I/O, obblighi, permessi, norme costitutive, eventualità reificate, operatori temporali
Entità
Istituzioni
- arXiv
- DAPRECO