論文の概要: Specification languages for computational laws versus basic legal principles

• arxiv url: http://arxiv.org/abs/2503.09129v1
• Date: Wed, 12 Mar 2025 07:39:27 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-03-13 15:40:51.862037
• Title: Specification languages for computational laws versus basic legal principles
• Title（参考訳）: 基本法則に対する計算法則の仕様言語
• Authors: Petia Guintchev, Joost J. Joosten, Sofia Santiago Fernández, Eric Sancho Adamson, Aleix Solé Sánchez, Marta Soria Heredia,
• Abstract要約: 我々は,この法律が自動意思決定プロセスを通じてソフトウェアによって施行されることを意図した場合に,テキスト計算法について述べる。 本稿では、自然言語で書かれた計算法則や形式言語で書かれた計算法則の両シナリオにおいて、ある法的原則がいかに相応しいかを考察する。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: We speak of a \textit{computational law} when that law is intended to be enforced by software through an automated decision-making process. As digital technologies evolve to offer more solutions for public administrations, we see an ever-increasing number of computational laws. Traditionally, law is written in natural language. Computational laws, however, suffer various complications when written in natural language, such as underspecification and ambiguity which lead to a diversity of possible interpretations to be made by the coder. These could potentially result into an uneven application of the law. Thus, resorting to formal languages to write computational laws is tempting. However, writing laws in a formal language leads to further complications, for example, incomprehensibility for non-experts, lack of explicit motivation of the decisions made, or difficulties in retrieving the data leading to the outcome. In this paper, we investigate how certain legal principles fare in both scenarios: computational law written in natural language or written in formal language. We use a running example from the European Union's road transport regulation to showcase the tensions arising, and the benefits from each language.
• Abstract（参考訳）: 私たちは、その法律が自動意思決定プロセスを通じてソフトウェアによって強制されることを意図したときに、‘textit{computational law’を述べます。 デジタル技術が公共行政により多くのソリューションを提供するように進化するにつれ、ますます多くの計算法則が生まれている。 伝統的に、法律は自然言語で書かれている。 しかし、計算法則は、不特定性や曖昧さなど、自然言語で書かれたときに様々な複雑さに悩まされ、コーダーによって解釈される可能性の多様性につながる。 これは法律の不公平な適用につながる可能性がある。 したがって、形式言語を使って計算法則を書くのは誘惑的だ。 しかし、形式言語で法律を書くことは、例えば、非専門家の理解不能、決定の明確な動機の欠如、結果につながるデータを取得するのに困難など、さらなる複雑さをもたらす。 本稿では、自然言語で書かれた計算法則や形式言語で書かれた計算法則の両シナリオにおいて、ある法的原則がいかに相応しいかを考察する。 欧州連合(EU)の道路交通規制の実施例を用いて、緊張感と各言語の利点を示す。

関連論文リスト

• Natural Language Processing for the Legal Domain: A Survey of Tasks, Datasets, Models, and Challenges [4.548047308860141]
  自然言語処理は、法律専門家や法務担当者の法務分野における活動の仕方に革命をもたらしている。 本調査では,手動フィルタリング後の127項目を最終選択として,システムレビューとメタアナライズフレームワークの優先報告項目に従って,148の研究をレビューした。 法律分野における自然言語処理に関する基礎概念を探求する。
  論文  参考訳（メタデータ） (2024-10-25T01:17:02Z)
• CUTECat: Concolic Execution for Computational Law [1.1077637528502942]
  コンコリック実行ツール内でのデフォルトロジックの処理方法を示し、Catalaのコンテキストで私たちのアプローチを実装します。 我々は、フランス住宅給付のカタラ実施と米国税法第132条を評価した。
  論文  参考訳（メタデータ） (2024-10-23T18:30:23Z)
• DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment [55.91429725404988]
  判例検索のための識別モデルであるDELTAを紹介する。 我々は浅層デコーダを利用して情報ボトルネックを作り、表現能力の向上を目指しています。 本手法は, 判例検索において, 既存の最先端手法よりも優れている。
  論文  参考訳（メタデータ） (2024-03-27T10:40:14Z)
• Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning [84.12154024070024]
  本研究では,数学・記号的推論,自然言語理解,後続の課題に対処するための統合フレームワークとして,自然言語組み込みプログラム(NLEP)を提案する。 我々のアプローチは,構造化知識の自然言語表現を含むデータ構造上の関数を定義する完全なPythonプログラムを生成するよう,言語モデルに促す。 Pythonインタープリタが生成されたコードを実行し、出力をプリントする。
  論文  参考訳（メタデータ） (2023-09-19T17:54:21Z)
• Language Models as Inductive Reasoners [125.99461874008703]
  本稿では,帰納的推論のための新しいパラダイム(タスク)を提案し,自然言語の事実から自然言語規則を誘導する。 タスクのための1.2kルールファクトペアを含むデータセットDEERを作成し,ルールと事実を自然言語で記述する。 我々は、事前訓練された言語モデルが自然言語の事実から自然言語規則をいかに誘導できるかを、初めてかつ包括的な分析を行う。
  論文  参考訳（メタデータ） (2022-12-21T11:12:14Z)
• Learning Symbolic Rules for Reasoning in Quasi-Natural Language [74.96601852906328]
  我々は,ルールを手作業で構築することなく,自然言語入力で推論できるルールベースシステムを構築した。 本稿では,形式論理文と自然言語文の両方を表現可能な"Quasi-Natural"言語であるMetaQNLを提案する。 提案手法は,複数の推論ベンチマークにおける最先端の精度を実現する。
  論文  参考訳（メタデータ） (2021-11-23T17:49:00Z)
• Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting [0.0]
  法律の臭いは法文のパターンであり、法律の理解性と保守性を脅かす。 我々は,テキストベースおよびグラフベースの手法を用いて,包括的法臭い分類法を開発した。 私たちの研究は、ソフトウェアエンジニアリングのアイデアをどのように活用して法的なコードの品質を評価し改善するかを示しています。
  論文  参考訳（メタデータ） (2021-10-15T06:37:13Z)
• The Legislative Recipe: Syntax for Machine-Readable Legislation [0.0]
  この記事では、機械可読性の概念を解き放とうとする。 法的な知識を表現する能力と限界を評価するために、ロジックの構文とシンボリック言語を反映します。
  論文  参考訳（メタデータ） (2021-08-19T13:40:35Z)
• Lawformer: A Pre-trained Language Model for Chinese Legal Long Documents [56.40163943394202]
  我々は,中国法定長文理解のためのLongformerベースの事前学習言語モデル,Lawformerをリリースする。 判決の予測,類似事例の検索,法的読解,法的質問の回答など,さまざまな法務上の課題について法務担当者を評価した。
  論文  参考訳（メタデータ） (2021-05-09T09:39:25Z)
• Provable Limitations of Acquiring Meaning from Ungrounded Form: What will Future Language Models Understand? [87.20342701232869]
  未知のシステムが意味を習得する能力について検討する。 アサーションによってシステムが等価性のような意味関係を保存する表現をエミュレートできるかどうか検討する。 言語内のすべての表現が参照的に透明であれば,アサーションによってセマンティックエミュレーションが可能になる。 しかし、言語が変数バインディングのような非透過的なパターンを使用する場合、エミュレーションは計算不能な問題になる可能性がある。
  論文  参考訳（メタデータ） (2021-04-22T01:00:17Z)
• A Dataset for Statutory Reasoning in Tax Law Entailment and Question Answering [37.66486350122862]
  本稿では,法定推論における自然言語理解手法の性能について検討する。 我々は、法的ドメインのテキストコーパスとともにデータセットを導入する。 タスクを完全に解くように設計された手作りPrologベースのシステムと対比する。
  論文  参考訳（メタデータ） (2020-05-11T16:54:42Z)

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

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