AITEC Contract Research Projects in FY1997 : Software

(6) Research and Development of Data Mining Engine Datagol based on Inductive Logic Programming

　　　　　　
Principal Investigator : Mr. Koichi Furukawa, Professor
Graduate school of Media and Governance, Keio University

Datagol - A prototype system of data mining engine based on inductive logic programming

This package includes two softwares. (1)Datagol -- a prototype system of data mining engine based on inductive logic programming, (2)ILE -- a debugging tool for ILP system Progol.

Datagol

A prototype system of data mining engine based on inductive logic programming.
[Features of the Software]
Datagol is a prototype system of data mining engine based on ILP system Progol, and MG-Progol. The reduction of the search space by using mode information is realized in Datagol. Furthermore, Datagol employs bottom up coverage check.

[Required Environment]
Any computer and any OS which supports KLIC ver. 2.002.

ILE

Debugging Tool for ILP system Progol
[Features of the Software]
The ILE(Interactive Learning Environment) is designed for Progol to facilitate the user's understanding of the derived hypothesis and to modify both positive examples and background knowledge by proposing their possible candidates.

In ILE, the problem of finding the missing background knowledge (abduction) is reduced to the problem of inductive inference. This is one of the feature in ILE.

[Required Environment]

File Configuration

Expanded directory has the following files: 
Readme-J			Japanese Version of This File
Readme-E			This File
INSTALL				Install Guide
use-of-software-J		Terms and Conditions for Use of IFS (Japanese)
use-of-software-E		Terms and Conditions for Use of IFS (English)

doc/				User Manual Directory
source/				Program Directory
sample/				Sample File Directory

doc:
	Datagol.ps		Datagol User Manual
	ILE.ps			ILE User Manual

source/Datagol:
	Makefile	Makefile for Datagol
	cover.kl1	Cover Check Module
	edb.kl1		EDB Module
	idb.kl1		IDB Module
	magic.kl1	Magic Translation Module
	main.kl1	Datagol Main Module
	match.kl1	Term Matching Module
	merc.kl1	Merc Translation Module
	mode2mg.kl1	Mode Declaration to MG-Clause Trainslation Module
	msh.kl1		Most Specific Hypothesis Generation Module
	astar-like.kl1	A*-like Search Main Module
	refine.kl1	Refinement Module
	tmG.kl1		Discrimination Tree Module
	unify.kl1	Unification Module
	union.kl1	Path Set Calculation Module
	util.kl1	Utility Module

source/ILE:
	ILE.java	ILE original file
        ILE.class	ILE byte code
        DataSave.class
        Displays.class
        DebugArea.class
        Make_Up.class

sample:
	animals.pgl	Animals Problem for Datagol
	family.pl	family relationships example
	family.ile	a file after debugging family.pl by ILE

[FTP]

www-admin@icot.or.jp