Previous: AIDA-97-02 Next: AIDA-97-04 Index 1997


Intellectics Group: Technical Report 97-03

Representing Inductive Inference with SOLD-Resolution

Akihiro Yamamoto

In this paper we discuss how to use SOL-resolution, proposed by Inoue, for inductive inference. In order to use some results on horn clause logic, we define a new inference method SOLD-resolution. SOLD-resolution is obtained by adding the skipping rule to SLD-resolution, and is also regarded as a special type of SOL-resolution. When we use SOLD-resolution to hypothesis finding, every derived hypothesis is a negation of a clause, while in induction it must be a clause. We give two solutions to the problem. The first solution is to use inverse entailment proposed by Muggleton. In order to give an inference procedure based on it we add the reducing rule and the saturation rule to SOLD-resolution. The reducing rule is another rule used in SOL-resolution, and saturation is an inference rule proposed by Rouveirol. With our procedure we can deerive definite clauses as hypotheses. The second solutionis to give a restriction that every hypothesis should be a unit program. Under the restriction we give an inductive inference procedure by combining SOLD-resolutionwith the identification rule proposed by Muggleton.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry