가중치 제약과 집합 연산 프로그램의 의미론적 연계와 효율적 변환

본 논문은 가중치 제약 프로그램(weight‑constraint programs)과 집합 연산 프로그램(aggregate programs)이라는 두 주요 형태의 제약 논리 프로그램을 대상으로, 각각에 적용되는 안정 모델 의미론과 조건 만족 기반 답집합 의미론 사이의 관계를 체계적으로 탐구한다. 서론에서는 ASP(Answer Set Programming)가 다양한 제약을 통해 실세계 문제를 모델링하는 데 널리 활용되고 있음을 언급하고, 특히 가중치 제약과 집합 연산이 가장 빈번히 사용되는 두 종류임을 강조한다. 그러나 이들 제약에 대한 의미론적 정의가 서로 다르며, 기존 연구에서는 두 의미론 간의 정확한 대응 관계가 충분히 규명되지 않았다고 지적한다. 1. **예비 정의** - 가중치 제약은 형태 l