Fugu-MT 論文翻訳(概要): Dynamic Logic of Legal Competences

論文の概要: Dynamic Logic of Legal Competences

arxiv url: http://arxiv.org/abs/2110.04454v1
Date: Sat, 9 Oct 2021 04:43:43 GMT
ステータス: 処理完了
システム内更新日: 2021-10-12 18:54:27.394737
Title: Dynamic Logic of Legal Competences
Title（参考訳）: 法的能力の動的論理
Authors: Huimin Dong and Olivier Roy
Abstract要約: 我々は、この論理が法的な能力の規範を変える性格を明示的に捉えていると論じる。我々は、ドイツの契約法における具体的な事例に適用し、法的能力と法的許容力の区別を捉えることができることを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic logic. We argue that this logic explicitly captures the norm-changing character of legal competences while providing a sophisticated reduction of the latter to static normative positions. The logic is completely axiomatizable, and we apply it to a concrete case in German contract law to illustrate that it can capture the distinction between legal ability and legal permissibility.
Abstract（参考訳）: 本稿では, 法的な能力の新たな形式化, 特にHohfeldianの力と免疫のカテゴリについて, 動的てんかん論理のデオン的解釈により提案する。この論理は、法的な能力のノルム変化特性を明示的に捉えつつ、後者を静的な規範的位置へ高度に還元する。論理は完全に公理化可能であり、ドイツの契約法における具体的な事例に適用し、法的な能力と法的許容性の区別を捉えることができることを示す。

関連論文リスト

DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment [55.91429725404988]
判例検索のための識別モデルであるDELTAを紹介する。我々は浅層デコーダを利用して情報ボトルネックを作り、表現能力の向上を目指しています。本手法は, 判例検索において, 既存の最先端手法よりも優れている。
論文参考訳（メタデータ） (2024-03-27T10:40:14Z)
Logic Rules as Explanations for Legal Case Retrieval [9.240902132139187]
本稿では,ケースレベルの論理則と法レベルの論理則を学習することで,訴訟の一致を推論する枠組みを提案する。論理則の論理性と解釈性から、NS-LCRは忠実な説明性を備えている。
論文参考訳（メタデータ） (2024-03-03T09:22:21Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
SAILER: Structure-aware Pre-trained Language Model for Legal Case Retrieval [75.05173891207214]
判例検索は知的法体系において中心的な役割を果たす。既存の言語モデルの多くは、異なる構造間の長距離依存関係を理解するのが難しい。本稿では, LEgal ケース検索のための構造対応プレトランザクショナル言語モデルを提案する。
論文参考訳（メタデータ） (2023-04-22T10:47:01Z)
Legal Detection of AI Products Based on Formal Argumentation and Legal Ontology [4.286330841427189]
本稿では,法的文脈における推論のための構造化議論フレームワークを提案する。この形式的議論理論とDLに基づく法論理を組み合わせることで、許容できるアサーションが得られることを示す。
論文参考訳（メタデータ） (2022-09-07T11:08:08Z)
From Legal Contracts to Legal Calculi: the code-driven normativity [0.0]
法的な契約を(信頼できない)当事者間の相互作用プロトコルとして解釈することで、並行システムのための形式的な方法やツールを法的な設定に一般化できることを示す。
論文参考訳（メタデータ） (2022-09-06T10:38:19Z)
Transparency, Compliance, And Contestability When Code Is(n't) Law [91.85674537754346]
技術的なセキュリティ機構と法的なプロセスの両方が、一連の規範に従って誤った行動を扱うメカニズムとして機能する。彼らは一般的な類似点を共有しているが、どう定義されているか、行動し、被験者に与える影響にも明確な違いがある。本稿では,両機構の類似点と相違点を,誤動作の対処方法として考察する。
論文参考訳（メタデータ） (2022-05-08T18:03:07Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Towards a General Many-Sorted Framework for Describing Certain Kinds of Legal Statutes with a Potential Computational Realization [0.0]
現代数学の論理学において「論理経験主義」に存在する数学的構文図形を紹介する。本論では,スウェーデンの財産の購入に関する法律の1つを,具体的な形式的構文的翻訳として提示する。
論文参考訳（メタデータ） (2021-05-29T05:01:06Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文参考訳（メタデータ） (2020-06-23T06:57:15Z)

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