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.12163v2
Date: Thu, 06 Nov 2025 05:58:08 GMT
ステータス: 翻訳完了
システム内更新日: 2025-11-07 22:27:39.531891
Title: Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
Title（参考訳）: 議論と論証に関する推論のための等式付き一階論理のグラフセマンティックス
Authors: Ryuta Arisaka,
Abstract要約: 等式付き一階述語論理の議論グラフ意味論を定式化する。議論フレームワーク内の2つ以上のグラフノードが等価である場合に、Dungの拡張の概念を一般化する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We make three contributions. First, we formulate a discussion-graph semantics for first-order logic with equality, enabling reasoning about discussion and argumentation in AI more generally than before. This addresses the current lack of a formal reasoning framework capable of handling diverse discussion and argumentation models. Second, we generalise Dung's notion of extensions to cases where two or more graph nodes in an argumentation framework are equivalent. Third, we connect these two contributions by showing that the generalised extensions are first-order characterisable within the proposed discussion-graph semantics. Propositional characterisability of all Dung's extensions is an immediate consequence.
Abstract（参考訳）: 私たちは3つの貢献をします。まず、一階述語論理の議論グラフ意味論を等式で定式化し、AIにおける議論や議論に関する推論を従来よりも一般的に行えるようにした。このことは、様々な議論や議論モデルを扱うことができる正式な推論フレームワークが現在欠如していることに対処する。次に、Dung氏の拡張の概念を、議論フレームワーク内の2つ以上のグラフノードが等価である場合に一般化する。第三に、これらの2つのコントリビューションは、一般化された拡張が議論グラフのセマンティクスの中で一階の特徴を持つことを示すことによって結合する。すべてのDung拡張の命題的特徴性は、即時の結果である。

関連論文リスト

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation [0.06138671548064355]
我々は、最先端技術の構造的弱点を特定し、これらの問題に対処するための一般的な議論に基づくアプローチを提案する。我々の研究は、問合せ応答を計算し、説明するための弁証法として対話モデルを提供する。これにより、既存の説明形式よりも表現的かつ直感的な弁証的証明木を説明として構築することができる。
論文参考訳（メタデータ） (2025-02-16T22:26:18Z)
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework [93.59256448185954]
本稿では論理完全推論フレームワークであるAristotleについて,論理解法,論理解法,論理解法,論理解法の3つの主要なコンポーネントを提案する。本フレームワークでは,記号表現と論理規則を総合的に推論プロセスに統合する。いくつかのデータセットの実験結果は、Aristotleが最先端の推論フレームワークを精度と効率の両方で一貫して上回っていることを示している。
論文参考訳（メタデータ） (2024-12-22T10:14:09Z)
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)

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