Transcript 法とコンピュータ（慶大法97） 自己紹介

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