가능성 기반 답변 집합 프로그래밍 재조명

초록

본 논문은 기존 가능성 답변 집합 프로그래밍(PASP)의 의미론이 직관에 맞지 않는 문제를 지적하고, ASP와 가능성 논리 사이의 새로운 연계성을 제시한다. ASP 프로그램을 가능성 분포에 대한 제약 집합으로 변환하고, 최소 구체적 가능성 분포를 이용해 답변 집합을 정의한다. 이를 일반화하여 PASP 규칙에 확률적 확신도(certainty)를 부여한 새로운 의미론을 제안하고, Gelfond‑Lifschitz 환원에 대한 가능성 버전을 도입한다. 마지막으로 기존 ASP 솔버를 활용한 구현 방안을 제시한다.

상세 분석

이 논문은 두 가지 주요 혁신을 제공한다. 첫째, 고전 ASP 프로그램을 가능성 논리의 제약 체계로 재해석함으로써, 답변 집합을 “가능성 분포가 만족해야 하는 제약들의 최소 구체적 해”로 정의한다. 구체적으로, 사실(rule without body)은 N(a)≥1이라는 제약을, 단순 규칙 a←b는 N(a)≥N(b)라는 제약을, 다중 전제 규칙 a←b₁,…,bₘ은 N(a)≥min(N(b₁),…,N(bₘ))라는 제약을 부여한다. 이러한 제약 집합 C_P을 만족하는 최소 구체적 가능성 분포 집합 S_P는 일대일 대응으로 고전 ASP의 고유한 답변 집합을 재구성한다. 이는 기존의 Gelfond‑Lifschitz 환원 기반 정의와 동등하지만, 가능성 논리의 관점에서 “증거 부재”를 ‘가능성(Π) 측면에서의 상한’으로 해석한다는 점에서 의미론적 직관성을 크게 향상시킨다.

둘째, 이 프레임워크를 PASP에 자연스럽게 확장한다. PASP 규칙에 확신도 n(r)∈