[論文レビュー] Description Logics with Fuzzy Concrete Domains

Umberto Straccia|arXiv (Cornell University)|Jul 4, 2012

Semantic Web and Ontologies参考文献 15被引用数 33

ひとこと要約

本稿では、曖昧または不正確なデータの推論を可能にする、コンcrete domainを備えた記述論理のファジィ拡張を提案する。t-ノルムに基づくコンストラクタ、ファジィコンクリートドメイン、および修飾子を統合し、完成規則と境界付き混合整数プログラミングを組み合わせたハイブリッドアプローチを用いて、ファジィ意味論下での整合的かつ完全な推論を達成する。

ABSTRACT

We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.

研究の動機と目的

• 古典的記述論理をファジィで曖昧なデータを扱えるように拡張し、ファジィコンクリートドメインを用いる。
• 柔軟な推論を可能にするために、ファジィ修飾子とt-ノルムに基づく概念コンストラクタをサポートする。
• コンクリートドメインを備えたファジィDLの整合的かつ完全な推論手順を開発する。
• t-ノルム、t-コノールム、否定といったファジィ論理演算を記述論理フレームワークに統合する。
• 完成規則と境界付き混合整数プログラミングの組み合わせにより、実用的な推論を可能にする。

提案手法

• コンクリートドメインは、議論の領域上のファジィ集合としてモデル化される。
• 概念コンストラクタは、t-ノルム、t-コノールム、およびファジィ否定を用いて定義され、ファジィ論理的演算を処理する。
• ファジィ修飾子（例：「非常に」、「やや」）は、真理関数的意味論を用いて統合される。
• 推論アルゴリズムは、完成規則と境界付き混合整数プログラミングを組み合わせ、ファジィ含意を計算する。
• 一貫したファジィDLフレームワーク内で、クリップスおよびファジィの役割と概念を両方サポートする。
• 体系的な規則適用と最適化を通じて、推論プロセスの整合性と完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 記述論理は、曖昧なデータをモデル化するためのファジィコンクリートドメインをどのように拡張できるか？
• RQ2 コンクリートドメインにおけるファジィ推論をサポートするには、どのような論理演算子（t-ノルム、t-コノールム、否定）が必要か？
• RQ3 ファジィ修飾子は、記述論理フレームワークにどのように形式的に統合できるか？
• RQ4 完成規則と混合整数プログラミングを組み合わせたハイブリッド推論メカニズムは、ファジィDLにおける整合的かつ完全な推論を保証できるか？
• RQ5 この拡張されたファジィDLにおける推論の計算量的複雑性と実行可能性は何か？

主な発見

• 提案されたファジィ記述論理は、t-ノルムに基づく論理的演算をサポートしており、曖昧な概念の柔軟な取り扱いを可能にする。
• コンクリートドメインはファジィ集合としてモデル化され、不正確なデータ値の直接的表現を可能にする。
• ファジィ修飾子は真理関数的意味論を用いて形式的に統合され、論理的一致性が保たれる。
• 完成規則と境界付き混合整数プログラミングの組み合わせにより、推論アルゴリズムは整合的かつ完全な推論を達成する。
• 一貫したフレームワーク内で、クリップスおよびファジィの概念と役割を統合的に扱える実用的推論をサポートする。
• アプローチは形式的に根拠があり、スケーラブルなファジィ知識表現と推論の基盤を提供する。