{"type":"ScholarlyArticle","title":"Learning Higher-Order Logic Programs From Failures","authors":[{"name":"Stanisław J. Purgał","slug":"stanis-aw-j-purga","given":"Stanisław J.","family":"Purgał","affiliation":"University of Innsbruck , Innsbruck , Austria"},{"name":"David M. Cerna","slug":"david-m-cerna","given":"David M.","family":"Cerna","affiliation":"Czech Academy of Sciences Institute of Computer Science (CAS ICS) , Prague , Czechia; Research Institute for Symbolic Computation (RISC) , Johannes Kepler University , Linz , Austria"},{"name":"Cezary Kaliszyk","slug":"cezary-kaliszyk","given":"Cezary","family":"Kaliszyk","affiliation":"University of Innsbruck , Innsbruck , Austria"}],"abstract":"Learning complex programs through inductive logic programming (ILP) remains a formidable challenge. Existing higher-order enabled ILP systems show improved accuracy and learning performance, though remain hampered by the limitations of the underlying learning mechanism. Experimental results show that our extension of the versatile Learning From Failures paradigm by higher-order definitions significantly improves learning performance without the\r\nburdensome human guidance required by existing systems. Our theoretical framework captures a class of higher-order definitions preserving soundness of existing subsumption-based pruning methods.","doi":"10.24963/ijcai.2022/378","url":"https://ijcai.org/proceedings/2022/378","pdf":"https://ijcai.org/proceedings/2022/0378.pdf","markdown":"https://ijcai.org/proceedings/2022/378.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/378","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":378,"pages":{"first":2726,"last":2733},"keywords":["Knowledge Representation and Reasoning: Learning and reasoning","Knowledge Representation and Reasoning: Logic Programming","Knowledge Representation and Reasoning: Applications"],"videos":[{"label":"Video #1","url":"https://slideslive.com/38987035","length_sec":88,"provider":"slideslive"},{"label":"Video #2","url":"https://slideslive.com/38985178","length_sec":691,"provider":"slideslive"}],"references":[{"position":1,"raw":"[Blockeel, 1999] Hendrik Blockeel. Top-down induction of first order logical decision trees. AI Communications, 12(1-2):119-120, January 1999.","title":"Top-down induction of first order logical decision trees","authors":"Hendrik Blockeel, Blockeel","year":"1999","venue":"AI Communications","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Cropper and Morel, 2021a] Andrew Cropper and Rolf Morel. Learning programs by learning from failures. Machine Learning, 110(4):801-856, February 2021.","title":"Learning programs by learning from failures","authors":"Morel Cropper, Andrew Cropper, Rolf Morel","year":"2021","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Cropper and Morel, 2021b] Andrew Cropper and Rolf Morel. Predicate invention by learning from failures. CoRR, abs/2104.14426, May 2021.","title":"Predicate invention by learning from failures","authors":"Morel Cropper, Andrew Cropper, Rolf Morel","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cropper and Muggleton, 2014] Andrew Cropper and Stephen H. Muggleton. Logical minimisation of metarules within meta-interpretive learning. In Proceedings of the 24th International Conference on Inductive Logic Programming, pages 62-75, Nancy, France, September 2014. Springer.","title":"Logical minimisation of metarules within meta-interpretive learning","authors":"Andrew Cropper, Stephen H Muggleton","year":"2014","venue":"Proceedings of the 24th International Conference on Inductive Logic Programming","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Cropper and Muggleton, 2016] Andrew Cropper and Stephen Muggleton. Metagol system. github.com/metagol/metagol, 2016.","title":"Metagol system","authors":"Andrew Cropper, Stephen Muggleton","year":"2016","venue":null,"doi":null,"url":"github.com/metagol/metagol","internal_url":null},{"position":6,"raw":"[Cropper and Tourret, 2020] Andrew Cropper and Sophie Tourret. Logical reduction of metarules. Machine Learning, 109(7):1323-1369, July 2020.","title":"Logical reduction of metarules","authors":"Andrew Cropper, Sophie Tourret","year":"2020","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cropper et al., 2020] Andrew Cropper, Rolf Morel, and Stephen Muggleton. Learning higher-order logic programs. Machine Learning, 109(7):1289-1322, July 2020.","title":"Learning higher-order logic programs","authors":"Andrew Cropper, Rolf Morel, Stephen Muggleton","year":"2020","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Cropper et al., 2022] Andrew Cropper, Sebastijan Du- mančić, Richard Evans, and Stephen H. Muggleton. In- ductive logic programming at 30. Machine Learning, 111(1):147-172, Jan 2022.","title":"Inductive logic programming at 30","authors":"Andrew Cropper, Sebastijan Dumančić, Richard Evans, Stephen H Muggleton","year":"2022","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Cropper, 2020] Andrew Cropper. Forgetting to learn logic programs. Proceedings of the AAAI Conference on Artificial Intelligence, 34(04):3676-3683, April 2020.","title":"Forgetting to learn logic programs","authors":"Andrew Cropper","year":"2020","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Eiter et al., 2016] Thomas Eiter, Christoph Redl, and Peter Schüller. Problem solving using the HEX family. In Pro- ceedings of Computational Models of Rationality, pages 150-174. College Publications, June 2016.","title":"Problem solving using the HEX family","authors":"Thomas Eiter, Christoph Redl, Peter Schüller","year":"2016","venue":"Proceedings of Computational Models of Rationality","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Evans and Grefenstette, 2018] Richard Evans and Edward Grefenstette. Learning explanatory rules from noisy data. Journal of Artificial Intelligence Research, 61:1-64, Jan- uary 2018.","title":"Learning explanatory rules from noisy data","authors":"Grefenstette Evans, Richard Evans, Edward Grefenstette","year":"2018","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Gebser et al., 2019] Martin Gebser, Roland Kaminski, Ben- jamin Kaufmann, and Torsten Schaub. Multi-shot asp solv- ing with clingo. Theory and Practice of Logic Program- ming, 19(1):27-82, July 2019.","title":"Multi-shot asp solving with clingo","authors":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub","year":"2019","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Kaminski et al., 2018] Tobias Kaminski, Thomas Eiter, and Katsumi Inoue. Exploiting answer set programming with external sources for meta-interpretive learning. Theory and Practice of Logic Programming, 18(3-4):571-588, October 2018.","title":"Exploiting answer set programming with external sources for meta-interpretive learning","authors":"Kaminski","year":"2018","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Law et al., 2014] Mark Law, Alessandra Russo, and Krysia Broda. Inductive learning of answer set programs. In Proceedings of Logics in Artificial Intelligence, pages 311- 325. Springer, August 2014.","title":"Inductive learning of answer set programs","authors":"Mark Law, Alessandra Russo, Krysia Broda","year":"2014","venue":"Proceedings of Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lifschitz, 2019] Vladimir Lifschitz. Answer Set Program- ming. Springer, August 2019.","title":"Answer Set Programming","authors":"Lifschitz","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Lloyd, 1987] John W. Lloyd. Foundations of Logic Program- ming, 2nd Edition. Springer, 1987.","title":"Foundations of Logic Programming","authors":"John W Lloyd","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Muggleton et al., 2012] Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, and Ashwin Srinivasan. ILP turns 20 -biography and future challenges. Machince Learning, 86(1):3-23, January 2012.","title":"ILP turns 20 -biography and future challenges","authors":"Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A Flach, Katsumi Inoue, Ashwin Srinivasan","year":"2012","venue":"Machince Learning","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Muggleton et al., 2014] Stephen H. Muggleton, Dianhuan Lin, Niels Pahlavi, and Alireza Tamaddoni-Nezhad. Meta- interpretive learning: application to grammatical inference. Machince Learning, 94(1):25-49, January 2014.","title":"Metainterpretive learning: application to grammatical inference","authors":"H Stephen, Dianhuan Muggleton, Niels Lin, Alireza Pahlavi, Tamaddoni-Nezhad","year":"2014","venue":"Machince Learning","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Muggleton, 1991] Stephen Muggleton. Inductive logic pro- gramming. New Generation Computing, 8(4):295-318, February 1991.","title":"Inductive logic programming","authors":"Stephen Muggleton","year":"1991","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Muggleton, 1995] Stephen Muggleton. Inverse entailment and progol. New Generation Computing, 13(3&4):245-286, December 1995.","title":"Inverse entailment and progol","authors":"Stephen Muggleton","year":"1995","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Nienhuys-Cheng et al., 1997] Shan-Hwei Nienhuys-Cheng, Ronald de Wolf, J. Siekmann, and J. G. Carbonell. Founda- tions of Inductive Logic Programming. Springer, 1997.","title":"Foundations of Inductive Logic Programming","authors":"Shan-Hwei Nienhuys-Cheng, Ronald De Wolf, J Siekmann, J G Carbonell","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Plotkin, 1970] Gordon D. Plotkin. A note on inductive gen- eralization. Machine Intelligence, 5(1):153-163, 1970.","title":"A note on inductive generalization","authors":"Gordon D Plotkin","year":"1970","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Quinlan and Cameron-Jones, 1993] J. R. Quinlan and R. M. Cameron-Jones. Foil: A midterm report. In Proceedings of the European Conference on Machine Learning, pages 1-20, Vienna, Austria, April 1993. Springer.","title":"Foil: A midterm report","authors":"J R Quinlan, R M Cameron-Jones","year":"1993","venue":"Proceedings of the European Conference on Machine Learning","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Quinlan, 1990] J. Ross Quinlan. Learning logical definitions from relations. Machine Learning, 5:239-266, August 1990.","title":"Learning logical definitions from relations","authors":"J, Ross Quinlan","year":"1990","venue":"Machine Learning","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Raedt, 2008] Luc De Raedt. Logical and relational learning. Cognitive Technologies. Springer, 2008.","title":"Logical and relational learning","authors":"Luc Raedt, Raedt De","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Reynolds, 1970] John C. Reynolds. Transformational sys- tems and the algebraic structure of atomic formulas. Ma- chine Intelligence, 5(1):135-151, 1970.","title":"Transformational systems and the algebraic structure of atomic formulas","authors":"John C Reynolds","year":"1970","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"Armando Solar-Lezama. Program Syn- thesis by Sketching. PhD thesis, University of California at Berkeley, USA, December 2008.","title":"Program Synthesis by Sketching","authors":"Armando Solar-Lezama","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Srinivasan et al., 2003] Ashwin Srinivasan, Ross D. King, and Michael E. Bain. An empirical study of the use of rele- vance information in inductive logic programming. Jour- nal of Machine Learning Research, 4:369-383, December 2003.","title":"An empirical study of the use of relevance information in inductive logic programming","authors":"Ashwin Srinivasan, Ross D King, Michael E Bain","year":"2003","venue":"Journal of Machine Learning Research","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Srinivasan, 2001] Ashwin Srinivasan. The ALEPH manual. Technical report, Machine Learning at the Computing Lab- oratory, Oxford University, 2001.","title":"The ALEPH manual","authors":"Ashwin Srinivasan","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Wadge, 1991] William W. Wadge. Higher-order horn logic programming. In Vijay A. Saraswat and Kazunori Ueda, editors, Proceedings of the International Symposium on Logic Programming, pages 289-303, San Diego, California, USA, October 1991. MIT Press.","title":"Higher-order horn logic programming","authors":"William W Wadge","year":"1991","venue":"Proceedings of the International Symposium on Logic Programming","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}