About this Journal  |  Author Guidelines  |   Submit a Manuscript     

International Journal of Smart Home

Volume 11, No. 10, 2017, pp 11-18


Study on Inductive Logic Programming Systems based on Higher-order Logic

    Yanjuan Li and Mengting Niu1
    College of Information and Computer Engineering, Northeast Forestry University, Harbin, China


    Inductive logic programming adopts first order logic to represent background knowledge and examples. The expressive ability of first order logic is lower than high order logic. Therefore, researchers propose to use higher order logic as the representation form for inductive logic programming. This paper reviews inductive logic programming based on higher order logic. Firstly, background, higher order language(Escher) are introduced; secondly, the current higher order inductive logic programming systems are summarized and analyzed; finally, some vital aspects that may be conducted in the future investigations are discussed.


Contact Us

  • PO Box 5074, Sandy Bay Tasmania 7005, Australia
  • Phone: +61 3 9028 5994