ACL1 Version 1

ACL version 1 is a system that allows to learn the program part of an abductive logic program and that produces the necessary file for ICL so that relevant constraints can subsequently be learned.


The following software must be installed in your system:

Installation instructions:

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

  4. gunzip acl1_1.tar.gz
    tar xvf acl1_1.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 two input files: (see input file format)
  2. load Sicstus
    1. sicstus
  3. load the acl1 code
    1. | ?-[acl1_1].
  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 and the file <file_stem>.kb containing the input interpretations for ICL.
    ICL needs an extra input file called <file_stem>.s  that contains the settings under which ICL is run.  A set of standard settings is provided in the file prototype.s that is automatically copied by the acl1 code into <file_stem>.s.   If the standard setting do not give the expected result, they can be manually changed by editing the <file_stem>.s  file.
  6. run ICL by calling
  7. start the ICL learning process by giving the ICL command induce

  8. (abbreviated i)
  9. write the results with the command write_theory (abbreviate wt) that

  10. writes the learned constraints in the file <file_stem>.theory

Parameters setting:

A number of parameters can be set, both for ACL1 and for ICL. The ACL1 parameters are defined by a number of prolog facts and are described below. The parmeter settings for ICL are included in the file <file_stem>.s and are initialized with values useful for learning constraints. They can be changed by referring to the ICL manual for a description of the available settings.

The settings available in ACL1 are

  1. verbosity(V): specifies the verbosity level.  Set by default to 3.  According to the level of verbosity, the following  information is printed:
  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