LIVE is written in XSB prolog and employs the GOLEM system. In order to run LIVE, both XSB and GOLEM must be installed in the system (you can download the binary code of GOLEM compiled for Solaris from here). A command golem must be present in the path. Due to the availability of GOLEM executables only for Solaris, at the moment this is the platform on which LIVE can be run. LIVE is composed of three XSB prolog files:
The input to LIVE is composed by two files: one background file and a training set file. If <file_stem> is the name given to the learning experiment, the two files will have the names <file_stem>_bg.P and <file_stem>_tr.P.
In order to run LIVE, copy both the program files and the input files
in the same directory, call XSB and load LIVE by consulting the file live.P
with the command
Then induction can be started with the command
The output is written to the file <file_stem>_rules.P
Two sample learning experiments are available (taken from ):
 J. J. Alferes and L. M. Pereira, Reasoning with Logic Programming, volume 1111 of LNAI, Springer-Verlag, 1996.
 E. Lamma, F. Riguzzi, L. M. Pereira, "Strategies in Combined Learning via Logic Programs", Machine Learning, Vol. 38, Number 1 and 2, January/February 2000.
 E. Lamma, F. Riguzzi, L. M. Pereira, "Learning with Extended Logic Programs", Proceedings of the Logic Programming track of the Seventh International Workshop on Nonmonotonic Reasoning (LP-NMR98), May1998.
 E. Lamma, F. Riguzzi, L. M. Pereira, "Strategies for Learning with Extended Logic Programs", Proceedings of the Fourth International Workshop on Multistrategy Learning (MSL98), June 1998.
 E. Lamma, F. Riguzzi, L. M. Pereira, "Learning in a Three-valued Setting", Proceedings of the CompulogNet Area Meeting on Computational Logic and Machine Learning, June 1998.
 E. Lamma, F. Riguzzi, L. M. Pereira, "Learning Three-valued Logic Programs", Late breaking paper, 9th International Workshop on Inductive Logic Programming (ILP99), S. Dzeroski e P. Flach (eds.), June 1999.
|Mail Your Comments on these Pages to the
||Mail Your Comments for LIA to the
|Back to the
||Back to the
|Go to the
|Go to the
||Go to the