論文の概要: Machina Pauliana: A neuro-symbolic approach to the actio pauliana in Dutch insolvency law
- arxiv url: http://arxiv.org/abs/2610.26241v1
- Date: Mon, 19 Oct 2026 12:02:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-23 18:49:13.373598
- Title: Machina Pauliana: A neuro-symbolic approach to the actio pauliana in Dutch insolvency law
- Title（参考訳）: マキナ・パウリアーナ : オランダの破産法におけるアクチオ・パウリアーナへの神経象徴的アプローチ
- Abstract要約: オランダ破産法(Faillissementswet, Fw)第42条は、債務者を偏見する取引を避けることを可能とする。
第42条Fwのニューロシンボリックモデルを提案する。
シンボリックコアはカタラ文字で書かれており、法令と形式が一致している。
- 参考スコア（独自算出の注目度）: 7.520725236138461
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Applying a legal provision frequently requires both structured rule-based reasoning and sensitivity to open-textured terms developed in case law. The actio pauliana of Article 42 of the Dutch Bankruptcy Act (Faillissementswet, Fw), which allows an insolvency practitioner to avoid transactions that prejudice creditors, requires both. We present a neuro-symbolic model of Article 42 Fw. Its symbolic core is written in Catala in a literate style that keeps statute and formalisation aligned and was developed through pair programming, with open-textured terms represented as boolean inputs where neural components couple to the symbolic solver. A neural routine structures a case's natural-language facts into boolean and date inputs. Neural subroutines resolve the open-textured terms through case-based reasoning over Dutch civil judgments, retrieved through a pipeline that filters on the requirement being resolved and expands along the procedural chain of a case. Segmenting and labelling those judgments attains high precision and recall against a manually annotated gold standard of 100 judgments. On ten hand-annotated cases the neuro-symbolic model handles most criteria reasonably but struggles with the knowledge requirement. Retrieval depth shows no clear quantitative effect, although retrieved judgments provide explicit grounding in prior case law.
- Abstract（参考訳）: 法的規定を適用するには、規則に基づく構造的推論と、ケース法で開発されたオープンテクスチャ付き用語に対する感受性の両方が必要となる。
オランダ破産法(Faillissementswet, Fw)第42条のアクティオ・パウリアナ(Actio pauliana, Fw)は、債務者を偏見する取引を避けるために、その両方を必要とする。
第42条Fwのニューロシンボリックモデルを提案する。
その記号のコアはカタラ語で書かれており、規則と形式を一致させ、ペアプログラミングによって開発され、オープンテクスチャ付き用語はブール入力として表現され、ニューラルコンポーネントはシンボリック・ソルバと結合する。
ニューラルルーチンは、ケースの自然言語の事実をブールと日付の入力に構造化する。
ニューラルサブルーチン(Neural subroutine)は、オランダの民事判決に対するケースベースの推論を通じて、解決される要件をフィルタリングし、ケースの手続き的連鎖に沿って拡張するパイプラインを通じて検索されるオープンテクスチャの用語を解決する。
これらの判断のセグメンテーションとラベル付けは、100の判断で手動でアノテートされた金の基準に対して高い精度とリコールを達成する。
手書きの10のケースでは、ニューロシンボリックモデルはほとんどの基準を合理的に扱うが、知識要求に苦しむ。
検索深度は明確な量的効果は示さないが、検索された判定は前例法に明確な根拠を与える。
関連論文リスト
- Measuring & Mitigating Over-Alignment for LLMs in Multilingual Criminal Law Courts [0.25604314983611276]
スイス連邦最高裁判所は、4つの公用語をまたいだ仮訳と短距離通訳の要約に小さなオンプレミスモデルを使用している。
本稿では,スイス最高裁判所の判決に基づく刑事法翻訳と要約のベンチマークであるTF-RefusalBenchを紹介する。
次に、TF-RefusalBenchを用いて、オーバーアライメントが処理中のモデルとプロンプトおよびテキスト言語の影響を受け、多面的現象であることを示す。
論文 参考訳（メタデータ） (2026-06-22T14:08:08Z) - Beyond Probabilistic Similarity: Structural, Temporal, and Causal Limitations of Retrieval-Augmented Generation in the Legal Domain [0.0]
Retrieval-Augmented Generationは、法的AIにおける信頼性の欠如に対する標準的なアーキテクチャ上の応答となっている。
これらの失敗は、確率的検索と法知識の階層的、時間的、制度的構造との間のアーキテクチャ上のミスマッチの兆候であると主張する。
まず、古典的法理論から派生した三つの性質として法知識のオントロジ的コミットメントを明記する。
第2に, 機能的定義, 故障機構, 正準例, 検出基準による検索の3つの病態(メレオジカルブラインドネス, ダイアクロニックブラインドネス, 因果不透明度)を同定する。
論文 参考訳（メタデータ） (2026-06-08T16:46:53Z) - Beyond Imperfect Alternatives with Rulemapping: A Neuro-Symbolic Case Study on Online Hate Speech [0.0]
象徴的なシステムは透明性を提供するが、あいまいさに苦しむ。
ニューラルネットワークは自然言語を柔軟に扱うが、検証性はない。
本稿では,ハイブリッド・ニューロシンボリック・アプローチが,このトレードオフを緩和できるかどうかを考察する。
論文 参考訳（メタデータ） (2026-04-10T17:24:34Z) - DeonticBench: A Benchmark for Reasoning over Rules [52.69517904415795]
DEONTICBENCHは、アメリカ合衆国連邦政府の税、航空会社の荷物政策、移民管理、および合衆国の住宅法に関する6,232のタスクのベンチマークである。
これは、実世界のドメインにおいて、象徴的および非象徴的な設定の下でコンテキスト基底ルール推論を研究するためのベンチマークである。
論文 参考訳（メタデータ） (2026-04-06T05:41:02Z) - Fluid Representations in Reasoning Models [91.77876704697779]
本稿では,QwQ-32Bの抽象構造情報処理のメカニズム解析を行う。
その結果、QwQ-32Bは、推論中の行動や概念の内部表現を徐々に改善することがわかった。
論文 参考訳（メタデータ） (2026-02-04T18:34:50Z) - Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification [49.506412445511934]
大きな言語モデル(LLM)は目覚ましい能力を示すが、その次は論理的不整合と報奨ハックを生み出す。
本稿では,自然言語生成プロセスと形式的記号的検証を動的にインターリーブする形式論理検証誘導フレームワークを提案する。
我々はこのフレームワークを,形式論理検証誘導制御による微調整とポリシー最適化の相乗効果を生かした,新しい2段階のトレーニングパイプラインを通じて運用する。
論文 参考訳（メタデータ） (2026-01-30T07:01:25Z) - The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law [0.32904041852873017]
モデレーション、脆さ、不透明なセマンティクスは、データやスケール制限よりも、型理論的なセマンティクスの欠如の兆候である、と我々は主張する。
モンタギューの型付き合成代数学としての言語観に基づいて、アライメントを解析問題として再放送する。
本稿では、発話を記述型論理形式にコンパイルする、ニューロシンボリック言語であるSavaiを紹介する。
論文 参考訳（メタデータ） (2025-10-08T01:22:26Z) - A Law Reasoning Benchmark for LLM with Tree-Organized Structures including Factum Probandum, Evidence and Experiences [76.73731245899454]
本稿では,階層的なファクトラム,証拠,暗黙的な経験に富む透明な法理推論スキーマを提案する。
このスキーマにインスパイアされた課題は、テキストのケース記述を取り込み、最終決定を正当化する階層構造を出力する。
このベンチマークは、Intelligent Courtにおける透明で説明可能なAI支援法推論の道を開く」。
論文 参考訳（メタデータ） (2025-03-02T10:26:54Z) - DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment [55.91429725404988]
判例検索のための識別モデルであるDELTAを紹介する。
我々は浅層デコーダを利用して情報ボトルネックを作り、表現能力の向上を目指しています。
本手法は, 判例検索において, 既存の最先端手法よりも優れている。
論文 参考訳（メタデータ） (2024-03-27T10:40:14Z) - Factoring Statutory Reasoning as Language Understanding Challenges [48.13180364616141]
法定推論を4種類の言語理解課題問題に分解する。
Prologプログラムに見られる概念と構造を紹介します。
法定推論のモデルは、追加の構造の恩恵を受けることが示されている。
論文 参考訳（メタデータ） (2021-05-17T14:33:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。