(6) 帰納論理プログラミングによるデータマイニングエンジンDatagolの研究開発

Datagol

[ソフトウエアの機能・特徴]

DatagolはProgol及びそのボトムアップ処理系であるMG-Progolを基にした、帰 納論理プログラミングに基づくデータマイニングエンジンのプロトタイプであ る。変数の入出力関係を利用した探索空間の縮小や、ボトムアップ計算に基づ く被覆計算などの特徴を持つ。

[必要とされる環境]

KLIC2.002以上

ILE

[ソフトウエアの機能・特徴]

ILEは、イギリスのMuggletonによって開発された帰納論理プログラミングシス テムProgolに対して、生成された仮説に対する利用者の理解を助ける機能、及 びシステムの入力情報である正事例、背景知識の動的な修正(デバッグ)を目的 としたソフトウェアです。

欠落した背景知識を補完する問題(アブダクション)を帰納推論の考え方に帰着 させ、デバッグツールとして実現しました。そのため、ユーザと対話的に処理 を行なう方法をとっています。

[必要とされる環境]

• 言語:Java JDK1.1.4
• OS:UNIX
• その他必要なソフトウエア:Progol

ファイル構成

Readme-J			このファイル
Readme-E			このファイルの英語版
INSTALL				インストールガイド
use-of-software-J		ソフトウェアの利用条件(日本語版)
use-of-software-E		ソフトウェアの利用条件(英語版)

doc/				ユーザマニュアル ディレクトリ
source/				プログラム ディレクトリ
sample/				サンプルプログラム ディレクトリ

doc:
	Datagol.ps		Datagol ユーザマニュアル
	ILE.ps			ILE ユーザマニュアル

source/Datagol:
	Makefile	DatagolのMakefile
	cover.kl1	被覆計算モジュール
	edb.kl1		外延データベースモジュール
	idb.kl1		内包データベースモジュール
	magic.kl1	マジックセット変換モジュール
	main.kl1	Datagolメインモジュール
	match.kl1	ターム照合モジュール
	merc.kl1	MERC変換器
	mode2mg.kl1	モード宣言のMG-Clause変換器
	msh.kl1		最弱仮説計算モジュール
	astar-like.kl1	仮説束内探索メインモジュール
	refine.kl1	候補仮説生成モジュール
	tmG.kl1		弁別木モジュール
	unify.kl1	単一化モジュール
	union.kl1	パスセット計算モジュール
	util.kl1	ユーティリティモジュール

source/ILE:
	ILE.java	ILE本体
        ILE.class	ILEバイトコード
        DataSave.class
        Displays.class
        DebugArea.class
        Make_Up.class
sample:
	animals.pgl	Datagol用 動物分類問題 
	family.pl	Progol用 家族関係学習問題
	family.ile	family.plのILEでデバッグを行った後の出力ファイル

［ＦＴＰ］

• README
• ソースプログラム、マニュアル [225K]