論文の概要: Integrating Temporality and Causality into Acyclic Argumentation
Frameworks using a Transition System
- arxiv url: http://arxiv.org/abs/2303.09197v2
- Date: Tue, 6 Feb 2024 08:42:45 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-07 21:17:04.864257
- Title: Integrating Temporality and Causality into Acyclic Argumentation
Frameworks using a Transition System
- Title（参考訳）: 遷移系を用いた非循環的問合せ枠組への時間性と因果性の統合
- Authors: Y. Munro (1), C. Sarmiento (1), I. Bloch (1), G. Bourgne (1), M.-J.
Lesot (1) ((1) Sorbonne Universit\'e, CNRS, LIP6, Paris, France)
- Abstract要約: 本稿では,非循環的抽象的議論フレームワークの概念をアクション言語に書き換える形式的手法を提案する。
我々は、直接的・間接的に、議論と結果の間の因果関係を確立する。
解答セットプログラミングの実装も提案されている。
- 参考スコア（独自算出の注目度）: 0.5420492913071214
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: In the context of abstract argumentation, we present the benefits of
considering temporality, i.e. the order in which arguments are enunciated, as
well as causality. We propose a formal method to rewrite the concepts of
acyclic abstract argumentation frameworks into an action language, that allows
us to model the evolution of the world, and to establish causal relationships
between the enunciation of arguments and their consequences, whether direct or
indirect. An Answer Set Programming implementation is also proposed, as well as
perspectives towards explanations.
- Abstract（参考訳）: 抽象的議論の文脈では、時間性、すなわち、引数が列挙される順序、および因果性を考慮する利点を提示する。
本研究では,非循環的抽象的論証フレームワークの概念をアクション言語に書き換える形式的手法を提案する。これは世界の進化をモデル化し,直接的・間接的を問わず,議論と結果の因果関係を確立する。
解集合プログラミングの実装も提案され、説明への視点も提案されている。
関連論文リスト
- An action language-based formalisation of an abstract argumentation framework [2.6988814189407937]
抽象的議論グラフをモデル化するための新しいフレームワークを提案する。
報酬の順序を考慮に入れることで、各対話に固有の結果を導出する手段が得られます。
論文 参考訳（メタデータ） (2024-09-29T09:24:29Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Stable Normative Explanations: From Argumentation to Deontic Logic [1.3272510644778104]
本稿では,安定な説明概念を形式的議論の文脈でどのように表現できるかを検討する。
本稿では、この説明概念を特徴付けることができるデオン論理の議論近傍構造から構築する方法を示す。
論文 参考訳（メタデータ） (2023-07-11T10:26:05Z) - Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。
我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。
有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文 参考訳（メタデータ） (2022-07-02T06:20:57Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。
本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文 参考訳（メタデータ） (2021-06-02T06:49:19Z) - Stability in Abstract Argumentation [2.375764121997739]
安定性の概念をArgument-Incomplete AFで推論にどのように変換できるかを示す。
我々は,この概念が議論に基づくネゴシエーションの応用にどの程度有用かを説明する。
論文 参考訳（メタデータ） (2020-12-23T10:34:38Z) - Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。
対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。
我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文 参考訳（メタデータ） (2020-10-30T12:16:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。