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

本ソフトウェアは、発想的帰納推論エンジンAbductive-Datagolと、 RDBに連結した帰納推論エンジンDatagol/RDBから成ります。

Abductive-Datagol

[ソフトウェアの機能と特徴]

欠落した背景知識を補完する問題(アブダクション)を帰納推論の考え方に帰着させ、 欠落情報をルールの形で抽出する帰納論理プログラミングによる推論エンジン。推 論アルゴリズムに拡張逆伴意法を採用しているので、同一述語の複数の欠落に対応 可能である。また、通常の負事例の他に一貫性制約の記述も可能である。 (通常の帰納論理プログラミングシステムとしても利用可能)

[必要とされる環境]

• SICStus Prolog

Datagol/RDB

[ソフトウェアの機能と特徴]

帰納論理プログラミングを用い、関係データベースから(物理的なデータの変換な しに)直接ルールを獲得することが可能。また数の入出力関係を利用した探索空間 の縮小などを行っている。

[必要とされる環境]

• JDK1.1以上
• SICStus Prolog 3.7.1
• JDBC に対応した関係データベース

ファイル構成

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

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

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

source/AILP:
	a-datagol.pl		abductive-Datagol メインモジュール
	eval.pl			(部分演繹用)メタインタプリタ モジュール
	msh.pl			最弱仮説生成モジュール
	parser.pl		データ読み込み モジュール
	path.pl			パスセット計算モジュール
	search.pl		仮説束内探索 モジュール
	util.pl			ユーティリティー モジュール

source/AILP/sample:
	animals.pl		abductive-Datagol用 動物分類問題
	family.pl		abductive-Datagol用 家族関係学習問題
	grammar.pl		abductive-Datagol用 文法学習問題

source/RDB:
	Makefile		Datagol/RDBのMakefile
	make_datagol.pl		MakeのためのPrologプログラム

	Datagol.java		GUI メイン モジュール
	DBPLG.java		GUI/推論エンジン インターフェースモジュール
	DG.java			推論エンジン/RDB インターフェースモジュール
	OutPanel.java		出力用モジュール

	datagol.pl		Datagol/RDB トップ モジュール
	gui.pl			GUI/推論エンジン インターフェースモジュール	
	main.pl			推論エンジン モジュール
	msh.pl			最弱仮説計算モジュール
	rdb.pl			推論エンジン/RDBインターフェースモジュール
	search.pl		仮説束内探索モジュール
	trans.pl		Prolog to SQL コンパイラ
	util.pl			ユーティリティー モジュール


source/RDB/sample:
	animals.pl		Datagol/RDB 用 動物分類問題
	animals.sql		Datagol/RDB 用 動物分類問題(データ)

ＦＴＰ

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