法とコンピュータ(慶大法97) 自己紹介

法とコンピュータ
– 場所 慶大法学部(三田校舎教室)
– 期間 2004/4/12-2003/1/30
– 講師 吉野一
1 はじめに
自己紹介
 講義目標
 講義目次


教科書
– 吉野一『法律人工知能』創成社、2000年

参考書
– 吉野一『法論理学』成文堂、近刊
自己紹介
氏名:
 所属:
 専門:


学歴:



研究:
吉野一(よしのはじめ)
明治学院大学法科大学院教授
法哲学、法情報学、法律と人工知能、
契約法
慶應義塾大学法学部法律学科卒
同大学院法学研究科修士課程卒
同博士課程単位取得退学
論理法学、法律と人工知能
講義目標
 法的知識の構造を把握し法的推論しシス
テムを構築する。
– 法分野におけるコンピュータ利用の基礎技術
を習得
– 法的知識と法的推論の構造を把握する。
– 法的推論システムを構築する。
講義大目次
1
2
3
4
5
はじめに
コンピュータの基礎技術と応用
法的知識と法的推論の構造
法的推論のシステム化
まとめ
2 コンピュータの技術と応用
(1)
コンピュータの基本概念
 キーボード操作
 ワープロ(Word, etc.)、エディタ(mule, etc.)
 プレゼンテーション(Power Point)
 表計算(Excel, etc.)
 インターネット

– Eメール、FTP、telnet、 www
ホームページ作成
 データベース(Access,etc.)
 プログラミング言語(Prolog)

コンピュータの技術と応用(2)

法律業務OA支援
– 文書作成、表計算、プレゼンテーション、スケジューリ
ング、通信、ファイル管理
法律データベース
 ホームページ
 法律判断支援 →法律人工知能

• (法律エキスパートシステム・法的推論システム)
法的推論と法的知識構造の把握
 法学教育支援 →法律人工知能

法律人工知能とは何か

法律人工知能・法律エキスパー
トシステムは、六法や判例集や
教科書等の文書に記述された、
あるいは文書化されていないが
法律家が暗黙裏に頭の中に有し
ている法的知識を登載していて、
相談事案を入力すると、法的推
論を行い、現在の法体系の下で
いかなる法的判断がなされるべ
きかを、出力してくれるような
コンピュータ上のシステムであ
る。法律エキスパートシステム
が単なる法律データベースと違
うのは、推論をし、判断をして
くれる点である。なお法的判断
の結論を出力するばかりでなく、
結論に至るまでの推論過程、そ
の根拠、そして法体系自体を示
してくれる。(図-1)
法律人工知能をいかに実現するか

法律判断システムとしての法律エキスパートシステムはどう実
現していけばよいのであろうか。法律エキスパートシステムを
構築する研究目的は表1に示すように、法的知識構造の解明と
法律エキスパートシステムのソフトウェア構築の二つに大別で
きる。第1の研究目的はさらに法的知識の一般構造の解明と実
定法の知識構造の解明の二つの項目に分かれる。第2の研究目
的はさらに法律知識ベースとその他のソフトウェアを構築する
項目とからなる。


法的知識構造の解明
– 法的知識の一般構造の解明
– 実定法の知識構造の解明

ソフトウェアの構築
– 法律知識ベースの構築
– 推論エンジン他の構築

表1
法律エキスパートシステム構築の課題
法律人工知能の構成
推論エンジン
(正当化推
論)
ユーザ
(発見の推
インタフェー
論)
ス
知識ベース管
理・構築支援
システム
図2 法律エキスパートシステムの構成
法律知識ベー
ス
法律人工知能をいかに実現するか

法律判断システムとしての法律エキスパートシステムはどう実
現していけばよいのであろうか。法律エキスパートシステムを
構築する研究目的は表1に示すように、法的知識構造の解明と
法律エキスパートシステムのソフトウェア構築の二つに大別で
きる。第1の研究目的はさらに法的知識の一般構造の解明と実
定法の知識構造の解明の二つの項目に分かれる。第2の研究目
的はさらに法律知識ベースとその他のソフトウェアを構築する
項目とからなる。


表1
法律エキスパートシステム構築の課題

法的知識構造の解明
– 法的知識の一般構造の解明
– 実定法の知識構造の解明

ソフトウェアの構築
– 法律知識ベースの構築
– 推論エンジン他の構築
法律エキスパートシステムLES-5デモ


Hajime Yoshino Online からアクセス
http://www.meijigakuin.ac.jp/~yoshino/
– 法律エキスパートシステムプロジェクト
– 法律エキスパートシステム
実習と宿題
 キーボード練習
 パワーポイントで自己紹介を作成
 インターネット
– Eメール
参考例
法的推論の構造
 筑波大学田中研究室の発表例
 東京工業大学広田研究室の発表例
 筑波大学田中研究室

次週
 キーボード小テスト
 自己紹介プレゼンテーション
 法的知識分析の基礎理論としての論理法
学
 実習:FTP,telenet