論文の概要: Implementing Computational Law in Wolfram Language for the Governance of Artificial Intelligence
- arxiv url: http://arxiv.org/abs/2608.13958v1
- Date: Fri, 14 Aug 2026 04:58:01 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-17 20:14:29.285811
- Title: Implementing Computational Law in Wolfram Language for the Governance of Artificial Intelligence
- Title（参考訳）: 人工知能のガバナンスのためのウルフラム言語における計算法則の実装
- Abstract要約: ガバナンスはシステムの推論を理解する必要はない。
システムは、何を義務付けられ、許可され、することを禁じられ、それを遵守するかどうかを確認する必要がある。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: How do we govern AI systems whose reasoning we cannot fully inspect? Governance does not require understanding a system's reasoning. It requires stating what the system is obliged, permitted, and forbidden to do, and checking whether it complied. I present an implementation of Reified Input/Output Logic, the formalism behind the DAPRECO knowledge base, in Wolfram Language: the core I/O axioms, obligations, permissions, constitutive norms, reified eventualities, and temporal operators. I then test whether GPT-4 can translate English legal statements into the formalism, and report the failures: hallucinated functions, omitted temporal scope, deviation from the formalism, and (in the worst cases) code that runs, reads plausibly, but silently encodes the wrong norm. A case study, an AI guard dog operating under a computational contract, shows how formalized rules can extend from a contract directly into the operational code of an embodied agent, producing symbolic, auditable justifications for its behaviour. I argue that computational law can be used as a governance tool and that a desirable goal would be to formalize the law that can and ought to be programmatically executable.
- Abstract（参考訳）: 完全な検査ができないAIシステムをどう管理するか?
ガバナンスはシステムの推論を理解する必要はない。
システムは、何を義務付けられ、許可され、することを禁じられ、それを遵守するかどうかを確認する必要がある。
本稿では,DAPRECOの知識基盤を支える形式主義であるReified Input/Output Logicの実装についてWolfram Languageで紹介する。
次に、GPT-4が英語の法定文を形式主義に翻訳できるかどうかを検証し、幻覚関数、時間的スコープの省略、形式主義からの逸脱、そして(最悪の場合)実行し、妥当に読むが、静かに間違った規範を符号化するコードといった失敗を報告します。
計算契約の下で動作しているAIガード犬であるケーススタディは、形式化されたルールが契約からエンボディエージェントの運用コードに直接拡張され、その振る舞いに対する象徴的で監査可能な正当化を生成する方法を示している。
私は、計算法則はガバナンスツールとして利用でき、プログラムで実行可能であるべき法則を形式化するのが望ましいと論じます。
関連論文リスト
- The Imitation Game: When LLMs Learn to Reason Like Programs via Code-Centric Reasoning Data Synthesis [50.473217152006875]
MIMICは、データ合成を推論するための厳密な媒体として実行可能なコードを活用するフレームワークである。
MIMICは、ナラティブ融合、コード誘導テスト合成、動的コードインスツルメンテーションを通じて、アルゴリズムを検証可能な推論軌道に変換する。
提案手法は, 一般的な推論, 複雑な数学的ベンチマーク, きめ細かい決定論的タスクにおいて, 精度を著しく向上させる。
論文 参考訳（メタデータ） (2026-09-13T17:04:16Z) - Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI [0.0]
この記事では、法的AIをトレーニングするための正式な検証可能な報酬信号を生成するアーキテクチャを開発する。
法則の計算成分に対して、アーキテクチャは証明可能な正確性を提供する。
私たちは、同じアーキテクチャが、法的AIトレーニングに構造上の優位性があることを示します。
論文 参考訳（メタデータ） (2026-06-22T20:21:49Z) - DeonticBench: A Benchmark for Reasoning over Rules [52.69517904415795]
DEONTICBENCHは、アメリカ合衆国連邦政府の税、航空会社の荷物政策、移民管理、および合衆国の住宅法に関する6,232のタスクのベンチマークである。
これは、実世界のドメインにおいて、象徴的および非象徴的な設定の下でコンテキスト基底ルール推論を研究するためのベンチマークである。
論文 参考訳（メタデータ） (2026-04-06T05:41:02Z) - LawThinker: A Deep Research Legal Agent in Dynamic Environments [51.782293183431676]
ローシンカー(LawThinker)は、アメリカ合衆国の法律研究者。
あらゆる知識探索のステップの後に、検証をアトミックな操作として実施する。
LawThinkerは、直接的な推論よりも24%改善している。
論文 参考訳（メタデータ） (2026-02-12T15:19:11Z) - Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny [78.1575956773948]
強化学習(RL)で訓練された大規模言語モデル(LLM)は、信頼性も拡張性もない、という大きな課題に直面している。
有望だが、ほとんど報われていない代替手段は、フォーマルな言語ベースの推論である。
生成モデルが形式言語空間(例えばダフニー)で機能する厳密な形式体系におけるLLMの接地は、それらの推論プロセスと結果の自動的かつ数学的に証明可能な検証を可能にする。
論文 参考訳（メタデータ） (2025-07-22T08:13:01Z) - RLJP: Legal Judgment Prediction via First-Order Logic Rule-enhanced with Large Language Models [58.69183479148083]
法的判断予測(LJP)は、法的AIにおいて重要な課題である。
既存のLJPモデルは、高いパフォーマンスのために司法上の前例と法的な知識を統合している。
しかし彼らは、厳密な論理分析を必要とする法的判断の重要な要素である法的推論論理を無視している。
本稿では、一階述語論理(FOL)形式と比較学習(CL)に基づく規則強化された法的判断予測フレームワークを提案する。
論文 参考訳（メタデータ） (2025-05-27T14:50:21Z) - Specification languages for computational laws versus basic legal principles [0.0]
我々は,この法律が自動意思決定プロセスを通じてソフトウェアによって施行されることを意図した場合に,テキスト計算法について述べる。
本稿では、自然言語で書かれた計算法則や形式言語で書かれた計算法則の両シナリオにおいて、ある法的原則がいかに相応しいかを考察する。
論文 参考訳（メタデータ） (2025-03-12T07:39:27Z) - CUTECat: Concolic Execution for Computational Law [1.1077637528502942]
コンコリック実行ツール内でのデフォルトロジックの処理方法を示し、Catalaのコンテキストで私たちのアプローチを実装します。
我々は、フランス住宅給付のカタラ実施と米国税法第132条を評価した。
論文 参考訳（メタデータ） (2024-10-23T18:30:23Z) - 'Put the Car on the Stand': SMT-based Oracles for Investigating
Decisions [4.170056099990699]
最小限の仮定の下では、自動推論はアルゴリズムの振る舞いを厳格に問うことができることを示す。
我々は、検証やレビューボードなどの説明責任プロセスを、非現実的な論理探索や抽象リファインメントループとしてモデル化する。
われわれのフレームワークを実装し、その実用性を実証的な自動車事故のシナリオで実証する。
論文 参考訳（メタデータ） (2023-05-09T19:23:47Z) - Law Informs Code: A Legal Informatics Approach to Aligning Artificial
Intelligence with Humans [0.0]
法的な解釈と法的な解釈は、不透明な人間の価値を妥当な指令に変換する計算エンジンを形成する。
論理インフォームズ・コード(Law Informs Code)は、複雑な計算法的なプロセスを捉え、それらをAIに埋め込む研究課題である。
論文 参考訳（メタデータ） (2022-09-14T00:49:09Z) - Learning Symbolic Rules for Reasoning in Quasi-Natural Language [74.96601852906328]
我々は,ルールを手作業で構築することなく,自然言語入力で推論できるルールベースシステムを構築した。
本稿では,形式論理文と自然言語文の両方を表現可能な"Quasi-Natural"言語であるMetaQNLを提案する。
提案手法は,複数の推論ベンチマークにおける最先端の精度を実現する。
論文 参考訳（メタデータ） (2021-11-23T17:49:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。