Programmi Logici Modulari Parametrici per ASP Dichiarativo
Un nuovo articolo su arXiv introduce i programmi logici modulari parametrici, un formalismo per la programmazione di insiemi di risposta (ASP) del primo ordine che supporta sottoprogrammi con parametri e dichiarazioni di intensionalità. Il lavoro dimostra come questo approccio catturi la semantica dei programmi clingo con controllo collettivo, consentendo l'istanziazione strutturata di sottoprogrammi. Vengono fornite basi teoriche, collegandosi all'ASP non modulare tradizionale. L'articolo appare nella categoria Computer Science > Artificial Intelligence.
Fatti principali
- Esplora la modularità nella programmazione di insiemi di risposta (ASP) del primo ordine
- Introduce i programmi logici modulari parametrici
- Permette sottoprogrammi con parametri e dichiarazioni di intensionalità
- Cattura la semantica dei programmi clingo con controllo collettivo
- Fornisce basi teoriche per l'ASP modulare
- Si collega all'ASP non modulare tradizionale
- Pubblicato su arXiv sotto Computer Science > Artificial Intelligence
- ID arXiv: 2605.22716
Entità
Istituzioni
- arXiv