ACL1 Version 2
ACL version 2 is a system that allows only the
program part of an abductive logic program to be learned. A detailed
description of the differences among versions 1 and 2 is given in the comments
to the code.
The following software must be installed in your system:
download the ACL1 code acl1_2.tar.gz
for version 2,
create a directory for your code and data files
copy acl1_2.tar.gz into it and decompress it
tar xvf acl1_2.tar
set an environmental variable for the execution of ICL
setenv ICL_APPL_CONF ''
Running the system:
prepare your data: you need one input file: (see input
<file_stem>.bg: the input file with the training set, background
knowledge and bias
load the acl1 code
start the induction with the command
the induction writes the output files <file_stem>.rules containing
the rules learned in the first phase.
A number of parameters can be set. The ACL1 parameters are defined by a
number of prolog facts and are described below:
verbosity(V): specifies the verbosity level. Set by default
0: nothing is printed apart from the output rules
beamsize(Beamsize): specifies the size of the beam. Set by default
nmax(Nmax): maximum number of specialization steps. Set
by default to 10
der_depth(Depth): depth of derivations. Set by default to
kt(K): threshold on K+ and K-. Set by default to 0.1
min_cov(MC): minimum number of examples that each clause must
cover. Set by default to 1
1: every rule that is added to the theory
2: every rule added to the agenda
3: the agenda at each specializing step
They can be set either by including a fact for them in the input file,
by changing the acl1_2.pl file and reloading it or by retract
For reporting impressions on the use of the system, bugs or new applications,
send an e-mail to Fabrizio Riguzzi email@example.com.
Back to the main ACL page.