Fugu-MT 論文翻訳(概要): Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation

論文の概要: Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation

arxiv url: http://arxiv.org/abs/2406.12163v1
Date: Tue, 18 Jun 2024 00:32:00 GMT
ステータス: 処理完了
システム内更新日: 2024-06-19 23:28:06.609761
Title: Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
Title（参考訳）: 議論と論証に関する推論のための等式付き一階論理のグラフセマンティックス
Authors: Ryuta Arisaka,
Abstract要約: 議論と議論に関する推論に等しい一階述語論理の議論グラフ意味論を定式化する。我々は、一階述語論理式(等式付き)のセマンティクスをトップダウンで定式化することで、一般性を達成する。
参考スコア（独自算出の注目度）: 0.9790236766474198
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We formulate discussion graph semantics of first-order logic with equality for reasoning about discussion and argumentation as naturally as we would reason about sentences. While there are a few existing proposals to use a formal logic for reasoning about argumentation, they are constructed bottom-up and specialised to the argumentation model by Dung. There is indeed a conspicuous lack of a formal reasoning framework for handling general discussion and argumentation models. We achieve the generality through a top-down formulation of the semantics of first-order logic (with equality) formulas, addressing the current shortage.
Abstract（参考訳）: 我々は、一階述語論理の議論グラフのセマンティクスを、議論や議論についての推論に等しい等式で定式化する。議論を推論するために形式論理を使う提案はいくつか存在するが、それらはボトムアップに構築され、Dungによる議論モデルに特化している。確かに、一般的な議論や議論モデルを扱うための正式な推論フレームワークが欠如している。我々は、一階述語論理式(等式付き)のセマンティクスをトップダウンで定式化し、現在の不足に対処する。

関連論文リスト

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models [52.03659714625452]
最近開発された大規模言語モデル (LLM) は、幅広い言語理解タスクにおいて非常によく機能することが示されている。しかし、それらは自然言語に対して本当に「理性」があるのだろうか? この疑問は研究の注目を集めており、コモンセンス、数値、定性的など多くの推論技術が研究されている。
論文参考訳（メタデータ） (2024-04-23T21:08:49Z)
A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文参考訳（メタデータ） (2023-10-18T20:18:05Z)
Stable Normative Explanations: From Argumentation to Deontic Logic [1.3272510644778104]
本稿では,安定な説明概念を形式的議論の文脈でどのように表現できるかを検討する。本稿では、この説明概念を特徴付けることができるデオン論理の議論近傍構造から構築する方法を示す。
論文参考訳（メタデータ） (2023-07-11T10:26:05Z)
Argumentative Characterizations of (Extended) Disjunctive Logic Programs [2.055949720959582]
仮定に基づく議論は、通常の論理プログラムだけでなく、解法論理プログラムとその拡張も表現できることを示す。議論フレームワークの中核となるロジックが尊重すべき解離の推論ルールについて考察する。
論文参考訳（メタデータ） (2023-06-12T14:01:38Z)
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation [3.9571744700171743]
本稿では,段階的議論の意味論の多値優先的解釈を定義するための一般的な手法を提案する。概念の証明として、有限値の場合、条件付き推論に対してAnswer set Programmingアプローチが提案される。また,多値条件セマンティクスに基づく漸進的議論の確率論的セマンティクスを開発し,論じる。
論文参考訳（メタデータ） (2022-12-14T22:10:46Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
A Semantic Tableau Method for Argument Construction [0.0]
議論の導出を可能にするセマンティック・テーブルー法について提案する。実現不可能なルールによる推論を可能にする拡張が提示される。
論文参考訳（メタデータ） (2022-09-10T23:40:22Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文参考訳（メタデータ） (2021-05-08T10:09:36Z)
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文参考訳（メタデータ） (2020-07-02T11:07:53Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。