論文の概要: Formal Concept Analysis with Three Types of Negation

• arxiv url: http://arxiv.org/abs/2608.29311v1
• Date: Sat, 29 Aug 2026 14:54:04 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-01 18:31:30.922248
• Title: Formal Concept Analysis with Three Types of Negation
• Title（参考訳）: 3種類の否定を用いた形式的概念解析
• Abstract要約: FCAには3種類の否定概念(矛盾否定、反対否定、中間否定)が取り入れられている。 SCOI と論理 LCOI+PLCOI に基づいて、3種類の否定を伴う形式的文脈、ガロア接続作用素、形式的概念、概念的格子を定義する。 本稿では, 属性含意推論に焦点をあて, 論理的 LCOI+PLCOI とその意味論に基づき, ICOI-entailment の概念を紹介する。
• 参考スコア（独自算出の注目度）: 0.6345523830122167
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Classic Formal Concept Analysis (FCA) primarily focuses on the positive relationships between objects and attributes and does not have mechanisms for handling negation.To overcome this limitation, we introduce three types of negation concepts (contradictory negation, opposite negation, intermediary negation) into FCA.Based on the set SCOI and logic LCOI+PLCOI with these three types negation, we define formal context, Galois connection operators, formal concept and concept lattice with three types of negation,this leads to the proposal of a FCACOI: Formal Concept Analysis with contradictory negation, opposite negation and intermediary negation.For the reasoning in FCACOI, this paper focuses on attribute implication reasoning. Based on the logic LCOI+PLCOI and its semantics, we introduce the notion of ICOI-entailment as the semantic implication for attribute implication reasoning in FCACOI. Through ICOI-entailment, a connection is established between attribute implication reasoning in FCACOI and inference in the logic LCOI+PLCOI, it indicate that formally proven inference rules (theorems) in LCOI+PLCOI are valid in the attribute implication reasoning of FCACOI, LCOI+PLCOI provides a logical foundation for attribute implication reasoning in FCACOI. To illustrate the capability of attribute implication reasoning in FCACOI, we discuss its application in a concrete example. Moreover, we explore attribute reduction of the formal context in FCACOI, propose two research frameworks for attribute reduction from different perspectives, and compare their characteristics.We believe that, based on richer logic and semantics, FCACOI elevates FCA from a theory that describes affirmations to one that can describe affirmations and its contradiction(either this or that), opposition(extreme negation) and intermediary (transitional states between oppositions).
• Abstract（参考訳）: 古典形式概念分析(FCA)は、主にオブジェクトと属性間の正の関係に焦点をあて、否定を扱うためのメカニズムを持たないが、この制限を克服するために、3種類の否定概念(矛盾否定、反対否定、中間否定)をFCAに導入する。この集合 SCOI と論理 LCOI+PLCOI をこれらの3つのタイプの否定で定義し、形式的文脈、ガロア接続演算子、形式的概念と概念格子を3種類の否定で定義することにより、FCACOI:形式的概念解析(矛盾否定、反対否定、中間否定)の提案につながっている。 論理的 LCOI+PLCOI とその意味論に基づき, FCACOI における属性含意推論の意味論的意味として ICOI-entailment の概念を導入する。 ICOI-entailmentを通じて、FCACOIの属性含意推論と論理LCOI+PLCOIの推論の間に関係が確立され、LCOI+PLCOIの形式的に証明された推論規則(理論)がFCACOIの属性含意推論において有効であることを示し、LCOI+PLCOIはFCACOIの属性含意推論の論理的基盤を提供する。 FCACOIにおける属性含意推論の能力を説明するために,具体例でその応用について論じる。 さらに, FCACOIにおける形式的文脈の属性の低減について検討し, 異なる観点からの属性の低減のための2つの研究枠組みを提案し, それらの特徴を比較し, よりリッチな論理と意味論に基づいて, FCACOIは, 肯定と矛盾を記述できる理論(これかそれかそれか)、反対(極端否定)、中間(反対者間の遷移状態)を記述できる理論から, FCAを上昇させると考えている。

関連論文リスト

• Three Types of Negation of Triple and its Elements and an Extension of Triple [0.6345523830122167]
  TCOI三重項は古典三重項の意味的および構造的拡張である。 本稿では,TCOI三重項の表現力と推論,およびTCOI三重項含意推論の適用について考察する。
  論文  参考訳（メタデータ） (2026-09-08T05:26:43Z)
