論文の概要: 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法が提案されている。
まず、標準的な命題論理と述語論理の議論の導出について述べる。
次に、デファシブルルールによる推論を可能にする拡張を示す。
最後に、議論表を用いた事例による推論について述べる。
関連論文リスト
- Language Models can be Logical Solvers [99.40649402395725]
論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。
LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
論文 参考訳(メタデータ) (2023-11-10T16:23:50Z) - 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 [95.10400704620797]
言語モデル(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) - Stable Normative Explanations: From Argumentation to Deontic Logic [1.3272510644778104]
本稿では,安定な説明概念を形式的議論の文脈でどのように表現できるかを検討する。
本稿では、この説明概念を特徴付けることができるデオン論理の議論近傍構造から構築する方法を示す。
論文 参考訳(メタデータ) (2023-07-11T10:26:05Z) - Abductive Commonsense Reasoning Exploiting Mutually Exclusive
Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。
自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。
この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文 参考訳(メタデータ) (2023-05-24T01:35:10Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。