PYTHEN: Pythonにおける法的推論の柔軟なフレームワーク

要旨: 本論文は、反証可能な法的推論のための新規な Python ベースのフレームワーク PYTHEN を紹介します。
PYTHEN は、法的議論が本質的に反証可能な性質をモデル化するよう設計されており、法的ルール、条件、例外を表現するための柔軟で直感的な構文を提供します。
PROLEG（PROlog-based LEGal reasoning support system）に触発され、The Zen of Python の哲学に導かれて、PYTHEN は Python の組み込み関数 any() および all() を活用して、単一のルール内で結合条件（ALL）と分岐条件（ANY）をネイティブにサポートすることにより、より高い柔軟性を提供し、さらに表現力豊かな例外処理機構を備えています。
本論文は PYTHEN のアーキテクチャを詳述し、PROLEG との比較分析を提供し、自動形式化および次世代の法的 AI システムの開発におけるその潜在的な適用について論じます。
記号推論と Python の利用可能性のギャップを埋めることによって、PYTHEN は若手研究者、法務テック開発者、そして広範な論理プログラミングの専門知識を必要としない専門家のために、形式的な法的推論を民主化することを目指します。
私たちは PYTHEN を、論理プログラミングの強力な記号推論能力と Python の豊富で普及したエコシステムとの実用的な架け橋として位置づけ、形式的な法的推論をより広い範囲の開発者と法務専門家が利用できるようにします。