Name (abbrev)

Name (full)

Category

Last update

SkilIt

Samples from ILP systems

b D, Y

Application domain

Further specifications

SkilIt (Recursive Theories)

data + background knowledge

Type

Format

Complexity

ILP

Prolog

small examples

WWW / FTP

Contact person(s)

Related group(s)

Optional contact address

2. Universidade do Porto, LIACC

amjorge,[email protected]

References

Jorge, A., Brazdil, P. :
Learning Recursion with Iterative Bootstrap Induction(extended abstract).
In Proceedings of the European Conference on Machine Learning
ECML-95 , Lavrac & Wrobel (Ed.), Springer-Verlag 1995

Brazdil, P., Jorge, A. :
Learning by Refining Algorithm Sketches.
In Proceedings of the Eleventh
European Conference on Artificial Intelligence ECAI-94 ,
A. G. Cohn (Ed.),Wiley 1994

Jorge,A., Brazdil,P.
"Architecture for Iterative Learning of Recursive Definitions"
in L.De Raedt (ed.): Advances in Inductive Logic Programming,
pp.206-218
IOS Press, Amsterdam 1996

Annotations

The system SkilIt described in [Jorge 95] is intended to induce recursive theories from small sets of positive examples using iterative bootstrapping. The system does not start from a scratch but it searches for a program meeting the input programming schema of the intended program. Moreover, SkilIt offers means to specify both

• some characteristics of the target predicate, e.g. its i/o mode, type declarations
  
• and the integrity constraints.
  

Comments