• Concept Component Analysis: A Principled Approach for Concept Extraction in LLMs [51.378834857406325]
  機械的解釈可能性(Mechanistic interpretability)は、大きな言語モデルからの抽出によって問題を緩和しようとする。 スパースオートエンコーダ (SAE) は、解釈可能・単意味的な概念を抽出するための一般的なアプローチである。 SAEは基本的な理論的曖昧さに悩まされており、LLM表現と人間解釈可能な概念との明確に定義された対応はいまだに不明である。
  論文  参考訳（メタデータ） (2026-01-28T09:27:05Z)
• Theory Trace Card: Theory-Driven Socio-Cognitive Evaluation of LLMs [2.98033672654447]
  多くの社会的認知的評価は、目標能力の明確な理論的な仕様なしで進行していると論じる。 この理論的な根拠がなければ、能力の狭い部分集合のみを行使するベンチマークは、広範能力の証拠として日常的に誤解される。 本稿では,社会認知評価に付随する軽量なドキュメントアーティファクトであるTrace Cardを紹介する。
  論文  参考訳（メタデータ） (2026-01-05T08:06:50Z)
• Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction [11.18154335347018]
  この研究は、矛盾分離の内部機構を形式化し拡張する一般化された矛盾構築アルゴリズムである拡張三角法(ETM)を提示する。 理論的抽象化と運用実装をブリッジすることで、EMMは矛盾分離パラダイムを、自動化推論のための一般化されたスケーラブルで実用的な競合モデルに進化させる。
  論文  参考訳（メタデータ） (2025-10-12T17:03:33Z)
• Explainable Chain-of-Thought Reasoning: An Empirical Analysis on State-Aware Reasoning Dynamics [69.00587226225232]
  本研究では,CoTトラジェクトリを構造化潜在力学に抽象化する状態認識遷移フレームワークを提案する。 推論のグローバルな構造を特徴づけるために、それらの進行をマルコフ連鎖としてモデル化する。 この抽象化は、意味的役割の識別、時間的パターンの可視化、一貫性評価など、さまざまな分析をサポートする。
  論文  参考訳（メタデータ） (2025-08-29T18:53:31Z)
• Three Kinds of Negation in Knowledge and Their Mathematical Foundations [4.343358400426713]
  哲学,論理学,言語学など,さまざまな分野における否定の理解と特性について検討し,分析する。 矛盾の概念と反対概念の区別に基づき,概念的視点から知識の否定には3つの異なる種類が存在することを提案する。
  論文  参考訳（メタデータ） (2025-05-30T10:01:37Z)
• Rational Inference in Formal Concept Analysis [0.4499833362998487]
  定義可能な条件は非単調推論の形式である。 KLMフレームワークは、defeasible conditionalsという命題のセマンティクスを定義する。
  論文  参考訳（メタデータ） (2025-04-07T20:15:20Z)
• The Curse of CoT: On the Limitations of Chain-of-Thought in In-Context Learning [56.574829311863446]
  CoT(Chain-of-Thought)プロンプトは,大規模言語モデル(LLM)における推論能力の向上によって広く認識されている。 我々は、CoTとその推論変異が、様々なモデルスケールやベンチマークの複雑さに対して、直接応答を一貫して過小評価していることを実証する。 パターンベースICLにおけるCoTの性能を駆動する明示的単純推論の基本的なハイブリッド機構を明らかにする。
  論文  参考訳（メタデータ） (2025-04-07T13:51:06Z)
• Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
  本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。 具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
  論文  参考訳（メタデータ） (2023-06-21T07:34:27Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。 これは、説明に表される論理述語に基づいて、反実仮説を生成する。 そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
  論文  参考訳（メタデータ） (2022-05-25T03:40:59Z)
• Rediscovering Argumentation Principles Utilizing Collective Attacks [26.186171927678874]
  我々は、集合攻撃(SETAFs)による論証フレームワークへの原則に基づくアプローチを拡張した。 分析の結果、与えられたSETAF(例えば、方向性やSCC再帰性)の分解に基づく原理の検証は、通常のAFと比較して、さらなる課題をもたらすことが示された。
  論文  参考訳（メタデータ） (2022-05-06T11:41:23Z)
• Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
  コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。 既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。 古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。 本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
  論文  参考訳（メタデータ） (2022-01-31T06:12:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。