| LINUS is a system that allows the use of background knowledge in learning. It can be used to learn relations (i.e., as an ILP system) or to take into account background knowledge for propositional learning tasks. From an ILP point of view, it transforms a restricted class of ILP problems to propositional form, then applies propositional learners to solve the transformed problem. Learning results are then transformed back to first-order form. | | |