論文の概要: Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
- arxiv url: http://arxiv.org/abs/2604.12534v1
- Date: Tue, 14 Apr 2026 10:05:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-15 19:11:32.386878
- Title: Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
- Title（参考訳）: 第一級論理論のための文脈感性多レベル類似性フレームワーク : 公理的研究
- Authors: Victor David, Jérôme Delobelle, Jean-Guy Mailly,
- Abstract要約: 形式的議論における類似性は最近、意味論における議論の集約やエントロメムの復号化といった問題においてその重要性から注目されている。
本稿では,(1)拡張公理的基礎,(2)述語,リテラル,節,公式の類似性を含む4段階のパラメトリックモデル,(3)言語モデルによる構文に敏感な2つのモデルファミリ,(2)ニュアンス付きおよび説明可能な類似性のための文脈重みの統合。
- 参考スコア（独自算出の注目度）: 2.599882743586164
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Similarity in formal argumentation has recently gained attention due to its significance in problems such as argument aggregation in semantics and enthymeme decoding. While existing approaches focus on propositional logic, we address the richer setting of First-Order Logic (FOL), where similarity must account for structured content. We introduce a comprehensive framework for FOL argument similarity, built upon: (1) an extended axiomatic foundation; (2) a four-level parametric model covering predicates, literals, clauses, and formulae similarity; (3) two model families, one syntax-sensitive via language models, both integrating contextual weights for nuanced and explainable similarity; and (4) formal constraints enforcing desirable properties.
- Abstract（参考訳）: 形式的議論における類似性は最近、意味論における議論の集約やエントロメムの復号化といった問題においてその重要性から注目されている。
既存のアプローチは命題論理に重点を置いているが、我々はFOL(First-Order Logic)のよりリッチな設定に対処する。
本稿では,(1)拡張公理的基礎,(2)述語,リテラル,節,公式の類似性を含む4段階のパラメトリックモデル,(3)2つのモデルファミリ,(1)言語モデルによる構文に敏感な1つのモデルファミリ,(1)ニュアンスと説明可能な類似性のための文脈重みの統合,(4)望ましい性質を規定する形式的制約について述べる。
関連論文リスト
- A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts [0.0]
ファジィな形式的文脈を持つ確率論的推論のための二階重み付きモーダル論理を導入する。
論理の構文は古典的な必要条件(Box$)と十分(boxminus$)モダリティ(boxminus$)に対応する2種類の重み付きモダル演算子を含んでいる。
我々の論理言語は、これらの一般化された概念の全てを表現できることを示す。
論文 参考訳（メタデータ） (2025-12-31T17:27:36Z) - StructCoh: Structured Contrastive Learning for Context-Aware Text Semantic Matching [10.000850856259866]
StructCohはグラフ強化のコントラスト学習フレームワークである。
階層的な対照的な目的は、複数の粒度で一貫性を強制する。
3つの法的な文書マッチングベンチマークと学術的プラジャリズム検出データセットの実験は、大幅な改善を示している。
論文 参考訳（メタデータ） (2025-09-02T07:21:36Z) - The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。
NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。
本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文 参考訳（メタデータ） (2024-07-16T11:12:28Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。
本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文 参考訳（メタデータ） (2021-06-02T06:49:19Z) - High-order Semantic Role Labeling [86.29371274587146]
本稿では,ニューラルセマンティックロールラベリングモデルのための高階グラフ構造を提案する。
これにより、モデルは孤立述語-引数対だけでなく、述語-引数対間の相互作用も明示的に考慮することができる。
CoNLL-2009ベンチマークの7つの言語に対する実験結果から、高次構造学習技術は強力なSRLモデルに有益であることが示された。
論文 参考訳（メタデータ） (2020-10-09T15:33:54Z) - The ERA of FOLE: Foundation [0.0]
本稿では,一階論理環境 tt Family FOLE の表現と解釈の議論を継続する。
多くの)一階述語論理の形式論と意味論は、Emphclassification形式とEmphinterpretation形式の両方で発展させることができる。
一般に、tt Family FOLE表現は概念的アプローチを使用し、制度の理論、形式的概念分析、情報フローと完全に互換性がある。
論文 参考訳（メタデータ） (2015-12-23T11:00:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。