論文の概要: Three Kinds of Negation in Knowledge and Their Mathematical Foundations
- arxiv url: http://arxiv.org/abs/2505.24422v1
- Date: Fri, 30 May 2025 10:01:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-02 19:47:52.890688
- Title: Three Kinds of Negation in Knowledge and Their Mathematical Foundations
- Title（参考訳）: 知識の否定の3種類とその数学的基礎
- Authors: Zhenghua Pan, Yong Wang,
- Abstract要約: 哲学,論理学,言語学など,さまざまな分野における否定の理解と特性について検討し,分析する。
矛盾の概念と反対概念の区別に基づき,概念的視点から知識の否定には3つの異なる種類が存在することを提案する。
- 参考スコア（独自算出の注目度）: 4.343358400426713
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In the field of artificial intelligence, understanding, distinguishing, expressing, and computing the negation in knowledge is a fundamental issue in knowledge processing and research. In this paper, we examine and analyze the understanding and characteristics of negation in various fields such as philosophy, logic, and linguistics etc. Based on the distinction between the concepts of contradiction and opposition, we propose that there are three different types of negation in knowledge from a conceptual perspective: contradictory negation, opposite negation, and intermediary negation. To establish a mathematical foundation that fully reflects the intrinsic connections, properties, and laws of these different forms of negation, we introduce SCOI: sets with contradictory negation, opposite negation and intermediary negation, and LCOI: logic with contradictory negation, opposite negation and intermediary negation, and we proved the main operational properties of SCOI as well as the formal inference relations in LCOI.
- Abstract（参考訳）: 人工知能の分野では、知識の否定を理解し、区別し、表現し、計算することは知識処理と研究における根本的な問題である。
本稿では,哲学,論理学,言語学など,さまざまな分野における否定の理解と特性について検討し,分析する。
矛盾論と反対論の区別に基づき, 矛盾論と反対論と中間論という, 概念的観点からの知識の否定には3つの異なる種類が存在することを提案する。
そこで本研究では, 矛盾否定, 反対否定, 中間否定, LCOI: 矛盾否定, 反対否定, 中間否定の論理, および LCOI の形式的推論関係ととともに, SCOI の主要な操作特性を証明した。
関連論文リスト
- Paraphrasing in Affirmative Terms Improves Negation Understanding [9.818585902859363]
否定は共通の言語現象である。
本研究では,否定を伴う推論を必要とする大規模コーパスであるCondaQAの改良と5つの自然言語理解タスクを示す。
論文 参考訳（メタデータ） (2024-06-11T17:30:03Z) - Revisiting subword tokenization: A case study on affixal negation in large language models [57.75279238091522]
現代英語大言語モデル(LLM)に対する接尾辞否定の影響を計測する。
我々は、異なるサブワードトークン化手法を用いてLLMを用いて実験を行う。
モデルは全体として、接尾辞の意味を確実に認識できることを示す。
論文 参考訳（メタデータ） (2024-04-03T03:14:27Z) - Contrastive Learning for Inference in Dialogue [56.20733835058695]
推論、特に帰納的プロセスから派生したものは、私たちの会話において重要な要素です。
近年の大規模言語モデルは推論タスクにおいて顕著な進歩を見せている。
しかし、インダクティブ推論における彼らのパフォーマンスは、すべての情報がコンテキストに存在するわけではないが、インダクティブ推論よりもはるかに遅れている。
論文 参考訳（メタデータ） (2023-10-19T04:49:36Z) - Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal
Negation [59.307534363825816]
否定は現在の言語モデルでは不十分だが、この問題の範囲は広く理解されていない。
自然言語推論(NLI)テストスイートを導入し,NLP手法の能力を検証した。
論文 参考訳（メタデータ） (2022-10-06T23:39:01Z) - Improving negation detection with negation-focused pre-training [58.32362243122714]
否定は共通の言語的特徴であり、多くの言語理解タスクにおいて不可欠である。
最近の研究で、最先端のNLPモデルは否定を含むサンプルで性能が低いことが示されている。
本稿では,データ拡張と否定マスキングを対象とする,否定に焦点をあてた新たな事前学習戦略を提案する。
論文 参考訳（メタデータ） (2022-05-09T02:41:11Z) - Learning Disentangled Representations of Negation and Uncertainty [25.11863604063283]
言語理論は、否定と不確実性の表現は意味的に互いに独立であり、それらが修正する内容である、と仮定している。
本研究では,変分オートエンコーダを用いて否定,不確実性,内容の表現をアンタングル化しようとする。
論文 参考訳（メタデータ） (2022-04-01T15:12:05Z) - Conversational Negation using Worldly Context in Compositional
Distributional Semantics [0.0]
一言で言えば、私たちのフレームワークは、人間が否定を知覚する方法に似た否定を作り出すことができます。
行列逆変換を用いた新しい論理否定の提案と動機付けを行う。
否定語に基づく減算否定と位相数の組み合わせは,人間の格付けと0.635の最も高いピアソン相関をもたらすと結論づけた。
論文 参考訳（メタデータ） (2021-05-12T16:04:36Z) - Negation in Cognitive Reasoning [0.5801044612920815]
否定は形式論理と自然言語の操作である。
認知推論の1つのタスクは、自然言語で文によって与えられた質問に答えることである。
論文 参考訳（メタデータ） (2020-12-23T13:22:53Z) - Logic, Language, and Calculus [8.475081627511166]
言語とメタ言語の違いは論理解析にとって重要であるが、コンピュータ科学の分野ではまだ検討されていない。
メタ言語の推論関係(命題論理の計算のような)は自然言語の概念的関係を表現できないと論じられている。
論文 参考訳（メタデータ） (2020-07-06T00:52:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。