論文の概要: Action Languages Based Actual Causality for Computational Ethics: a Sound and Complete Implementation in ASP

• arxiv url: http://arxiv.org/abs/2205.02919v2
• Date: Wed, 24 May 2023 12:43:13 GMT
• ステータス: 処理完了
• システム内更新日: 2023-05-26 03:31:09.863016
• Title: Action Languages Based Actual Causality for Computational Ethics: a Sound and Complete Implementation in ASP
• Title（参考訳）: 行動言語に基づく計算倫理の現実的因果性:ASP.NETでの健全で完全な実装
• Authors: Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Daniele Cavalli, Jean-Gabriel Ganascia
• Abstract要約: 本稿では、アクション言語に適した実際の因果関係定義から論理プログラミングへの完全かつ健全な翻訳を提供する。 得られた論理プログラムは複雑な因果関係を扱うことができる。
• 参考スコア（独自算出の注目度）: 4.3888374733778575
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Although moral responsibility is not circumscribed by causality, they are both closely intermixed. Furthermore, rationally understanding the evolution of the physical world is inherently linked with the idea of causality. Thus, the decision-making applications based on automated planning inevitably have to deal with causality, especially if they consider imputability aspects or integrate references to ethical norms. The many debates around causation in the last decades have shown how complex this notion is and thus, how difficult is its integration with planning. As a result, much of the work in computational ethics relegates causality to the background, despite the considerations stated above. This paper's contribution is to provide a complete and sound translation into logic programming from an actual causation definition suitable for action languages, this definition is a formalisation of Wright's NESS test. The obtained logic program allows to deal with complex causal relations. In addition to enabling agents to reason about causality, this contribution specifically enables the computational ethics domain to handle situations that were previously out of reach. In a context where ethical considerations in decision-making are increasingly important, advances in computational ethics can greatly benefit the entire AI community.
• Abstract（参考訳）: 道徳的責任は因果関係に左右されないが、両者は密接に混ざり合っている。 さらに、物理的世界の進化を合理的に理解することは因果性の概念と本質的に関連している。 したがって、自動計画に基づく意思決定アプリケーションは必然的に因果関係に対処しなければならない。 過去数十年の因果関係に関する多くの議論は、この概念がいかに複雑であるかを示しており、プランニングとの統合がどれほど難しいかを示している。 その結果、計算倫理学の研究の多くは、上述の考察にもかかわらず、因果関係を背景に委ねている。 本研究の貢献は,アクション言語に適した実際の因果関係定義から論理プログラミングへの完全かつ健全な翻訳を提供することであり,この定義は Wright の NESS テストの形式化である。 得られた論理プログラムは複雑な因果関係を扱うことができる。 この貢献により、エージェントは因果関係を推論できるだけでなく、計算倫理領域が以前到達できなかった状況を扱うことができる。 意思決定における倫理的考慮がますます重要になる状況において、計算倫理の進歩はAIコミュニティ全体にとって大きな恩恵をもたらす。

関連論文リスト

• The Odyssey of Commonsense Causality: From Foundational Benchmarks to Cutting-Edge Reasoning [70.16523526957162]
  常識の因果関係を理解することは、人々が現実世界の原理をよりよく理解するのに役立ちます。 その重要性にもかかわらず、このトピックの体系的な探索は特に欠落している。 本研究の目的は、体系的な概要の提供、最近の進歩に関する学者の更新、初心者のための実践的なガイドを提供することである。
  論文  参考訳（メタデータ） (2024-06-27T16:30:50Z)
• Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints [48.831178420807646]
  我々は、EVentuality中心のKGに基づいて、ニューラルネットワークを利用して複雑な論理的クエリに応答する新しいフレームワークを提案する。 複合事象性クエリ・アンサーリング(CEQA)は、時間的順序と事象の発生を規定する暗黙の論理的制約を考察する。 また、CEQAタスク上での最先端のニューラルクエリエンコーダの性能を大幅に向上させるメモリ拡張クエリ(MEQE)を提案する。
  論文  参考訳（メタデータ） (2023-05-30T14:29:24Z)
• On the Computational Complexity of Ethics: Moral Tractability for Minds and Machines [0.0]
  倫理領域の問題を解決するために人工知能(AI)が使えるかどうかについての議論は、主に人間の能力の観点からAIができることとできないことによって進められてきた。 本稿では,計算システムにできることやできないことに基づいて,どのようなモラルマシンが可能であるかを検討する。
  論文  参考訳（メタデータ） (2023-02-08T17:39:58Z)
• 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)
• CausalCity: Complex Simulations with Agency for Causal Discovery and Reasoning [68.74447489372037]
  本稿では,因果探索と反事実推論のためのアルゴリズムの開発を目的とした,高忠実度シミュレーション環境を提案する。 私たちの作業の中核となるコンポーネントは、複雑なシナリオを定義して作成することが簡単になるような、テキストの緊急性を導入することです。 我々は3つの最先端の手法による実験を行い、ベースラインを作成し、この環境の可利用性を強調する。
  論文  参考訳（メタデータ） (2021-06-25T00:21:41Z)
• Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
  我々はエージェントの状態を表すことで因果モデルの概念を拡張した。 対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。 我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
  論文  参考訳（メタデータ） (2020-10-30T12:16:45Z)
• Logic Programming and Machine Ethics [0.0]
  論理プログラミング(LP)は、このような視点の倫理システムを開発する大きな可能性を持っている。 LPは因果関係をモデル化することができる。
  論文  参考訳（メタデータ） (2020-09-22T00:47:18Z)
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming [3.963609604649393]
  バイナリ関係を持つ定性計算を扱えるASPエンコーディングのファミリーが提案されている。 本論文はTPLPの受容について検討中である。
  論文  参考訳（メタデータ） (2020-08-04T13:31:25Z)
• From Checking to Inference: Actual Causality Computations as Optimization Problems [79.87179017975235]
  本稿では、最適化問題として二元非巡回モデルよりも、因果推論の異なる概念を定式化するための新しいアプローチを提案する。 8000ドル以上の変数を持つモデルを用いて,MaxSAT が ILP を上回り,数秒単位でチェック処理を行う場合が多い。
  論文  参考訳（メタデータ） (2020-06-05T10:56:52Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。