ASP(Q)를 사용하여 불일치한 우선순위 데이터 처리하기

본 논문에서는 답변 집합 프로그래밍(Answer Set Programming, ASP)과 이를 양화사(quantifiers)로 확장한 ASP(Q)의 사용을 탐구합니다. 이는 우선순위 관계가 있는 충돌하는 사실들(conflicting facts)을 가진 우선순위 데이터에 대해 불일치 허용 쿼리링(inconsistency-tolerant querying)을 수행하기 위함이며, 이 과정에서 세 가지 최적 복구 개념(optimal repairs)인 파레토 최적(Pareto-), 전역 최적(globally-), 그리고 완성 최적(completion-optimal)이 정의됩니다. 우리는 이러한 최적 복구를 사용하는 잘 알려진 세 가지 의미론(semantics)의 변형들(AR, brave, IAR)을 고려하며, 이들에 대해 쿼리 답변(query answering)이 광범위한 논리 이론(logical theories) 클래스에서 다항 계층 구조(polynomial hierarchy)의 첫 번째 또는 두 번째 수준에 속함을 보여줍니다. 특히 본 논문은 전역 최적 복구 기반 의미론(globally-optimal repair-based semantics)의 최초 구현과, 모든 이러한 최적 복구 기반 의미론의 계산 가능한 하한 근사치(tractable under-approximation)인 접지된 의미론(grounded semantics)의 최초 구현을 제시합니다. 실험적 평가는 전역 최적 복구 의미론 하에서 답변을 계산하는 실현 가능성(feasibility)과, 다양한 의미론, 근사치, 인코딩을 채택했을 때의 영향을 조명합니다.