About the use of probability in a logic-based setting, [Ng08] advocates for probability to be

@inproceedings{Pahlavi2010AboutTU,
  title={About the use of probability in a logic-based setting, [Ng08] advocates for probability to be},
  author={Niels Pahlavi},
  year={2010}
}
We present our research produced about Higher-order Logic Learning (HOLL), which consists of adapting First-order Logic Learning (FOLL), like Inductive Logic Programming (ILP), within a Higher-order Logic (HOL) context. We describe a first working implementation of λProgol, a HOLL system adapting the ILP system Progol and the HOL formalism λProlog. We compare λProgol and Progol on the learning of recursive theories showing that HOLL can, in these cases, outperform FOLL. Introduction, Problem… CONTINUE READING