論文の概要: The SCC-recursiveness Principle in Fuzzy Argumentation Frameworks
- arxiv url: http://arxiv.org/abs/2006.08880v1
- Date: Tue, 16 Jun 2020 02:33:06 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-20 21:14:00.326367
- Title: The SCC-recursiveness Principle in Fuzzy Argumentation Frameworks
- Title(参考訳): ファジィ議論におけるSCC再帰性原理
- Authors: Zongshun Wang and Jiachao Wu
- Abstract要約: SCC再帰性原理(SCC-recursiveness principle)は、強連結成分のグラフ理論の概念に依存する拡張の性質である。
本稿では、ファジィ議論フレームワーク(FAF)におけるSCC再帰理論を探求し、議論と攻撃にファジィ次数を加える。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Dung's abstract argumentation theory plays a guiding role in the field of
formal argumentation. The properties of argumentation semantics have been
deeply explored in the previous literature. The SCC-recursiveness principle is
a property of the extensions which relies on the graph-theoretical notion of
strongly connected components. It provides a general recursive schema for
argumentation semantics, which is an efficient and incremental algorithm for
computing the argumentation semantics. However, in argumentation frameworks
with uncertain arguments and uncertain attack relation, the SCC-recursive
theory is absence. This paper is an exploration of the SCC-recursive theory in
fuzzy argumentation frameworks (FAFs), which add numbers as fuzzy degrees to
the arguments and attacks. In this paper, in order to extend the
SCC-recursiveness principle to FAFs, we first modify the reinstatement
principle and directionality principle to fit the FAFs. Then the
SCC-recursiveness principle in FAFs is formalized by the modified principles.
Additionally, some illustrating examples show that the SCC-recursiveness
principle also provides an efficient and incremental algorithm for simplify the
computation of argumentation semantics in FAFs.
- Abstract(参考訳): ダングの抽象的議論理論は形式的議論の分野において指導的役割を果たす。
議論の意味論の性質は以前の文献で深く研究されている。
SCC再帰性原理(SCC-recursiveness principle)は、強連結成分のグラフ理論の概念に依存する拡張の性質である。
議論セマンティクスを計算するための効率的かつインクリメンタルなアルゴリズムである、議論セマンティクスのための一般的な再帰的スキーマを提供する。
しかし、不確実な議論と不確実な攻撃関係を持つ議論フレームワークでは、SCC再帰理論が欠如している。
本稿では、ファジィ議論フレームワーク(FAF)におけるSCC再帰理論を探求し、議論と攻撃にファジィ次数を加える。
本稿では, SCC再帰性原理をFAFに拡張するために, まず, FAFに適合するように再帰原理と方向性原理を変更する。
次に、FAFのSCC再帰性原理は修正された原則によって定式化される。
さらに、いくつかの例では、SCC再帰性原理は、FAFにおける議論意味論の計算を単純化するための効率的で漸進的なアルゴリズムを提供することを示している。
関連論文リスト
- Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and
Improving LLMs [95.41575344721691]
大規模言語モデル(LLM)は、様々な推論タスクにおいて、印象的な人間的なパフォーマンスを実現している。
しかし、その根底にある推論規則の熟達性は、人間の能力に欠ける。
本稿では,推論ルールベースであるULogicを構築するための,推論ルール生成フレームワークを提案する。
論文 参考訳(メタデータ) (2024-02-18T03:38:51Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳(メタデータ) (2023-10-18T20:18:05Z) - Answering Causal Queries at Layer 3 with DiscoSCMs-Embracing
Heterogeneity [0.0]
本稿では, 分散一貫性構造因果モデル (DiscoSCM) フレームワークを, 反事実推論の先駆的アプローチとして提唱する。
論文 参考訳(メタデータ) (2023-09-17T17:01:05Z) - Ranking-based Argumentation Semantics Applied to Logical Argumentation
(full version) [2.9005223064604078]
構造化議論におけるランキングベースセマンティクスの振る舞いについて検討する。
ランキングに基づく多種多様なセマンティクスが,いわゆる計算可能性尺度を生み出していることを示す。
論文 参考訳(メタデータ) (2023-07-31T15:44:33Z) - Rediscovering Argumentation Principles Utilizing Collective Attacks [26.186171927678874]
我々は、集合攻撃(SETAFs)による論証フレームワークへの原則に基づくアプローチを拡張した。
分析の結果、与えられたSETAF(例えば、方向性やSCC再帰性)の分解に基づく原理の検証は、通常のAFと比較して、さらなる課題をもたらすことが示された。
論文 参考訳(メタデータ) (2022-05-06T11:41:23Z) - Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。
既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。
古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。
本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
論文 参考訳(メタデータ) (2022-01-31T06:12:39Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - A Topological Perspective on Causal Inference [10.965065178451104]
仮定のない因果推論は、構造因果モデルの単なる集合においてのみ可能であることを示す。
以上の結果から,有効な因果推論を行うのに十分な帰納的仮定は,原理上は統計的に検証できないことが示唆された。
我々のトポロジカルアプローチのさらなる利点は、無限に多くの変数を持つSCMに容易に対応できることである。
論文 参考訳(メタデータ) (2021-07-18T23:09:03Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
本稿では、文脈経路に沿った2つの議論間の談話関係が、議論の説得力を特定する上で不可欠な要素であることを実証的に示す。
本研究では,文レベルの構造情報を大規模言語モデルから派生した文脈的特徴に注入・融合するDisCOCを提案する。
論文 参考訳(メタデータ) (2021-06-02T06:49:19Z) - LRA: an accelerated rough set framework based on local redundancy of
attribute for feature selection [81.19294803707648]
ラフセットアルゴリズムを高速化するLRAフレームワークを提案する。
このフレームワークは、ほとんど全ての粗いセットメソッドに適用できる汎用的なフレームワークである。
論文 参考訳(メタデータ) (2020-10-31T08:50:28Z) - Technical Report of "Deductive Joint Support for Rational Unrestricted
Rebuttal" [1.3706331473063877]
ASPICスタイルの構造化議論では、議論はその結論を攻撃することによって別の議論に反論することができる。
限定的な反論では、攻撃された結論は不可能なルールで到達したに違いない。
制限のない反論では、この厳格な規則の少なくとも1つが既に無効である限り、厳格な規則で到達した可能性がある。
論文 参考訳(メタデータ) (2020-05-07T17:19:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。