|Did you know ...||Search Documentation:|
|Pack aleph -- README.md|
Porting of Aleph for SWI-Prolog.
Aleph is an Inductive Logic Programming system developed by Ashwin Srinivasan:
This pack contains a porting of Aleph v.5 to SWI-Prolog. The porting was done by Fabrizio Riguzzi.
Two files are included:
aleph_orig.pl is a direct porting of Aleph for Yap, while
aleph.pl is modoule-file that can run also under SWISH.
aleph.pl was developed by Paolo Niccolò Giubelli and Fabrizio Riguzzi.
aleph_orig.pl can be used as the original Aleph.
aleph.pl differs because it uses a single input file instead of three files for background, positive and negative examples.
The input file for
aleph.pl must be structured as follows:
:- modeh(*,grandparent(+person,-person)). :- modeh(*,parent(+person,-person)). :- modeb(*,mother(+person,-person)). :- modeb(*,father(+person,-person)). :- modeb(*,parent(+person,-person)). :- aleph_set(verbose,1). % ...
Nothing has changed here except you need to enclose this section with begin_bg/0 and end_bg/0 directives. Between them you can put your background clauses. E.g.:
:- begin_bg. person(bob). person(dad(bob)). % ... :- end_bg.
The positive examples section is delimited by begin_in_pos/0 and end_in_pos/0 directives. E.g.:
:- begin_in_pos. grandparent(dad(dad(bob)),bob). grandparent(dad(mum(bob)),bob). % ... :- end_in_pos.
The negative examples section is delimited by begin_in_neg/0 and end_in_neg/0 directives. E.g.:
:- begin_in_neg. grandparent(bob,bob). % bob is not a grandparent of bob % ... :- end_in_neg.
You can use the usual Aleph commands for performing learning. Moreover, the following predicates were added. Their arity has been increased by one compared to the original version. The (new) output argument returns the result of the command.
The original manual of Aleph can be found at http://www.cs.ox.ac.uk/activities/machlearn/Aleph/.
The manual of
aleph.pl can be found at http://friguzzi.github.io/aleph/doc/manual.html.
The examples have been downloaded from http://www.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/misc/examples.zip and ported to SWI-Prolog.