論文の概要: Logical Semantics, Dialogical Argumentation, and Textual Entailment
- arxiv url: http://arxiv.org/abs/2008.07138v1
- Date: Mon, 17 Aug 2020 08:04:11 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-28 03:43:40.380510
- Title: Logical Semantics, Dialogical Argumentation, and Textual Entailment
- Title(参考訳): 論理的意味論, 対話論, テキスト・エンターメント
- Authors: Davide Catta (TEXTE), Richard Moot (TEXTE, LIRMM, CNRS), Christian
Retor\'e (LaBRI)
- Abstract要約: 本稿では,自然言語の議論に近い一階古典論理のための新しい対話型システムを提案する。
通常の古典的妥当性に関してその完全性を証明する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this chapter, we introduce a new dialogical system for first order
classical logic which is close to natural language argumentation, and we prove
its completeness with respect to usual classical validity. We combine our
dialogical system with the Grail syntactic and semantic parser developed by the
second author in order to address automated textual entailment, that is, we use
it for deciding whether or not a sentence is a consequence of a short text.
This work-which connects natural language semantics and argumentation with
dialogical logic-can be viewed as a step towards an inferentialist view of
natural language semantics.
- Abstract(参考訳): 本章では、自然言語の議論に近い一階古典論理の新しいダイアログシステムを導入し、通常の古典的妥当性についてその完全性を証明する。
我々は,文が短文の結果であるか否かを判断するために,ダイアラルシステムと第2の著者によって開発された文法的・意味論的解析器を組み合わせる。
自然言語のセマンティクスと議論を対話論理と結びつけるこの作業は、自然言語セマンティクスの推論論的見解への一歩と見なすことができる。
関連論文リスト
- Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree [18.351777831207965]
本稿では,関係接続子とその引数間の階層的論理フローを表現・追跡する論理構造木を構築することを提案する。
具体的には、この論理構造木は、選挙区木と10の共通論理関係のための接続性の分類によって導かれる教師なしの方法で構築される。
論理構造木をLLMに組み込むための2つの戦略を開発した。
論文 参考訳(メタデータ) (2024-10-15T20:35:50Z) - Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning [28.111458981621105]
複雑な論理的推論タスクは、長い推論を必要とするが、それは、チェーン・オブ・シークレットのプロンプトを持つ大きな言語モデル(LLM)が依然として不足している。
本稿では,翻訳中に自然言語に隠された論理的意味を抽出する合成一階論理翻訳を提案する。
提案手法は,CLOVERと呼ばれる7つの論理的推論ベンチマークを用いて評価し,従来のニューロシンボリックアプローチよりも優れていたことを示す。
論文 参考訳(メタデータ) (2024-10-10T15:42:39Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳(メタデータ) (2024-05-10T14:13:21Z) - 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) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳(メタデータ) (2022-07-04T14:38:49Z) - Scales and Hedges in a Logic with Analogous Semantics [0.0]
Fuzzy Logicには、多くの説明的および応用上の利点があり、最もよく知られているのは、専門家が制御システムを開発するのを助ける能力である。
人間における社会的意思決定には、他者についての論理的な結論が共感的な感情に根ざしていることが不可欠である。
本稿では,形容詞的意味論や動詞的意味論に必要となるスケールがシステムによってどのように扱われるかを,既存の理論に追加する。
論文 参考訳(メタデータ) (2022-01-21T12:48:58Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳(メタデータ) (2021-05-08T10:09:36Z) - Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。
この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文 参考訳(メタデータ) (2020-10-02T06:46:02Z) - Higher-order Logic as Lingua Franca -- Integrating Argumentative
Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。
我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文 参考訳(メタデータ) (2020-07-02T11:07:53Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。