ASP(Q) を用いた不一致な優先データのパラメータ処理

arXiv:2604.21603v1 発表型：cross 要旨：我々は、優先データの不一致に耐性を備えたクエリに対して、述語を拡張したアンスウェア・プログラム (ASP) と、それが用いる 3 つの最適修復（パーレオ、グローバル、コンプリューム最適）の定義における優先関係の活用を考察している。AR、勇敢（brave）、IAR という 3 つの広く知られた семантик 変種を考証し、それらは 3 つの最適修復を利用しており、大規模な論理理論の範囲において多項級数の階層構造の 1 つまたは 2 つ目の階級におけるクエリ答復の処理を行う。特に、本稿ではグローバル最適修復に基づくセマンティクスの実装と、それらの最適修復に基づくセマンティクスすべてに対する可計算な下極小近似である接地されたセマンティクスの実装を初めて提示する。我々の実験評価は、グローバル最適修復セマンティクス下での答復の計算の妥当性、および異なるセマンティクス、近似、エンコーディングを採用することの影響について示唆を与える。

arXiv:2604.21603v1 Announce Type: cross Abstract: We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsistency-tolerant querying of prioritized data, where a priority relation between conflicting facts is exploited to define three notions of optimal repairs (Pareto-, globally- and completion-optimal). We consider the variants of three well-known semantics (AR, brave and IAR) that use these optimal repairs, and for which query answering is in the first or second level of the polynomial hierarchy for a large class of logical theories. Notably, this paper presents the first implementation of globally-optimal repair-based semantics, as well as the first implementation of the grounded semantics, which is a tractable under-approximation of all these optimal repair-based semantics. Our experimental evaluation sheds light on the feasibility of computing answers under globally-optimal repair semantics and the impact of adopting different semantics, approximations, and encodings.