状況理論による法的推論の形式化

• Item type: Journal(1)
• 公開日: 1995-01-15
• タイトル: 状況理論による法的推論の形式化
• タイトル / 言語: en
• タイトル: A Legal Reasoning System Based on Situation Theory
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 知識処理
• 著者所属: （株）三菱総合研究所情報科学部
• 著者所属: University of California San Francisco
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属(英): en
• 著者所属(英): Mitsubishi Research Institute, Inc.
• 著者所属(英): en
• 著者所属(英): University of California, San Francisco
• 著者所属(英): en
• 著者所属(英): Institute for New Generation Computer Technology
• 著者所属(英): en
• 著者所属(英): Institute for New Generation Computer Technology
• 著者名: 東条, 敏; Stephen, Wong; 新田, 克己; 横田, 一正
• 著者名(英): Satoshi, Tojo; Stephen, Wong; Katsumi, Nitta; Kazumasa, Yokota
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 法的推論の研究は、人工知能の研究者にとっても司法の現場からも魅力的な話題であるが、法令文の解釈は常に背後条件や周囲条件に依存するため、その形式化を困難にしている.。本稿の目的は、法的推論のしくみを状況理論の観点から整理し、形式化することである。状況理論は、述語論理のみによる記述系に対して、以下の点で有利である。第一に、状況はそれに対応するルールとファクトの集合を定義できるため、モジュールの概念を用いて計算機上に実装が可能であり、モジュール間の集合演算や継承などを実現できる。第二に、いろいろな状況依存に関わる現象が同じ状況推論のルールの形に書くことができるため、法の適用範囲、背後条件、判例などが、一様な記述系で表現できる。本稿では、ひとつの判例を状況と見立て、その中だけで局所的に成り立つ判例に依存したルール、判例を一般化した状況で成り立つルール、普遍的な状況で成り立つ法令文ルールを区別する。これらルールを薪事件に対応させるため、ルールの中の個体名や変数を新しい個体名に書き替え、ルールの連鎖により新たな法的判断を求めることができるモデルを示す。また、新事件と過去の判例との類似性判断についても、状況理論的に形式化する。この枠組は灼知識べ一スシステムQuixoteを用いて実験的に実装されており、実際の判例を用いて推論のしくみの例を紹介する。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 36, 号 1, p. 51-60, 発行日 1995-01-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764