論文の概要: Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models
- arxiv url: http://arxiv.org/abs/2609.15194v1
- Date: Mon, 14 Sep 2026 08:13:00 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-16 07:15:06.183141
- Title: Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models
- Title（参考訳）: セミオティックな関係と証明方法:大規模言語モデルを用いた議論構造のクロスジェネリックな研究
- Abstract要約: 我々は、$S$から$S*$への移行に使えるオプションを調査する。
特に、我々のシナタマティック、パラダイム、アンチセティック、およびメロニマ的な関係は、メトニミー、メタファー、皮肉、シナコドチェに対応している。
4つの関係が実際に異なる種類の議論でどのように使われているかを調べるため、実験的な研究でその枠組みを補完する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: When a direct proof of a statement $S$ seems hard or even impossible to obtain, there may exist another statement (or set of statements) $S^{*}$, somehow related to $S$, on the basis of which $S$ can be proved. In order to investigate what options can be used to move from $S$ to $S^{*}$, four kinds of semiotic relations inspired by the four master tropes of semiotic research are briefly reviewed. Specifically, our syntagmatic, paradigmatic, antithetic and meronymic relations correspond, respectively, to metonymy, metaphor, irony and synecdoche. It is suggested that these four semiotic relations determine the options to move from $S$ to $S^{*}$, leading to proof by inference, proof by analogy, proof by contradiction, and proof by case analysis. To examine how the four relations are actually used across different kinds of argument, we complement the framework with an empirical study. We turn the four relations into explicit operational definitions and apply them to a cross-genre corpus of mathematical, legal, and everyday argument using a panel of large language models. We find that the relations are used very unevenly across genres: mathematical proofs draw on all four, whereas legal and everyday reasoning rely almost entirely on inference.
- Abstract（参考訳）: ある文の直接証明が、$S$を得るのが難しいか、あるいは不可能であるように見えるとき、$S$と何らかの関係がある別の文(または文の集合)$S^{*}$が存在するかもしれない。
S$ から $S^{*}$ への移動にどのような選択肢が使えるのかを調査するために、シクロティック・リサーチの4つのマスター・トロピーにインスパイアされた4種類のセオティック・リレーションを概観する。
具体的には, メタノミー, メタファー, 皮肉, シナコドチェに, メタノミー, メタノミー, メタノミー, アイソニー, メロニム関係をそれぞれ対応づける。
これら4つの半論的な関係が$S$から$S^{*}$に移動する選択肢を決定することが示唆され、推論による証明、類似による証明、矛盾による証明、ケース解析による証明が導かれる。
4つの関係が実際に異なる種類の議論でどのように使われているかを調べるため、実験的な研究でその枠組みを補完する。
我々は、4つの関係を明示的な運用定義に変換し、大きな言語モデルのパネルを用いて数学的、法的、日常的な議論のクロスジャンルのコーパスに適用する。
数学的証明は4つすべてに当てはまるが、法的な推論と日常的な推論はほとんど完全に推論に依存している。
関連論文リスト
- Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings [0.2538209532048866]
我々はLean 4のカーネルレベルの公理依存性の追跡を用いて、選択の公理が証明空間に測定可能な幾何学的相関を持つことを示す。
このシグネチャは長さ,ファイル,著者,トピックコントロールに留まり,正規化証明源で訓練されたフルソースエンコーダの下で複製されることを示す。
論文 参考訳（メタデータ） (2026-06-26T19:57:00Z) - The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements [0.0]
形式的なステートメントは、型チェックと証明が可能でありながら、意図した元とは異なる定理を符号化することができる。
emphBidirectional Provability Fingerprinting (bpf) を導入する。
我々は6つのサブフィールドにわたる制御ドリフトラベルを持つ2,183ドルのNL/Lean4ペアのベンチマークであるDreatbenchをリリースした。
論文 参考訳（メタデータ） (2026-06-15T10:45:59Z) - Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report [0.0]
本稿では ASPIC$ominus$ から ASPIC$ominus$ の gen-rebuttals と Joint Support Bipolar Argumentation Frameworks を統合した新しいフレームワークである Deductive ASPIC$ominus$ を紹介する。
Deductive ASPIC$ominus$は、好ましいセマンティクスのバージョンの下で、5つの有理性仮定をすべて満足することを示す。
論文 参考訳（メタデータ） (2026-04-23T10:23:11Z) - Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1 [51.56484100374058]
システムはマドリブの27の上位領域の戦術的利用分布を抽出する。
zスコアを計算して、ソースエリアで多用されるが、ターゲットエリアで稀または欠落している戦術を特定する。
これは、GPUアクセラレーションされたNPハードアナログを用いて、ソースとターゲットの証明状態と一致する。
論文 参考訳（メタデータ） (2026-04-19T03:27:16Z) - ClaimFlow: Tracing the Evolution of Scientific Claims in NLP [67.23189226608389]
NLP文献のクレーム中心のビューである$texttClaimFlow$を紹介します。
新しいタスク $-$$textitClaim Relation Classification$$-$を定義する。
我々の分析によると、63.5$%の請求は決して再利用されない。
論文 参考訳（メタデータ） (2026-03-17T02:43:36Z) - Canonicalizing Multimodal Contrastive Representation Learning [76.15228959754727]
ここでは,CLIP,SigLIP,FLAVAなどのモデルファミリにおいて,埋め込み空間間の幾何学的関係が存在することを示す。
この発見は、後方互換性のあるモデルアップグレードを可能にし、コストのかかる再埋め込みを回避し、学習された表現のプライバシに影響を及ぼす。
論文 参考訳（メタデータ） (2026-02-19T18:09:36Z) - Similarity Field Theory: A Mathematical Framework for Intelligence [0.0]
本稿では、実体間の類似性値の原則とその進化を定式化する数学的枠組みである「類似性場理論」を紹介する。
高いレベルでは、このフレームワークは、類似性に関する幾何学的な問題として、知性と解釈可能性を再設計する。
我々は、2つの定理を証明している: (i)非対称性は相互包含をブロックし、 (ii)安定性はアンカー座標または準位集合内の最終的な閉じ込めを必要とする。
論文 参考訳（メタデータ） (2025-09-21T22:34:00Z) - Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification [56.218970738892764]
Chain-of-Thoughtプロンプトは、大規模言語モデル(LLM)から推論能力を引き出すデファクトメソッドとなっている。
検出が極めて難しいCoTの幻覚を緩和するために、現在の方法は不透明なボックスとして機能し、彼らの判断に対する確認可能な証拠を提供しておらず、おそらくその効果を制限する。
任意のスコアを割り当てるのではなく、各推論ステップで形式数学言語Lean 4で数学的主張を明確にし、幻覚を識別するための公式な証明を提供しようとしている。
論文 参考訳（メタデータ） (2025-06-05T03:16:08Z) - $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof [0.0]
それらを生成することができる文法の表現力に応じて言語を分類することは、計算言語学における根本的な問題である。
本稿では,各証明が検証された(すなわち,証明支援者によってチェックされる)アルゴリズムに繋がるかどうかを,MCFGを通して解析できるかどうかを体系的に研究する,計算的および証明理論的な視点から,既存の証明を解析する。
論文 参考訳（メタデータ） (2024-05-15T14:51:11Z) - 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) - multiPRover: Generating Multiple Proofs for Improved Interpretability in
Rule Reasoning [73.09791959325204]
我々は、自然言語の事実と規則の形で明示的な知識を推論することを目的としている言語形式推論の一種に焦点を当てる。
PRoverという名前の最近の研究は、質問に答え、答えを説明する証明グラフを生成することによって、そのような推論を行う。
本研究では,自然言語規則ベースの推論のために複数の証明グラフを生成するという,新たな課題に対処する。
論文 参考訳（メタデータ） (2021-06-02T17:58:35Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。