Fugu-MT 論文翻訳(概要): Thinking About Causation: A Causal Language with Epistemic Operators

論文の概要: Thinking About Causation: A Causal Language with Epistemic Operators

arxiv url: http://arxiv.org/abs/2010.16217v1
Date: Fri, 30 Oct 2020 12:16:45 GMT
ステータス: 処理完了
システム内更新日: 2022-10-01 17:11:31.239783
Title: Thinking About Causation: A Causal Language with Epistemic Operators
Title（参考訳）: 因果関係を考える:先天的なオペレータを持つ因果関係言語
Authors: Fausto Barbero and Katrin Schulz and Sonja Smets and Fernando R. Vel\'azquez-Quesada and Kaibo Xie
Abstract要約: 我々はエージェントの状態を表すことで因果モデルの概念を拡張した。対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
参考スコア（独自算出の注目度）: 58.720142291102135
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a representation of the epistemic state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
Abstract（参考訳）: 本稿では,因果関係の相互作用をモデル化するための公式な枠組みを提案する。この目的のために,エージェントの認識状態を表現することで因果モデルの概念を拡張する。オブジェクト言語側では、知識を表現する演算子と、新しい情報を観察する行為を追加します。我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。

関連論文リスト

Cause and Effect: Can Large Language Models Truly Understand Causality? [1.2334534968968969]
本研究では,CARE CA(Content Aware Reasoning Enhancement with Counterfactual Analysis)フレームワークという新しいアーキテクチャを提案する。提案するフレームワークには,ConceptNetと反ファクト文を備えた明示的な因果検出モジュールと,大規模言語モデルによる暗黙的な因果検出が組み込まれている。 ConceptNetの知識は、因果的発見、因果的識別、反事実的推論といった複数の因果的推論タスクのパフォーマンスを向上させる。
論文参考訳（メタデータ） (2024-02-28T08:02:14Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
Causal Kripke Models [0.0]
この研究は、実際の因果関係に関するハルパーンとパールの因果関係モデルを、可能な世界意味論環境にまで拡張する。このフレームワークを用いることで、複数の可能性、時間性、知識、不確実性を含むシナリオにおける因果関係の推論を可能にする、モーダル演算子による実際の因果関係の論理を導入する。
論文参考訳（メタデータ） (2023-07-11T07:08:14Z)
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach [6.685412769221564]
本稿では,因果知識の形式化を目的とした豊富な知識表現言語を提案する。原因の定義が提示され、それらの例を表すアクションのシーケンスに関する変更の実際の原因を分析するために使用される。
論文参考訳（メタデータ） (2023-06-06T17:21:21Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement [15.947501347927687]
因果モデルから議論フレームワーク(AF)を生成するための概念化を導入する。この概念化は、AFの意味論の望ましい性質を説明型として再解釈することに基づいている。我々はこれらの論証的説明の理論的評価を行い、それらが望ましい説明的および論証的特性の範囲を満たすかどうかを検討する。
論文参考訳（メタデータ） (2022-05-23T19:39:51Z)
Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report [0.0]
我々はKhan氏とLesp'erance氏の研究に基づいて、コナティブエフェクトに関する因果推論を支援する。この枠組みでは、動機づけ状態の原因を推論し、モチベーション調整行動が観察された影響の原因となることを許容する。本稿では,この形式化と目標認識モデルを用いて,コミュニケーション型マルチエージェントコンテキストにおけるエージェントの動作を説明する。
論文参考訳（メタデータ） (2022-05-16T04:46:50Z)
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)
Towards Interpretable Reasoning over Paragraph Effects in Situation [126.65672196760345]
我々は,原因と効果を理解するためのモデルを必要とする状況において,段落効果を推論する作業に焦点をあてる。本稿では,ニューラルネットワークモジュールを用いた推論プロセスの各ステップを明示的にモデル化する逐次的手法を提案する。特に、5つの推論モジュールはエンドツーエンドで設計され、学習され、より解釈可能なモデルにつながる。
論文参考訳（メタデータ） (2020-10-03T04:03:52Z)

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