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:

Installation instructions:

  1. download the ACL1 code acl1_2.tar.gz for version 2,
  2. create a directory for your code and data files
  3. copy acl1_2.tar.gz into it and decompress it

  4. gunzip acl1_2.tar.gz
    tar xvf acl1_2.tar
  5. set an environmental variable for the execution of ICL

  6. setenv ICL_APPL_CONF ''

Running the system:

  1. prepare your data: you need one input file: (see input file format)
  2. load Sicstus
    1. sicstus
  3. load the acl1 code
    1. | ?-[acl1_2].
  4. start the induction with the command
  5. 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:
  1. verbosity(V): specifies the verbosity level.  Set by default to 3
  2. beamsize(Beamsize): specifies the size of the beam. Set by default to 5
  3. nmax(Nmax): maximum number of specialization steps.  Set by default to 10
  4. der_depth(Depth): depth of derivations.  Set by default to 20
  5. kt(K):  threshold on K+ and K-.  Set by default to 0.1
  6. 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 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

 Back to the main ACL page.

Back to the LIA Home Page

Go to the DEIS Home Page Go to the Alma Mater Home Page