[論文レビュー] The DLVHEX System for Knowledge Representation: Recent Advances (System Description)

Christoph Redl|arXiv (Cornell University)|Jul 29, 2016

Logic, Reasoning, and Knowledge参考文献 15被引用数 3

ひとこと要約

本論文は、外部アトムを通じた外部ソースとの効率的統合を可能にする hex-意味論を用いた dlvhex システムの主要な進展を提示している。このシステムは、外部ソースの単調性および機能的性質を活用することで性能を向上させ、開発を容易にするための Python インターフェースを導入し、電子政府および AI ゲーミング分野における実世界の応用をサポートすることで、実験的利用を超えた実用的有用性を示している。

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 システムの実用的使いやすさの欠落を是正すること。
• 外部ソースの構造的性質（例：単調性、機能的性質）を活用することで、システムの効率を向上させること。
• 新しいプログラミングインターフェース、言語機能、広報戦略を通じて、ユーザーの利便性を向上させること。
• 電子政府および AI ゲーミング分野における実世界の応用を通じて、hex-プログラムの実用的妥当性を示すこと。
• 既存の理論的文献を補完する形で、dlvhex 2.5.0 の包括的かつユーザー中心の概要を提供すること。

提案手法

• 外部ソースの既知の性質（例：単調性、機能的性質）を活用して、効率的な評価を促進し、重複計算を削減する。
• 高度な学習技術を用いて、真理値を早期に伝搬させ、単調または反単調な外部アトムの繰り返し評価を回避する。
• 外部ソースの実装を簡素化するための新しい Python プログラミングインターフェースを導入する。
• ASP-Core-2 標準の機能（最適化ステートメントや集約など）を統合し、表現力を向上させる。
• ユーザーのフィードバックに基づき、バイナリおよび更新済みドキュメントを提供することで、アクセス性と使いやすさを向上させる。
• ルールベースの推論と外部シミュレータ（例：物理エンジン）を組み合わせた hex-プログラムを用いて、ハイブリッド推論を実現する。

実験結果

リサーチクエスチョン

• RQ1 外部ソースの構造的性質を活用することで、hex-プログラムの評価性能をどのように向上させられるか？
• RQ2 dlvhex を実験的ツールから実用的知識表現システムへと移行させるために、どのようなシステムレベルの強化が必要か？
• RQ3 実世界の応用は、dlvhex 2.5.0 の新機能によってどのように恩恵を受けるか？
• RQ4 言語の柔軟性と改善されたインターフェースは、開発生産性をどの程度向上させるか？
• RQ5 外部アトムを通じた外部ソースの統合は、複雑な応用におけるスケーラブルで非単調な推論をどのように可能にするか？

主な発見

• 外部アトムにおける単調性および機能的性質の活用は、特に再帰的かつ非単調な設定において、評価効率を顕著に向上させる。
• 新規の Python インターフェースは、外部ソース提供者の開発時間を短縮し、アプリケーション開発のスピードアップを実現する。
• 苦情管理や Angry Birds 内の AI エージェントといった応用は、再帰的ルールおよび外部シミュレーションの効率的処理能力のおかげで恩恵を受ける。
• 最適化ステートメントなどの ASP-Core-2 機能の統合により、実世界の問題をより表現的かつ実用的に記述できるようになった。
• 事前にコンパイル済みバイナリおよび更新済みドキュメントの提供により、システムのアクセス性と採用率が向上した。
• 実世界の応用は、dlvhex 2.5.0 が研究プロトタイプを超えて本番環境でも使用可能であることを確認している。