Fugu-MT 論文翻訳(概要): New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework

論文の概要: New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework

arxiv url: http://arxiv.org/abs/2107.11838v1
Date: Sun, 25 Jul 2021 16:33:07 GMT
ステータス: 処理完了
システム内更新日: 2021-07-27 16:11:17.374587
Title: New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Title（参考訳）: ロジキーフレームワークにおける倫理的・法的推論のための新しい代数的規範理論
Authors: Ali Farjami
Abstract要約: 古典的な高階論理へのデオン論理のセマンティック埋め込みに基づくLogiKEy手法を提案する。代数的アプローチを用いて,LogiKEyデオン論理とデータセットを大幅に拡張する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: To design and engineer ethical and legal reasoners and responsible systems, Benzm\"{u}ller, Parent and van der Torre introduce LogiKEy methodology based on the semantical embedding of deontic logics into classic higher-order logic. In this paper, we considerably extend the LogiKEy deontic logics and dataset using an algebraic approach. We develop theory of input/output operations for normative reasoning on top of Boolean algebras.
Abstract（参考訳）: Benzm\"{u}ller, Parent and van der Torre は、倫理的および法的推論と責任あるシステムを設計・設計するために、古典的な高階論理へのデオン論理のセマンティックな埋め込みに基づく LogiKEy 方法論を導入している。本稿では代数的アプローチを用いて,LogiKEyデオン論理とデータセットを大幅に拡張する。ブール代数上の規範的推論のための入出力演算の理論を開発する。

関連論文リスト

Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic [7.162465547358201]
本稿では, 法的に関係のある設計決定に対して, 設計者に効果的な説明を与える方法について検討する。我々は、規範と規範的文脈における行動の正当化のための重要な法的・倫理的原則を規定することによって、説明を提供するための以前のシステムを拡張した。一階述語論理が強い表現力を持つことを考慮し、本論文ではデオン演算子と選好を持つ一階述語論理系を採用する。
論文参考訳（メタデータ） (2024-09-18T08:03:29Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning [91.3755431537592]
論理埋め込みツールは、古典的でない推論問題を古典的な高階論理にプロシージャエンコーディングする。推論ターゲットとして、多くの非古典論理をサポートすることができる。
論文参考訳（メタデータ） (2022-03-23T12:08:51Z)
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy [0.0]
本稿では,関連する共通知識を用いた発表ロジックのセマンティックな埋め込みについて述べる。これにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。この研究は、複数派のLogiKEy知識工学方法論に重要な追加となる。
論文参考訳（メタデータ） (2021-11-02T15:14:52Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文参考訳（メタデータ） (2021-05-08T10:09:36Z)
RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs [91.71504177786792]
本稿では知識グラフに基づく推論のための論理規則の学習について研究する。論理規則は、予測に使用されるときに解釈可能な説明を提供するとともに、他のタスクに一般化することができる。既存の手法は、検索スペースの検索の問題や、スパース報酬による非効率な最適化に悩まされている。
論文参考訳（メタデータ） (2020-10-08T14:47:02Z)
Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文参考訳（メタデータ） (2020-10-02T06:46:02Z)
Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文参考訳（メタデータ） (2020-06-23T06:57:15Z)

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