통신형 ASP의 표현력: 다중 에이전트 협업이 만든 복잡도 상승

본 논문은 ‘통신형 ASP(Communicating Answer Set Programming)’라는 새로운 패러다임을 제시하고, 그 표현력과 계산 복잡도에 대한 체계적인 연구를 수행한다. 서론에서는 ASP가 비단 논리 프로그램을 선언적으로 기술하는 도구일 뿐 아니라, 복합적인 비모노톤 추론에 강력함을 보인다는 점을 강조한다. 기존 연구에서는 다중 에이전트 환경에서 정보 교환을 지원하기 위해 다양한 형태의 통신형 ASP가 제안되었지만, 그로 인한 표현력 향상이 실제로 어느 정도인지는 명확히 밝혀지지 않았다. 이를 보완하고자 저자들은 두 가지 통신 메커니즘을 중심으로 연구를 전개한다. 첫 번째 메커니즘은 ‘질문 기반 단순 통신(simple communication)’이다. 여기서 각 컴포넌트 프로그램은 P‑시간 안에 답집합을 구할 수 있는 ‘simple program’이며, 다른 프로그램에게 Q:l 형태의 질문을 할 수 있다. 질문은 상대 프로그램의 현재 답집합에 해당 리터럴이 포함되는지를 물으며, 그 결과에 따라 규칙이 활성화된다. 저자들은 이 구조를 이용해 SAT 문제를 효율적으로 인코딩한다. 구체적으로, 변수와 절을 각각 별도의 simple program에 배치하고, 절 프로그램이 변수 프로그램에 질문을 던지는 형태로 구성한다. 그러면 전체 시스템이 어떤 답집합에 특정 리터럴이 포함되는지 여부를 판단하는 문제는 원래 SAT 인스턴스의 만족 여부와 동치가 된다. 이를 통해 ‘단순 통신만으로도 NP‑hard 문제를 표현할 수 있다’는 사실을 증명한다. 또한, 이 경우 답집합 존재 여부와 brave/cautious 추론(brave/cautious reasoning)의 복잡도도 NP‑complete임을 보이며, 기존에 P‑시간에 머물렀던 프로그램들이 통신을 통해 복잡도 사다리를 한 단계 올린다. 두 번째 메커니즘은 ‘다중‑포커스(multi‑focused) 통신’이다. 여기서는 프로그램들을 순서대로 배열하고, 앞선 프로그램이 만족시키지 못하는 모델을 뒤따르는 프로그램이 차례로 제거한다. 이는 ‘리더‑팔로워’ 구조와 유사하며, 각 단계에서 최소화(minimisation) 연산을 적용한다. 저자들은 이 메커니즘이 다항식 계층(PH)의 모든 수준을 포괄한다는 것을 증명한다. 구체적으로, Σ_k^P(∃∀… 형태)와 Π_k^P(∀∃… 형태) 문제를 각각 k‑단계 포커스 체인으로 시뮬레이션한다. 첫 번째 프로그램이 ‘존재’를, 두 번째가 ‘모두’를 선택하도록 설계함으로써, 다중‑포커스 구조가 다중 양자화(∃/∀)를 단계별로 구현한다. 결과적으로, 전체 시스템의 답집합 존재 여부는 PH 전체에 걸친 문제와 동치가 된다. 또한, 다중‑포커스 체계에 단순 프로그램뿐 아니라 정상(normal) 및 이분(disjunctive) 프로그램을 혼합할 수 있음을 보인다. 이 경우 복잡도는 프로그램 종류에 따라 달라지지만, 최악의 경우 PSPACE‑complete 수준까지 도달한다. 저자들은 STRIPS 플래닝과 같은 PSPACE‑complete 문제를 ‘리더가 먼저 모델을 걸러내고, 뒤따르는 프로그램들이 남은 모델을 재귀적으로 검증’하는 방식으로 변환한다. 이를 위해 부정‑as‑failure(negation‑as‑failure) 연산을 단순 프로그램만으로 시뮬레이션하는 기법을 제시한다. 즉, 부정 연산을 질문‑응답 구조로 재구성함으로써, 복잡도 상승이 통신 메커니즘 자체에 기인함을 설득력 있게 입증한다. 논문은 또한 전역 최소성(global minimality)과 지역 최소성(local minimality) 사이의 논쟁을 명확히 구분한다. 다중‑포커스 접근법은 각 단계에서 지역 최소성을 적용하고, 이를 순차적으로 결합함으로써 전역 최소성을 간접적으로 달성한다는 점을 강조한다. 이를 뒷받침하기 위해, 각 프로그램에 대한 reduct 정의와 최소 모델 검증 절차를 엄밀히 기술한다. 특히, ‘Q‑situated literals’와 ‘extended situated literals’를 도입해, 프로그램 간 질문·응답 관계를 형식적으로 정의하고, 이를 기반으로 reduct와 답집합 개념을 확장한다. 마지막으로, 저자들은 기존 연구와의 차별점을 정리한다. 이전에는 통신형 ASP가 실제로 어떤 복잡도 상승을 일으키는지, 혹은 부정 연산을 어떻게 시뮬레이션할 수 있는지가 불분명했지만, 본 논문은 단순 통신이 NP‑hard를, 다중‑포커스가 PH와 PSPACE까지 포괄한다는 강력한 결과를 제공한다. 또한, 모든 증명과 복잡도 분석을 부록에 상세히 제시함으로써, 연구의 재현성을 높였다. 전반적으로, 이 논문은 ASP의 확장 가능성을 새로운 차원으로 끌어올리며, 다중‑에이전트 논리 프로그래밍의 이론적 한계를 명확히 제시한다.