論文の概要: Three Types of Negation of Triple and its Elements and an Extension of Triple
- arxiv url: http://arxiv.org/abs/2609.08271v1
- Date: Tue, 08 Sep 2026 05:26:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-10 19:44:08.587353
- Title: Three Types of Negation of Triple and its Elements and an Extension of Triple
- Title（参考訳）: 三重項の否定と三重項の拡張
- Abstract要約: TCOI三重項は古典三重項の意味的および構造的拡張である。
本稿では,TCOI三重項の表現力と推論,およびTCOI三重項含意推論の適用について考察する。
- 参考スコア（独自算出の注目度）: 0.6345523830122167
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In various data models, the classical triple is a typical semantic data model. However, due to the design of the triple as a simple structure for representing positive assertions, it cannot sufficiently express different forms of negation present in the triple and its elements. This paper conceptually proposes that there are three distinct forms of negation within triples and their elements: contradictory negation, opposite negation and intermediary negation. Based on the the set SCOI and the logic LCOI+PLCOI with three kinds of negation, we propose an extension of triple that can distinguish and express these three different negations in the triple and its elements, called the TCOI triple with contradictory negation, opposite negation and intermediary negation. The TCOI triple is a semantic and structural extension of the classical triple. While retaining the ability to express positive assertions, it systematically introduces the three semantic dimensions of three negations, allowing these negations to independently act on the elements of the triple and on the whole triple. This significantly enhances the triple model capability to represent and reasoning about complex negative information. This paper also explores the expressive power and reasoning of the TCOI triple, as well as the application of TCOI triple implication reasoning in counterfactuals and counterfactual reasoning. We propose a truth-value (continuous value) algorithm for TCOI triple implication reasoning and perform its calculation through an example of the counterfactuals and counterfactual reasoning.
- Abstract（参考訳）: 様々なデータモデルにおいて、古典的な三重項は典型的な意味データモデルである。
しかし、正のアサーションを表す単純な構造としての三重項の設計のため、三重項とその要素に存在する異なる形の否定を十分に表現することはできない。
本稿では,三重項内の否定には,矛盾否定,反対否定,中間否定の3つの異なる形態が存在することを概念的に提案する。
3種類の否定を持つSCOI と論理 LCOI+PLCOI に基づいて、3つの異なる否定を三重項とその要素で区別し表現できる三重項の拡張(TCOI三重項、矛盾否定、反対否定、中間否定)を提案する。
TCOI三重項は古典三重項の意味的および構造的拡張である。
肯定的な主張を表現できる能力を維持しながら、3つの否定の3つの意味的次元を体系的に導入し、これらの否定は三重項の要素と三重項全体の要素に独立に作用することができる。
これにより、複雑なネガティブな情報を表現および推論するトリプルモデル能力が大幅に向上する。
本稿では,TCOI三重項の表現力と推論,およびTCOI三重項含意推論の適用について考察する。
本稿では,TCOI三重含意推論のための真理値(連続値)アルゴリズムを提案する。
関連論文リスト
- Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation [0.6345523830122167]
MTC: Modus Tollens based on contrastory negation, MTO: Modus Tollens based on opposite negation, MTI: Modus Tollens based on intermediary negation, MTI: Modus Tollens based on intermediary negation, MTO: Modus Tollens。
我々は, MTC, MTO, MTIの真理値アルゴリズムが, 異なる論理的否定に基づく3つの反事実推論の真理値アルゴリズムであることを示す。
論文 参考訳（メタデータ） (2026-09-07T13:38:23Z) - Formal Concept Analysis with Three Types of Negation [0.6345523830122167]
FCAには3種類の否定概念(矛盾否定、反対否定、中間否定)が取り入れられている。
SCOI と論理 LCOI+PLCOI に基づいて、3種類の否定を伴う形式的文脈、ガロア接続作用素、形式的概念、概念的格子を定義する。
本稿では, 属性含意推論に焦点をあて, 論理的 LCOI+PLCOI とその意味論に基づき, ICOI-entailment の概念を紹介する。
論文 参考訳（メタデータ） (2026-08-29T14:54:04Z) - ARCHE: A Novel Task to Evaluate LLMs on Latent Reasoning Chain Extraction [70.53044880892196]
本稿では、複雑な推論引数を標準推論パラダイムの組み合わせに分解し、Reasoning Logic Tree (RLT) という形で分解しなければならない、ARCHE(Latent Reasoning Chain extract)という新しいタスクを紹介する。
この作業を容易にするために,我々は,1,900以上の参照と38,000の視点を含む70のNature Communicationsの記事から得られた新しいベンチマークであるARCHE Benchをリリースする。
ARCHE Bench上での10のLLMの評価では、モデルがREAとECのトレードオフを示しており、完全な標準推論チェーンを抽出することはできません。
論文 参考訳（メタデータ） (2025-11-16T07:37:09Z) - Reasoning is about giving reasons [55.56111618153049]
高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。
我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
論文 参考訳（メタデータ） (2025-08-20T07:26:53Z) - Three Kinds of Negation in Knowledge and Their Mathematical Foundations [4.343358400426713]
哲学,論理学,言語学など,さまざまな分野における否定の理解と特性について検討し,分析する。
矛盾の概念と反対概念の区別に基づき,概念的視点から知識の否定には3つの異なる種類が存在することを提案する。
論文 参考訳（メタデータ） (2025-05-30T10:01:37Z) - A New Tractable Description Logic under Categorical Semantics [0.0]
抽出可能な記述論理(DL) ELに否定を加えることで、協調的、実在的制限、概念包含を可能にすることが知られている。
トラクタビリティを保ちながら負の知識を表現できるように,否定を弱めたELの新たな拡張を提案する。
論文 参考訳（メタデータ） (2025-05-13T19:25:21Z) - Tripod: Three Complementary Inductive Biases for Disentangled Representation Learning [52.70210390424605]
本研究では,文献から選択した3つの帰納バイアスを持つニューラルネットワークオートエンコーダを提案する。
しかし、実際には、これらの帰納バイアスをインスタンス化する既存の技術を組み合わせることは、大きな利益をもたらすことに失敗する。
学習問題を単純化する3つの手法に適応し、不変性を安定化する鍵正則化項とクォーシュ縮退インセンティブを提案する。
結果のモデルであるTripodは、4つのイメージアンタングルメントベンチマークのスイートで最先端の結果を得る。
論文 参考訳（メタデータ） (2024-04-16T04:52:41Z) - Revisiting subword tokenization: A case study on affixal negation in large language models [57.75279238091522]
現代英語大言語モデル(LLM)に対する接尾辞否定の影響を計測する。
我々は、異なるサブワードトークン化手法を用いてLLMを用いて実験を行う。
モデルは全体として、接尾辞の意味を確実に認識できることを示す。
論文 参考訳（メタデータ） (2024-04-03T03:14:27Z) - LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers [60.009969929857704]
論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。
本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。
我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
論文 参考訳（メタデータ） (2023-10-23T17:58:40Z) - Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal
Negation [59.307534363825816]
否定は現在の言語モデルでは不十分だが、この問題の範囲は広く理解されていない。
自然言語推論(NLI)テストスイートを導入し,NLP手法の能力を検証した。
論文 参考訳（メタデータ） (2022-10-06T23:39:01Z) - Conversational Negation using Worldly Context in Compositional
Distributional Semantics [0.0]
一言で言えば、私たちのフレームワークは、人間が否定を知覚する方法に似た否定を作り出すことができます。
行列逆変換を用いた新しい論理否定の提案と動機付けを行う。
否定語に基づく減算否定と位相数の組み合わせは,人間の格付けと0.635の最も高いピアソン相関をもたらすと結論づけた。
論文 参考訳（メタデータ） (2021-05-12T16:04:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。