Semantica dei Modelli Stabili Funzionali nella Programmazione a Insiemi di Risposta Modulo Teorie
Un nuovo articolo su arXiv esplora il ruolo delle funzioni intensionali nella programmazione a insiemi di risposta (ASP), dimostrando come la semantica dei modelli stabili funzionali si integri con la Programmazione a Insiemi di Risposta Modulo Teorie (ASPMT). Gli autori mostrano che i programmi ASPMT ristretti possono essere tradotti in istanze SMT, parallelamente alla nota relazione tra ASP e SAT. Questo lavoro unifica gli approcci di integrazione esistenti in un unico quadro.
Fatti principali
- 1. L'articolo è intitolato 'Functional Stable Model Semantics and Answer Set Programming Modulo Theories'.
- 2. È classificato sotto Informatica > Intelligenza Artificiale.
- 3. Le funzioni intensionali sono quelle i cui valori sono descritti da altre funzioni e predicati.
- 4. ASPMT è un'integrazione stretta della programmazione a insiemi di risposta e della soddisfacibilità modulo teorie.
- 5. Gli approcci di integrazione esistenti sono casi speciali con ruoli limitati per le funzioni.
- 6. I programmi ASPMT ristretti possono essere tradotti in istanze SMT.
- 7. La relazione rispecchia quella tra ASP e SAT.
- 8. L'articolo è stato inviato ad arXiv con ID 2605.09524.
Entità
Istituzioni
- arXiv