[論文レビュー] A framework for a modular multi-concept lexicographic closure semantics

Laura Giordano, Daniele Theseider Dupré|arXiv (Cornell University)|Sep 2, 2020

Semantic Web and Ontologies参考文献 44被引用数 5

ひとこと要約

本稿では、典型性包含を主題固有のモジュールに分散させ、各モジュール内で辞書的閉包を適用することで、特異性と例外を処理する、非妥当記述論理におけるモジュラーな多概念的辞書的閉包意味論を提案する。このアプローチは、モジュール固有の優先順位関係を統合してグローバルな意味論を構築し、特性の継承のブロッキングや異常なデフォルト解消といった問題を回避する。

ABSTRACT

We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledge base can then be defined as a combination of the preferences of the single modules. The range of possibilities, from fine grained to coarse grained modules, provides a spectrum of alternative semantics.

研究の動機と目的

• 妥当性と辞書的閉包が、解消すべきでないデフォルト同士の衝突を適切に扱えないという限界を是正すること。
• 主題概念に基づいて非妥当包含をモジュラー化する原理的な手法を提供し、保守性と推論制御を向上させること。
• 非妥当性の性質を複数のモジュールに分散させ、主題固有の優先順位を用いることで、記述論理における辞書的閉包意味論を拡張すること。
• 個々のモジュールの意味論を組み合わせつつ、重要な非単調推論特性を保持する、合成的グローバル優先順位関係を定義すること。
• 非妥当性包含のモジュラー分離を活用することで、妥当性閉包において一般的に見られる「特性の継承のブロッキング」問題を回避すること。

提案手法

• 主題概念 C に基づいて、非妥当包含 (T(C) ⊑ D) をモジュールにグループ化することで、モジュラーで多概念的な知識ベースを定義する。
• モジュールがその主題に関連する任意の非妥当包含集合を含めることができ、T(Ci) ⊑ D の形式に限定されない。
• 各モジュール内で辞書的閉包意味論を適用し、妥当性閉包ランクと特異性に基づく局所的優先順序を導出する。
• すべてのモジュールから得られる局所的優先順位関係を、合成的手法を用いて単一のグローバル優先順位関係 < に統合する。
• グローバル優先順位関係に基づく妥当性の概念を定義し、KLM優先論理の性質を満たすように保証する。
• グローバル関係の優先的（非ランク付き）性質を活用して、非妥当包含が適切にモジュラー化されている場合に、衝突するデフォルトの異常な解消を防止する。

実験結果

リサーチクエスチョン

• RQ1 記述論理における非妥当包含は、どのようにモジュラー化することで推論制御が向上し、望ましくないデフォルトの相互作用を回避できるか？
• RQ2 特異性と無関係性の処理を保持しつつ、多モジュール設定への辞書的閉包意味論の効果的な拡張は可能か？
• RQ3 複数のモジュール固有の優先順位関係から、どのようにしてグローバル優先順位関係を構築できるか？ これにより、特性の継承のブロッキングを回避できるか？
• RQ4 モジュラー化は、妥当性閉包と辞書的閉包において知られている問題である「衝突するデフォルトの異常な解消」をどのように防止するか？
• RQ5 提案された意味論と、妥当性閉包、MP-閉包、あるいは EL+ における ASP エンコーディングといった既存の手法との関係は何か？

主な発見

• 適切にモジュラー化された場合、典型的性質が適切な場合に子クラスへも継承可能であるため、本稿の意味論は「特性の継承のブロッキング」問題を回避する。
• モジュラー化により、知識の分割の仕方によって、細かめの粒度から粗めの粒度までの推論行動のスケーラビリティが可能になる。
• グローバル優先順位関係は優先的ではあるが、必ずしもランク付きではないため、衝突するデフォルトの異常な解消を防ぐのに役立つ。
• 意味論は KLM 優先的帰結関係の性質を満たしており、論理的整合性と非単調推論の妥当性を保証する。
• 主題ベースのモジュラー化と優先順位の合成を許容することで、レーマンの辞書的閉包を記述論理へ一般化する。
• 多概念的辞書的帰結の計算複雑性は Π²p に属すると予想され、EL+ などの類似形式主義の既知の複雑性境界と整合的である。