HIGHER-ORDER LOGIC LEARNING ANDPROGOL

@inproceedings{Pahlavi2010HIGHERORDERLL,
  title={HIGHER-ORDER LOGIC LEARNING ANDPROGOL},
  author={Niels Pahlavi},
  year={2010}
}
We pr esent our research produced about Higher-order Logic Learning (HOLL), which consists of adapting First-order Logic Learning (FOLL), like Inductive Logic Pro- gramming (ILP), within a Higher-order Logic (HOL) context. We describe a first working implementation ofProgol, a HOLL system adapting the ILP system Progol and the HOL formalismProlog. We compareProgol and Progol on the learning of recursive theories showing that HOLL can, in these cases, outperform FOLL. 

Topics from this paper.

Similar Papers

Loading similar papers…