Algoritmi basati su SAT per il query answering tollerante all'inconsistenza con priorità
Questo articolo presenta le prime codifiche SAT per riparazioni Pareto-ottimali e per completamento-ottimali sotto relazioni di priorità generali in basi di conoscenza prioritarie. Gli autori studiano algoritmi pratici per il query answering tollerante all'inconsistenza sotto tre semantiche (AR, IAR e brave) basate su due nozioni di riparazioni ottimali. Propongono diversi modi per impiegare codifiche esistenti e nuove per calcolare risposte utilizzando diverse modalità di ragionamento dei solver SAT. Il lavoro affronta la complessità dei dati (co)NP-completa per una vasta classe di teorie logiche, estendendo precedenti procedure basate su SAT che gestivano solo assenza di priorità o strutture speciali.
Fatti principali
- L'articolo introduce le prime codifiche SAT per riparazioni Pareto-ottimali e per completamento-ottimali con relazioni di priorità generali.
- Vengono considerate tre semantiche: AR, IAR e brave.
- Vengono utilizzate due nozioni di riparazioni ottimali: Pareto e completamento.
- Decidere le risposte alle query sotto queste semantiche è (co)NP-completo in complessità dei dati per una vasta classe di teorie logiche.
- Precedenti procedure basate su SAT esistevano solo per assenza di priorità o strutture di priorità speciali.
- L'articolo propone diversi modi per utilizzare le codifiche con diverse modalità di ragionamento dei solver SAT.
- Il lavoro è pubblicato su arXiv con ID 2202.07980.
- Il tipo di annuncio è replace-cross.
Entità
Istituzioni
- arXiv