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.
Prerequisites:
The following software must be installed in your system:
Installation instructions:
-
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
gunzip acl1_2.tar.gz
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 format)
-
<file_stem>.bg: the input file with the training set, background
knowledge and bias
-
load Sicstus
sicstus
-
load the acl1 code
| ?-[acl1_2].
-
start the induction with the command
the induction writes the output files <file_stem>.rules containing
the rules learned in the first phase.
Parameters setting:
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
to 3
0: nothing is printed apart from the output rules
1: every rule that is added to the theory
2: every rule added to the agenda
3: the agenda at each specializing step
-
beamsize(Beamsize): specifies the size of the beam. Set by default
to 5
-
nmax(Nmax): maximum number of specialization steps. Set
by default to 10
-
der_depth(Depth): depth of derivations. Set by default to
20
-
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
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
and asserts.
For reporting impressions on the use of the system, bugs or new applications,
send an e-mail to Fabrizio Riguzzi friguzzi@deis.unibo.it.
Back to the main ACL page.