[논문 리뷰] Preliminary Report on WASP 2.0

Mario Alviano, Carmine Dodaro외 1명|arXiv (Cornell University)|2014. 04. 01.

Multi-Agent Systems and Negotiation인용 수 2

한 줄 요약

이 논문은 정상 프로그램을 위한 최적화된 코어 평가 알고리즘을 갖춘 Answer Set Programming 솔버 WASP의 재구성된 버전인 WASP 2.0을 제시한다. 새로운 버전은 제3회 ASP 경쟁에서 제공한 NP-클래스 벤치마크에서 상당한 성능 향상을 달성하여 이전 버전의 다른 솔버들과의 경쟁력 부족 문제를 해결한다.

ABSTRACT

Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster systems a challenging research topic. This paper reports on the recent improvements of the ASP solver WASP. WASP is undergoing a refactoring process which will end up in the release of a new and more performant version of the software. In particular the paper focus on the improvements to the core evaluation algorithms working on normal programs. A preliminary experiment on benchmarks from the 3rd ASP competition belonging to the NP class is reported. The previous version of WASP was often not competitive with alternative solutions on this class. The new version of WASP shows a substantial increase in performance.

연구 동기 및 목표

• Answer Set Programming(ASP) 평가의 내재적 복잡성으로 인해 빠르고 효과적인 솔버 개발이 어렵다는 문제를 해결하기 위해.
• 특히 NP 클래스의 정상 프로그램에서 WASP 솔버의 성능을 향상시키기 위해.
• 기존 버전이 표준 벤치마크에서 다른 ASP 솔버들과의 경쟁력이 떨어지는 문제를 해결하기 위해.
• 아키텍처 재구성과 알고리즘 개선을 통해 더 스케일러블하고 효율적인 ASP 시스템을 제공하기 위해.

제안 방법

• 코어 평가 엔진을 재구성하여 알고리즘적 효율성과 모듈성을 향상시키기 위해.
• ASP에서 핵심적인 역할을 하는 정상 논리 프로그램을 위해 특별히 최적화된 평가 알고리즘을 적용하기 위해.
• 솔버의 실행 파이프라인 내 데이터 구조와 제어 흐름에 대한 저수준 성능 개선을 적용하기 위해.
• 제3회 Answer Set Programming 경쟁에서 확보한 벤치마크 세트를 사용하여 NP-클래스 문제를 평가하기 위해.
• 표준화되고 대표적인 워크로드에서 신규 WASP 2.0 버전을 이전 릴리스와 비교하기 위해.

실험 결과

연구 질문

• RQ1 재구성된 WASP 2.0은 이전 버전에 비해 NP-클래스 벤치마크에서 어떻게 성능을 발휘하는가?
• RQ2 코어 평가 엔진 내 알고리즘 최적화가 솔버 성능 향상에 어느 정도 기여하는가?
• RQ3 WASP 2.0은 정상 프로그램에서 최신 기술 수준의 ASP 솔버들과 경쟁 가능한 성능을 달성할 수 있는가?
• RQ4 기존 ASP 시스템의 아키텍처 재구성을 통해 어떤 성능 향상이 달성될 수 있는가?

주요 결과

• WASP 2.0은 제3회 ASP 경쟁에서 제공한 NP-클래스 벤치마크에서 상당한 성능 향상을 보였다.
• 이전 버전의 이 문제 유형에서의 경쟁력 부족 문제를 새로운 버전이 해결했다.
• 코어 평가 알고리즘의 개선이 정상 프로그램의 실행 시간 단축에 직접적인 영향을 주었다.
• 재구성 과정을 통해 WASP 솔버의 효율성과 확장성 모두가 성공적으로 향상되었다.