ASE-Progol

System: ASE-Progol
Version: 1.0
Further specification: an Active Learning system which uses ILP to construct hypothesised first-order theories and uses a CART-like algorithm to select trials for eliminating ILP derived hypotheses.
Code: Unix shell script and Prolog code
Pointer: ftp://www.comp.rgu.ac.uk/pub/staff/chb/systems/ase_progol/version_1.0/
References: Bryant et al. 2001
Other comments: Distributed together with manual

The aim of ASE-Progol is to partially automating some aspects of scientific work. These aspects include the processes of forming hypotheses, devising trials to discriminate between these competing hypotheses and then using the results of these trials to converge upon an accurate hypothesis. ASE-Progol is an Active Learning system which uses ILP to construct hypothesised first-order theories and uses a CART-like algorithm to select trials for eliminating ILP derived hypotheses.

References

  1. C.H. Bryant, S.H. Muggleton, S.G. Oliver, D.B. Kell, P. Reiser and R.D. King. Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electronic Transactions on Artificial Intelligence 5(B1): 1-36. 2001. http://www.ida.liu.se/ext/epa/ej/etai/2001/B1/