[논문 리뷰] Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving

Richard Taupe, Antonius Weinzierl외 1명|arXiv (Cornell University)|2019. 03. 29.

Logic, Reasoning, and Knowledge참고 문헌 23인용 수 5

한 줄 요약

이 논문은 Answer Set Programming(ASP)의 지배에 대해 '지연 정도의 스펙트럼'을 도입하며, 메모리 효율성과 히우리스틱 효과 사이의 균형을 이루는 새로운 지연 지배 전략을 제안한다. k-할당되지 않은 전략과 누적기반 지배를 포함한 전략들을 체계적으로 특성화함으로써, 특히 관용적인 제약 조건 지배와 히우리스틱 통합에서 최신 기술에 비해 뛰어난 성능 향상을 입증한다. 이는 제한된 탐색 공간 가시성에도 불구하고 해법 시간을 단축하고 탐색 안내를 향상시키며, 지속적인 성능 향상을 이룬다.

ABSTRACT

The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy grounding is an alternative approach that interleaves grounding with solving and thus uses space more efficiently. The limited view on the search space in lazy grounding poses unique challenges, however, and can have adverse effects on solving performance. In this paper we present a novel characterization of degrees of laziness in grounding for ASP, i.e. of compromises between lazily grounding as little as possible and the traditional full grounding upfront. We investigate how these degrees of laziness compare to each other formally as well as, by means of an experimental analysis using a number of benchmarks, in terms of their effects on solving performance. Our contributions are the introduction of a range of novel lazy grounding strategies, a formal account on their relationships and their correctness, and an investigation of their effects on solving performance. Experiments show that our approach performs significantly better than state-of-the-art lazy grounding in many cases.

연구 동기 및 목표

• 전체 초기 지배와 최소한의 지연 지배 사이의 타협을 탐색하여 ASP의 지배 병목 현상을 해결한다.
• 제한된 탐색 공간 가시성으로 인한 지연 지배에서의 성능 저하 문제를 해결하여, 히우리스틱 효과를 향상시킨다.
• k-할당되지 않은 전략과 누적기반 지배와 같은 새로운 지배 전략을 도입하고, 이들의 지연 정도와 정보성 사이의 조정 가능성을 체계적으로 특성화한다.
• 실제 산업 기반 벤치마크를 사용하여 이러한 전략의 해법 성능에 미치는 영향을 평가함으로써, 지연 지배의 메모리 이점은 유지하면서 효율성을 향상시키고자 한다.
• 특히 산업 규모의 ASP 응용 분야에서 히우리스틱 안내를 향상시키면서도 공간 효율성을 유지하는 최적의 지배 구성 조건을 규명한다.

제안 방법

• 지배에서 '지연 정도'를 체계적으로 특성화하기 위한 프ORMAL 프레임워크를 제안하며, 변수 할당 수 기반 전략(k-할당되지 않은 전략)과 누적기반 규칙 처리 기반 전략을 정의한다.
• 누적기반 지배 전략을 도입하여, 지배된 규칙에 대한 정보를 점진적으로 구축하고 재사용함으로써 히우리스틱 품질을 향상시킨다.
• 전통적인 지배-해결 기반 솔버에서 유래한 고급 히우리스틱(MOMs, VSIDS)을 지연 지배 솔버 Alpha에 통합하고, 이를 적응적으로 적용한다.
• 엄격한 제약 조건 지배 대비 관용적인 제약 조건 지배, 누적기반 여부를 고려한 다양한 지배 변형을 설계하고, 다양한 벤치마크에서 평가한다.
• 지배와 해법을 번갈아 수행하는 하이브리드 접근 방식을 사용하되, 히우리스틱의 정보성 유지 목적을 위해 전략적으로 지연시킨다.
• 산업용 및 합성 벤치마크에서 체계적인 실험을 수행하여, 시간, 추측 수, 메모리 사용량을 측정함으로써 지배 전략 간 비교를 수행한다.

실험 결과

연구 질문

• RQ1 지배에서 다양한 지연 정도가 ASP 솔버의 성능에 미치는 영향은 무엇이며, 특히 해법 시간과 탐색 공간 탐색 측면에서 어떻게 나타나는가?
• RQ2 누적기반 지배 전략은 지연 지배 ASP 시스템에서 히우리스틱 품질과 해법 효율성을 얼마나 향상시킬 수 있는가?
• RQ3 엄격한 지배 대비 관용적인 제약 조건 지배가 더 나은 성능을 내는가? 이러한 효과가 가장 두드러지는 조건은 무엇인가?
• RQ4 고급 히우리스틱(MOMs, VSIDS)은 지연 지배 환경에서 어떻게 작동하는가? 그리고 지배 완전성이 이들의 효과성에 어떤 역할을 하는가?
• RQ5 메모리 효율성과 충분한 탐색 공간 정보 사이의 균형을 이룰 수 있는 조정 가능한 지배 전략을 설계할 수 있는가?

주요 결과

• 관용적인 제약 조건 지배는 그래프 색칠 문제와 하우스 인스턴스를 포함한 다양한 벤치마크에서 일관되게 해법 성능을 향상시키며, 더 나은 히우리스틱 안내 덕분이다.
• 관용적인 제약 조건 지배와 함께 k-할당되지 않은 지배 전략은 많은 경우에서 전체 초기 지배와 유사한 성능을 달성하며, 표준 지연 지배에 비해 뚜렷한 승리함을 보인다.
• 누적기반 지배 전략은 고밀도 제약을 포함한 문제에서 해법 시간과 추측 수를 줄이며, 구조적 정보를 유지하고 재사용함으로써 효과를 발휘한다.
• 실험 결과, 새로운 지배 전략을 적용한 Alpha는 기준 지연 지배 대비 해법 시간을 수 개의 지수 단위까지 단축시키며, 특히 대규모 인스턴스에서 뚜렷한 성능 향상을 보였다.
• 관용적인 제약 조건 지배는 지연된 지배와 학습된 노고드 기록 삭제가 없는 덕분에 메모리 사용량이 감소한 것으로 보이며, 이는 직접 측정되지 않았다.
• 히우리스틱(MOMs, VSIDS)의 성능은 지배가 더 많은 구조적 통찰을 제공할수록 뚜렷하게 향상되며, 이는 지연 지배에서 제한된 탐색 공간 가시성이 핵심 병목 요소임을 확인한다.