Cplus2ASP Versione 2: Azione Linguaggio C+ più Veloce tramite Answer Set Programming
La nuova versione 2 del sistema Cplus2ASP realizza completamente il frammento definito del linguaggio d'azione C+, garantendo la compatibilità con il linguaggio di input di Causal Calculator Versione 2. Questo sistema aggiornato vanta prestazioni notevolmente migliorate, sfruttando tecniche avanzate di answer set solving e integrando strumenti come f2lp, clingo, iclingo e as2transition. In modalità di esecuzione incrementale, converte le descrizioni C+ nel linguaggio di input di iclingo, utilizzando grounding incrementale. La correttezza del sistema è supportata da un teorema modulo esteso applicabile a programmi con espressioni annidate. Inoltre, il linguaggio di input presenta elementi pratici come atomi esterni tramite chiamate Lua e una modalità interattiva per gli utenti, consentendo transizioni multi-modali flessibili.
Fatti principali
- 1. arXiv:2605.09528v1 annuncia la Versione 2 di Cplus2ASP.
- 2. Implementa il frammento definito del linguaggio d'azione C+.
- 3. Pienamente compatibile con il linguaggio di input di Causal Calculator Versione 2.
- 4. Significativamente più veloce grazie a moderne tecniche di answer set solving.
- 5. La catena di strumenti include f2lp, clingo, iclingo e as2transition.
- 6. La modalità di esecuzione incrementale utilizza il grounding incrementale di iclingo.
- 7. La correttezza è giustificata dal teorema modulo per espressioni annidate.
- 8. Le caratteristiche includono atomi esterni tramite chiamate Lua e modalità interattiva per l'utente.
Entità
—