平成１０年度　委託研究ソフトウェアの 成果ソフトウェア

(10)ゴールに依存した抽象化を用いた法的推論システムの開発に関する研究

　　
研究代表者： 角田　篤泰　講師
北海道大学法学部

［ソフトウエア機能］

本システムはゴールに依存した抽象化（GDA：Goal-Dependent Abstraction） に基づく類推を用いた法的推論システムである。GDAを用いたことにより、 法律の目的を説明するための学説に依存して適切な類似性を算出し、 その類似性を用いて類推を実現している。今回のブラッシュアップにより、 GUIが導入されユーザの操作性向上が図られた。このGUIにおいて利用された 部品モジュールは本システムと独立したライブラリとして利用可能である。

［必要な環境］

 SICStus-Prolog 3 #5
 Tcl7.6/Tk4.2
 *動作確認は以下で行った：
    PC-AT互換機(メモリ128M)、Windows95
    Sun SparcStaton20(メモリ256M)、Solaris 2.5.1

［ファイル構成］


H10-10/
     |--Readme-J ............. 日本語版 README
     |--Readme-E ............. 英語版 README
     |--use-of-software-J .... 日本語版 ソフトウエア利用条件
     |--use-of-software-E .... 英語版 ソフトウエア利用条件
     |--src/
     |    |--newgda.pl ....... GDA核システムのソースプログラム
     |    |--user.pl ......... ユーザインターフェースのソースプログラム
     |    |--gui.pl .......... GUIのソースプログラム
     |    |--window.pl ....... GUI部品モジュールのソースプログラム
     |    |--park.kb ......... 例題（GDA-LES用）
     |    |--win_test.pl ..... 例題（GUI部品用）
     |--example/
     |    |--civil.kb ........ 現実の法律問題の例題の知識ベース
     |    |--civil.txt ....... civil.kbの解説
     |--doc/
          |--manual.txt ...... GDA-LESの使用手引書
          |--intro.txt ....... 本システムの入門資料
          |--winlibin.txt .... GUI部品モジュールの詳細内部仕様書
          |--winlibex.txt .... GUI部品モジュールの外部仕様書

*以上のうち、拡張子が txt のファイルはEUCコードによる日本語テキスト
 ファイルである。

［ＦＴＰ］

www-admin@icot.or.jp