Using abduction for induction of normal logic programs
Oliver Ray, Peter A. Flach, Antonis C. Kakas, Lorenzo Magnani · Bristol Research (University of Bristol) · 2006
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.