ASP(Q) per la gestione di dati prioritari inconsistenti

Un nuovo studio disponibile su arXiv (2604.21603) esplora come l'answer set programming (ASP) e la sua estensione quantificata, ASP(Q), possano essere utilizzati per interrogare dati che presentano priorità e inconsistenze. I ricercatori analizzano come le relazioni di priorità tra fatti conflittuali possano aiutare a creare tre tipi di riparazioni ottimali: Pareto, globalmente ottimali e completamento-ottimali. Vengono analizzate diverse semantiche, come AR, brave e IAR, scoprendo che la complessità del rispondere alle interrogazioni spesso si colloca al primo o secondo livello della gerarchia polinomiale attraverso varie teorie logiche. Questo articolo presenta anche la prima implementazione di semantiche basate su riparazioni globalmente ottimali, che fornisce una sotto-approssimazione gestibile di tutte le semantiche di riparazione ottimali, e include un esperimento sulla sua fattibilità e impatto.