Fugu-MT 論文翻訳(概要): Stable Normative Explanations: From Argumentation to Deontic Logic

論文の概要: Stable Normative Explanations: From Argumentation to Deontic Logic

arxiv url: http://arxiv.org/abs/2307.05156v1
Date: Tue, 11 Jul 2023 10:26:05 GMT
ステータス: 処理完了
システム内更新日: 2023-07-12 15:34:24.603710
Title: Stable Normative Explanations: From Argumentation to Deontic Logic
Title（参考訳）: 安定な規範的説明:論証からデオン論理へ
Authors: Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor
Abstract要約: 本稿では,安定な説明概念を形式的議論の文脈でどのように表現できるかを検討する。本稿では、この説明概念を特徴付けることができるデオン論理の議論近傍構造から構築する方法を示す。
参考スコア（独自算出の注目度）: 1.3272510644778104
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation. With this done, we discuss the deontic meaning of this reconstruction and show how to build from argumentation neighborhood structures for deontic logic where this notion of explanation can be characterised. Some direct complexity results are offered.
Abstract（参考訳）: 本稿では,Dedeasible Logicの他の場所で開発された安定な説明概念が,形式的議論の文脈でどのように表現できるかを検討する。そこで本研究では,この再構築のデオン的意味を論じ,この説明を特徴付けることができるデオン論理の議論近傍構造から構築する方法を示す。直接的な複雑さの結果が提供されます。

関連論文リスト

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文参考訳（メタデータ） (2023-05-24T01:35:10Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
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)
A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文参考訳（メタデータ） (2021-05-10T19:06:07Z)
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)
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。我々は古典的な高階論理に最先端の自動推論技術を用いる。
論文参考訳（メタデータ） (2020-07-02T11:07:53Z)

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