Fugu-MT 論文翻訳(概要): A Semantic Tableau Method for Argument Construction

論文の概要: A Semantic Tableau Method for Argument Construction

arxiv url: http://arxiv.org/abs/2209.04759v1
Date: Sat, 10 Sep 2022 23:40:22 GMT
ステータス: 処理完了
システム内更新日: 2022-09-13 13:09:03.653490
Title: A Semantic Tableau Method for Argument Construction
Title（参考訳）: Argument 構築のための意味表法
Authors: Nico Roos
Abstract要約: 議論の導出を可能にするセマンティック・テーブルー法について提案する。実現不可能なルールによる推論を可能にする拡張が提示される。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments, is proposed. First, the derivation of arguments for standard propositional and predicate logic is addressed. Next, an extension that enables reasoning with defeasible rules is presented. Finally, reasoning by cases using an argumentation tableau is discussed.
Abstract（参考訳）: 議論の導出を可能にする議論表auと呼ばれる意味表au法が提案されている。まず、標準的な命題論理と述語論理の議論の導出について述べる。次に、デファシブルルールによる推論を可能にする拡張を示す。最後に、議論表を用いた事例による推論について述べる。

関連論文リスト

H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables [56.73919743039263]
タブラル推論では、構造化テーブルに対して非構造化クエリを解釈する。文的推論は意味論的解釈では優れているが、数学的推論では不足する。本稿では,テーブル抽出と適応推論を含む新しいアルゴリズムH-STARを提案する。
論文参考訳（メタデータ） (2024-06-29T21:24:19Z)
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation [0.9790236766474198]
議論と議論に関する推論に等しい一階述語論理の議論グラフ意味論を定式化する。我々は、一階述語論理式(等式付き)のセマンティクスをトップダウンで定式化することで、一般性を達成する。
論文参考訳（メタデータ） (2024-06-18T00:32:00Z)
Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。我々のアプローチは、新しい核規範に基づく損失に基づいている。部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文参考訳（メタデータ） (2024-05-25T12:51:38Z)
A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文参考訳（メタデータ） (2023-10-18T20:18:05Z)
Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
言語モデル(LM)は、しばしば帰納的推論に不足する。我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
論文参考訳（メタデータ） (2023-10-12T17:51:10Z)
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version) [2.9005223064604078]
構造化議論におけるランキングベースセマンティクスの振る舞いについて検討する。ランキングに基づく多種多様なセマンティクスが,いわゆる計算可能性尺度を生み出していることを示す。
論文参考訳（メタデータ） (2023-07-31T15:44:33Z)
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation [3.9571744700171743]
本稿では,段階的議論の意味論の多値優先的解釈を定義するための一般的な手法を提案する。概念の証明として、有限値の場合、条件付き推論に対してAnswer set Programmingアプローチが提案される。また,多値条件セマンティクスに基づく漸進的議論の確率論的セマンティクスを開発し,論じる。
論文参考訳（メタデータ） (2022-12-14T22:10:46Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Intrinsic Argument Strength in Structured Argumentation: a Principled Approach [0.0]
本研究では,前提条件の強みと推論規則に基づいて,本質的な強みを引数に割り当てる手法について検討する。まず、強み割り当て手法が満足できる性質である原則の集合を定義する。次に、そのような2つの方法を提案し、それらが満たす原則を分析する。
論文参考訳（メタデータ） (2021-09-01T11:54:15Z)
Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文参考訳（メタデータ） (2021-06-02T06:49:19Z)
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal" [1.3706331473063877]
ASPICスタイルの構造化議論では、議論はその結論を攻撃することによって別の議論に反論することができる。限定的な反論では、攻撃された結論は不可能なルールで到達したに違いない。制限のない反論では、この厳格な規則の少なくとも1つが既に無効である限り、厳格な規則で到達した可能性がある。
論文参考訳（メタデータ） (2020-05-07T17:19:18Z)

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