[논문 리뷰] The DLVHEX System for Knowledge Representation: Recent Advances (System Description)

Christoph Redl|arXiv (Cornell University)|2016. 07. 29.

Logic, Reasoning, and Knowledge참고 문헌 15인용 수 3

한 줄 요약

이 논문은 외부 원천을 통한 지식 표현을 위한 hex-의미론을 통해 dlvhex 시스템의 주요 발전을 제시한다. 이를 통해 외부 원천을 외부 원소를 통해 효율적으로 통합할 수 있으며, 외부 원천의 단조성 및 기능성 성질을 활용하여 성능을 향상시킨다. 또한 개발을 용이하게 하기 위해 파이썬 인터페이스를 도입하고, 전자 정부 및 인공지능 게임 분야의 실세계 응용 사례를 지원함으로써 실험적 사용을 넘어 실용적 활용 가능성을 입증한다.

ABSTRACT

The DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on theoretical aspects and specific components, a bird's eye view of the overall system is missing. In order to promote the system for real-world applications, we further present applications which were already successfully realized on top of DLVHEX. This paper is under consideration for acceptance in Theory and Practice of Logic Programming.

연구 동기 및 목표

• 실세계 지식 표현 작업을 위한 dlvhex 시스템의 실용적 사용성 부족 문제를 보완하기 위해.
• 외부 원천의 구조적 성질(예: 단조성, 기능성)을 활용하여 시스템 효율성을 향상시키기 위해.
• 새로운 프로그래밍 인터페이스, 언어 기능 및 홍보 전략을 통해 사용자 편의를 향상시키기 위해.
• 전자 정부 및 인공지능 게임 분야의 실세계 응용 사례를 통해 hex-프로그램의 실용적 타당성을 입증하기 위해.
• 이론적 문헌을 보완하는 포괄적이고 사용자 중심의 dlvhex 2.5.0 개요를 제공하기 위해.

제안 방법

• 외부 원천의 알려진 성질(예: 단조성, 기능성)을 활용하여 효율적인 평가를 유도하고 중복 계산을 줄인다.
• 고급 학습 기법을 적용하여 단조성 또는 반단조성 외부 원소의 진리값을 조기에 전파하고 반복 평가를 방지한다.
• 외부 원천의 구현을 단순화하기 위해 새로운 파이썬 프로그래밍 인터페이스를 도입하여 개발 오버헤드를 감소시킨다.
• ASP-Core-2 표준 기능(최적화 문장, 집합 연산자 포함)을 통합하여 표현력을 향상시킨다.
• 사용자 피드백에 기반한 바이너리 파일과 업데이트된 문서를 제공하여 접근성과 사용성을 향상시킨다.
• 규칙 기반 추론과 외부 시뮬레이터(예: 물리 엔진)를 결합한 hex-프로그램을 활용한 응용을 구축한다.

실험 결과

연구 질문

• RQ1 외부 원천의 구조적 성질을 활용하면 hex-프로그램 평가 성능를 어떻게 향상시킬 수 있는가?
• RQ2 dlvhex를 실험적 도구에서 실용적인 지식 표현 시스템으로 전환하기 위해 어떤 시스템 수준의 개선이 필요한가?
• RQ3 실세계 응용 사례는 dlvhex 2.5.0의 신규 기능으로부터 어떤 이점을 얻는가?
• RQ4 언어의 유연성과 향상된 인터페이스는 개발자 생산성에 얼마나 기여하는가?
• RQ5 외부 원천을 외부 원소를 통해 통합함으로써 복잡한 응용에서 확장 가능하고 비단조성 추론을 어떻게 실현할 수 있는가?

주요 결과

• 외부 원소의 단조성 및 기능성 성질을 활용하면 특히 재귀적이고 비단조성 환경에서 평가 효율성이 크게 향상된다.
• 신규 파이썬 인터페이스는 외부 원천 제공자의 개발 시간을 줄여 응용 개발 속도를 가속화한다.
• 민원 관리 및 분노의 새우( Angry Birds) 내 인공지능 에이전트와 같은 응용 사례는 재귀 규칙과 외부 시뮬레이션을 효율적으로 처리할 수 있는 시스템의 능력을 유감없이 발휘한다.
• 최적화 문장과 같은 ASP-Core-2 기능 통합은 실세계 문제의 더 표현적이고 실용적인 표현을 가능하게 한다.
• 사전 컴파일된 바이너리 파일과 업데이트된 문서 제공으로 인해 시스템 접근성과 보급률이 향상되었다.
• 실세계 응용 사례는 dlvhex 2.5.0이 연구 프로토타입을 넘어서 실제 생산 환경에 적합하다는 것을 확인시켰다.