DELPHIC: Practical DEL Planning via Possibilities (Extended Version)

要約

動的認識論理 (DEL) は、非決定論的なアクション、部分的な可観測性、高次の知識、および事実と認識の両方の変化を表現できる認識計画のフレームワークを提供します。
DEL の高い表現力は、通常フレームワーク全体の限られた断片しか処理できない既存の認識論プランナーにとって課題となっています。
この作業の目標は、実践的な DEL プランニングの限界を押し広げ、最終的には認識プランナーが DEL が提供するあらゆる機能を扱えるようになることを目指しています。
この目標に向けて、私たちは Kripke モデルで定義された DEL の伝統的なセマンティクスに疑問を抱きます。
特に、我々は、主な構成要素として、いわゆる可能性、つまり世界の事実上の特性とエージェントが可能であると考えるものの両方を表す十分に根拠のないオブジェクトを使用して定義された同等のセマンティクスを提案します。
結果として得られるフレームワークを DELPHIC と呼びます。
私たちは、DELPHIC が確かに認識論的状態のよりコンパクトな表現を提供すると主張します。
この主張を実証するために、両方のアプローチを ASP に実装し、DELPHIC と従来の Kripke ベースのアプローチを比較する実験的評価を設定しました。
この評価により、DELPHIC が空間と時間の点で従来のアプローチより優れていることが確認されました。

要約(オリジナル)

Dynamic Epistemic Logic (DEL) provides a framework for epistemic planning that is capable of representing non-deterministic actions, partial observability, higher-order knowledge and both factual and epistemic change. The high expressivity of DEL challenges existing epistemic planners, which typically can handle only restricted fragments of the whole framework. The goal of this work is to push the envelop of practical DEL planning, ultimately aiming for epistemic planners to be able to deal with the full range of features offered by DEL. Towards this goal, we question the traditional semantics of DEL, defined in terms on Kripke models. In particular, we propose an equivalent semantics defined using, as main building block, so-called possibilities: non well-founded objects representing both factual properties of the world, and what agents consider to be possible. We call the resulting framework DELPHIC. We argue that DELPHIC indeed provides a more compact representation of epistemic states. To substantiate this claim, we implement both approaches in ASP and we set up an experimental evaluation to compare DELPHIC with the traditional, Kripke-based approach. The evaluation confirms that DELPHIC outperforms the traditional approach in space and time.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google