| 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.