Core Concepts
有限格子を最小の分配格子に埋め込む構成を提案する。
Abstract
本論文では、有限格子を最小の分配格子に埋め込む「バーコフ完備」の構成を提案する。
まず、バーコフの表現定理に基づき、有限格子Lを分配格子に埋め込む2つの方法を示す。一つは下集合バーコフ完備(I(J(L)), ⊆)、もう一つは上集合バーコフ完備(F(M(L)), ⊇)である。
次に、この構成を形式概念分析の文脈に適用し、非分配概念格子をバーコフ完備することで、分配性を回復する方法を提案する。
さらに、この構成とインプリケーション理論の関係を明らかにする。バーコフ完備は、元の格子の単一要素前提のインプリケーションのみを保持するという性質を持つ。
最後に、英国の行政地理の例を用いて、バーコフ完備の応用を示す。バーコフ完備は、既存の概念を拡張し、新しい概念を生み出す可能性を示唆する。
Stats
イギリスの行政地理に関する概念格子では、以下のようなインプリケーションが成り立つ:
{UK} →{British Islands}
{GB} →{UK, British Islands}
{Channel Islands} →{British Islands}