論文の概要: Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
- arxiv url: http://arxiv.org/abs/2410.04184v1
- Date: Sat, 5 Oct 2024 15:01:00 GMT
- ステータス: 処理完了
- システム内更新日: 2024-11-02 13:41:32.273787
- Title: Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
- Title(参考訳): 物体選好による形式的概念解析への非単調拡張
- Authors: Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph,
- Abstract要約: 属性の集合間の非単調条件を導入し、オブジェクトの集合よりも好みを仮定する。
この条件は、非単調性に対する仮定と一致した帰結関係をもたらすことを示す。
この典型的概念の概念は、形式的概念分析へのKLMスタイルの典型性のさらなる導入である。
- 参考スコア(独自算出の注目度): 3.4873708563238277
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Formal Concept Analysis (FCA) is an approach to creating a conceptual hierarchy in which a \textit{concept lattice} is generated from a \textit{formal context}. That is, a triple consisting of a set of objects, $G$, a set of attributes, $M$, and an incidence relation $I$ on $G \times M$. A \textit{concept} is then modelled as a pair consisting of a set of objects (the \textit{extent}), and a set of shared attributes (the \textit{intent}). Implications in FCA describe how one set of attributes follows from another. The semantics of these implications closely resemble that of logical consequence in classical logic. In that sense, it describes a monotonic conditional. The contributions of this paper are two-fold. First, we introduce a non-monotonic conditional between sets of attributes, which assumes a preference over the set of objects. We show that this conditional gives rise to a consequence relation that is consistent with the postulates for non-monotonicty proposed by Kraus, Lehmann, and Magidor (commonly referred to as the KLM postulates). We argue that our contribution establishes a strong characterisation of non-monotonicity in FCA. Typical concepts represent concepts where the intent aligns with expectations from the extent, allowing for an exception-tolerant view of concepts. To this end, we show that the set of all typical concepts is a meet semi-lattice of the original concept lattice. This notion of typical concepts is a further introduction of KLM-style typicality into FCA, and is foundational towards developing an algebraic structure representing a concept lattice of prototypical concepts.
- Abstract(参考訳): 形式的概念分析(FCA)は、概念階層を作成するためのアプローチであり、そこでは \textit{concept lattice} が \textit{formal context} から生成される。
すなわち、オブジェクトのセット、$G$、属性のセット、$M$、および$G \times M$のインカデント関係からなるトリプルである。
次に、 \textit{concept} はオブジェクトの集合 (the \textit{extent}) と共有属性の集合 (the \textit{intent}) からなるペアとしてモデル化される。
FCAの含意は、ある属性のセットが別の属性からどのように従うかを記述する。
これらの意味論は古典論理学における論理的帰結とよく似ている。
その意味では、単調な条件を記述する。
本論文の貢献は2つある。
まず、属性の集合間の非単調条件を導入し、オブジェクトの集合に対する優先順位を仮定する。
この条件は、クラウス、リーマン、マギドールによって提案された非単調性(KLM仮定と呼ばれる)の仮定と一致する結果の関係をもたらすことを示す。
我々は、FCAにおける非単調性の強力な特徴付けを、我々の貢献が確立していると論じる。
典型的な概念は、意図がある程度の期待と一致し、例外耐性のある概念の見方を可能にする概念を表す。
この目的のために、すべての典型的な概念の集合が元の概念格子の半格子であることを示す。
この典型的な概念の概念は、さらに KLM スタイルの典型性を FCA に導入し、原型的概念の概念格子を表す代数的構造の開発に基礎を置いている。
関連論文リスト
- Interaction Asymmetry: A General Principle for Learning Composable Abstractions [27.749478197803256]
相互作用非対称性は、アンタングル化と合成一般化の両方を可能にすることを示す。
本稿では, フレキシブルトランスフォーマーをベースとしたVAEを用いて, デコーダの注意重みに対する新しい正規化器を提案する。
論文 参考訳(メタデータ) (2024-11-12T13:33:26Z) - A Complexity-Based Theory of Compositionality [53.025566128892066]
AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。
ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。
この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
論文 参考訳(メタデータ) (2024-10-18T18:37:27Z) - The Geometry of Categorical and Hierarchical Concepts in Large Language Models [15.126806053878855]
線形表現仮説の形式化をベクトルとして(例:is_animal)特徴を表現するために拡張する方法を示す。
形式化を用いて、概念の階層構造とそれらの表現の幾何学との関係を証明する。
我々はこれらの理論結果をGemmaとLLaMA-3大言語モデルで検証し、WordNetのデータを用いて900以上の階層的な概念の表現を推定する。
論文 参考訳(メタデータ) (2024-06-03T16:34:01Z) - Concept Activation Regions: A Generalized Framework For Concept-Based
Explanations [95.94432031144716]
既存の手法では、概念を説明する例は、ディープニューラルネットワークの潜伏空間の一定の方向にマッピングされていると仮定している。
そこで本研究では,DNNの潜在空間において,異なるクラスタに分散した概念例を提案する。
この概念活性化領域(CAR)は、グローバルな概念に基づく説明と局所的な概念に基づく特徴の重要性をもたらす。
論文 参考訳(メタデータ) (2022-09-22T17:59:03Z) - Concept Gradient: Concept-based Interpretation Without Linear Assumption [77.96338722483226]
概念活性化ベクトル(Concept Activation Vector, CAV)は、与えられたモデルと概念の潜在表現の間の線形関係を学習することに依存する。
我々は、線形概念関数を超えて概念に基づく解釈を拡張する概念グラディエント(CG)を提案した。
我々は、CGがおもちゃの例と実世界のデータセットの両方でCAVより優れていることを実証した。
論文 参考訳(メタデータ) (2022-08-31T17:06:46Z) - FALCON: Fast Visual Concept Learning by Integrating Images, Linguistic
descriptions, and Conceptual Relations [99.54048050189971]
自然に発生する複数のデータストリームによってガイドされる新しい視覚概念を素早く学習するフレームワークを提案する。
学習された概念は、未知の画像について推論することで質問に答えるなど、下流のアプリケーションをサポートする。
合成と実世界の両方のデータセットにおけるモデルの有効性を実証する。
論文 参考訳(メタデータ) (2022-03-30T19:45:00Z) - Quantification and Aggregation over Concepts of the Ontology [0.0]
いくつかのKRアプリケーションでは、ボキャブラリのシンボルによって形式的に表される概念の集合を定量化したいと論じる。
本稿では,このような抽象化をサポートする一階述語論理の拡張について述べる。
論文 参考訳(メタデータ) (2022-02-02T07:49:23Z) - Translational Concept Embedding for Generalized Compositional Zero-shot
Learning [73.60639796305415]
一般合成ゼロショット学習は、ゼロショット方式で属性オブジェクト対の合成概念を学習する手段である。
本稿では,これら2つの課題を統一的なフレームワークで解決するために,翻訳概念の埋め込み(translational concept embedded)という新しいアプローチを提案する。
論文 参考訳(メタデータ) (2021-12-20T21:27:51Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳(メタデータ) (2021-01-13T15:22:01Z) - Reasoning about Typicality and Probabilities in Preferential Description
Logics [0.15749416770494704]
標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。
この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。
我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
論文 参考訳(メタデータ) (2020-04-20T14:50:31Z) - The ERA of FOLE: Foundation [0.0]
本稿では,一階論理環境 tt Family FOLE の表現と解釈の議論を継続する。
多くの)一階述語論理の形式論と意味論は、Emphclassification形式とEmphinterpretation形式の両方で発展させることができる。
一般に、tt Family FOLE表現は概念的アプローチを使用し、制度の理論、形式的概念分析、情報フローと完全に互換性がある。
論文 参考訳(メタデータ) (2015-12-23T11:00:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。