---
title: "Incorporating a folding rule into inductive logic programming"
authors:
  - "David A. Rosenblueth"
doi: ""
url: "https://ijcai.org/proceedings/2005/280"
pdf: "https://ijcai.org/proceedings/2005/0280.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1630-1630"
track: ""
keywords:
---

# Incorporating a folding rule into inductive logic programming

David A. Rosenblueth

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1630-1630.

## Abstract

Many inductive logic programming systems have operators reorganizing the program so far inferred, such as the intra-construction operator of CIGOL. At the same time, there is a similar reorganizing operator, called the “folding rule,” developed in program transformation. We argue that there are advantages in using an extended folding rule as a reorganizing operator for inductive-inference systems. Such an extended folding rule allows an inductive-inference system not only to recognize already-learned concepts, but also to increase the efficiently of execution of inferred programs.