Proof Length as an Uncertainty Factor in ILP

  • Authors:
  • Gilles Richard;Fatima Zohra Kettaf

  • Affiliations:
  • -;-

  • Venue:
  • Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

A popular idea is that the longer the proof the riskier the truth prediction. In other words, the uncertainty degree over a conclusion is an increasing function of the length of its proof. In this paper, we analyze this idea in the context of Inductive Logic Programming. Some simple probabilistic arguments lead to the conclusion that we need to reduce the length of the clause bodies to reduce uncertainty degree (or to increase accuracy). Inspired by the boosting technique, we propose a way to implement the proof reduction by introducing weights in a well-known ILP system. Our preliminary experiments confirm our predictions.