Using Abduction for Induction of Normal Logic Programs

  title={Using Abduction for Induction of Normal Logic Programs},
  author={Oliver Ray},
This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 16 references

Abductive-Inductive Learning

  • O. Ray, Hybrid
  • Ph.D. dissertation, Imperial College London,
  • 2005
Highly Influential
17 Excerpts

investigation into theory completion techniques in indu ctive logic programming

  • S. Moyle, An
  • Ph.D. dissertation, Oxford University,
  • 2003
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…