[論文レビュー] Formal Concept Analysis and Resolution in Algebraic Domains

Pascal Hitzler, Matthias Wendt|ArXiv.org|Jan 9, 2003

Semantic Web and Ontologies参考文献 25被引用数 9

ひとこと要約

本稿は、形式概念分析（FCA）と、整合的代数的 cpo における文脈論理（RZ論理）との間の形式的対応関係を確立する。FCAにおける概念閉包作用素が、RZ論理における解像規則の特別な例に丁度一致することを示し、有限な形式的文脈の概念格子が、ドメイン的理論的設定における単位元生成の論理的閉じた理論の集合と同型であることを示す。

ABSTRACT

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.

研究の動機と目的

• FCA とドメイン的理論的論理との間の核心的構成要素の間の形式的対応関係を確立することで、両者の橋渡しを図ること。
• FCAにおける概念閉包作用素が、整合的代数的 cpo 上の RZ 論理における特定の解像規則に正確に対応することを示すこと。
• 有限な形式的文脈の概念格子が、ドメイン的理論的設定における論理的閉じた単位元生成理論の集合として自然に生じることを示すこと。
• FCAにおける文脈的属性論理が、ドメイン的理論的枠組み RZ の中でどのように再び現れるかを明らかにすること。
• ドメイン理論を知識表現の枠組みとして使用し、RZ 論理を AI における推論メカニズムとして用いる基盤を築くこと。

提案手法

• 有限な形式的文脈を有限なポイント付き半順序集合（整合的代数的 cpo）に写像することで、知識のドメイン的理論的表現を確立すること。
• RZ 論理における単位元生成理論を特定し、それが下位の半順序集合の Dedekind-MacNeille 完備化と同型である完全な格子を形成することを証明すること。
• RZ 論理における解像規則が、単位元生成の文に適用された場合、FCA の概念閉包作用素を正確に再現することを確立すること。
• RZ 論理における論理的閉じた理論の概念を用いて、ドメイン的理論的視点から概念格子構造を再構築すること。
• 文脈的属性論理（例：'dog ⇒ mammal' のような含意）が、RZ 論理フレームワーク内で自然に断片として現れることを示すこと。
• RZ 論理の意味論、特に単調かつ連続的演算子 TP を用いて、ドメイン的理論的設定における論理的帰結とプログラム意味論をモデル化すること。

実験結果

リサーチクエスチョン

• RQ1 整合的代数的 cpo の文脈において、形式的概念分析と RZ 論理はどのように正式に関係づけられるか？
• RQ2 FCA における概念閉包作用素は、ドメイン的理論的論理における既知の推論規則に対応するか？
• RQ3 有限な形式的文脈の概念格子は、RZ 論理における論理的閉じた理論の集合として再構築可能か？
• RQ4 FCA における文脈的属性論理は、RZ 論理フレームワーク内でどのように再出現するか？
• RQ5 この対応関係が、ドメイン理論を用いた AI における知識表現と推論に及ぼす影響は何か？

主な発見

• 形式的概念分析における概念閉包作用素は、整合的代数的 cpo 上の RZ 論理における解像規則の特別な例に正確に対応する。
• RZ 論理におけるすべての単位元生成の論理的閉じた理論の集合は、下位の有限半順序集合の Dedekind-MacNeille 完備化と同型である完全な格子を形成する。
• 有限な形式的文脈の概念格子は、RZ 論理における論理的閉じた理論の格子と構造的に同値であり、一対一の対応関係が確立される。
• 文脈的属性論理（例：属性間の含意 'dog ⇒ mammal'）は、RZ 論理フレームワーク内で自然に断片として再出現する。
• RZ 論理における論理的帰結関係は、FCA における概念形成の推論的構造を捉えており、ドメイン的理論的論理を知識表現に用いる正当性を裏付ける。
• 無限の場合には、位相的および完全性の問題（特に Scott 位相が Dedekind-MacNeille 完備化に関して不変でない点）のため、この対応関係は崩れる。