Inductive logic programming using relevant logic

摘要

This paper proposes a new method of Inductive Logic Programming (ILP) which generates hypotheses by using R{sub}∧→, which is one of relevant logic systems. The system R{sub}∧→, which is an extension of R{sub}∧→, has implication and conjunction as logical connectives, and satisfies some good properties such as relevance principle, decidability and so on. The method of this paper has two good properties. First, it doe not produce too generalized hypotheses due to those properties of R{sub}∧→. It is efficient especially in tearing from only positive example. Second, this method restricts the form of example to definite clause while common ILP systems restrict it to unit or ground clause. So it is a weaker restriction than that of other ILP systems.