Learning higher-order logic programs through abstraction and invention
Many tasks in AI require the design of complex programs and representations, whether for programming robots, designing game-playing programs, or conducting textual or visual transformations. This paper explores a novel inductive logic programming approach to learn such programs from examples. To red...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Association for the Advancement of Artificial Intelligence
2016
|
| _version_ | 1826264567492116480 |
|---|---|
| author | Cropper, A Muggleton, S |
| author_facet | Cropper, A Muggleton, S |
| author_sort | Cropper, A |
| collection | OXFORD |
| description | Many tasks in AI require the design of complex programs and representations, whether for programming robots, designing game-playing programs, or conducting textual or visual transformations. This paper explores a novel inductive logic programming approach to learn such programs from examples. To reduce the complexity of the learned programs, and thus the search for such a program, we introduce higher-order operations involving an alternation of Abstraction and Invention. Abstractions are described using logic program definitions containing higher-order predicate variables. Inventions involve the construction of definitions for the predicate variables used in the Abstractions. The use of Abstractions extends the Meta-Interpretive Learning framework and is supported by the use of a user-extendable set of higher-order operators, such as map, until, and ifthenelse. Using these operators reduces the textual complexity required to express target classes of programs. We provide sample complexity results which indicate that the approach leads to reductions in the numbers of examples required to reach high predictive accuracy, as well as significant reductions in overall learning time. Our experiments demonstrate increased accuracy and reduced learning times in all cases. We believe that this paper is the first in the literature to demonstrate the efficiency and accuracy advantages involved in the use of higher-order abstractions. |
| first_indexed | 2024-03-06T20:09:54Z |
| format | Conference item |
| id | oxford-uuid:2a32a7d9-6c02-45bf-af02-6140eb017d22 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:09:54Z |
| publishDate | 2016 |
| publisher | Association for the Advancement of Artificial Intelligence |
| record_format | dspace |
| spelling | oxford-uuid:2a32a7d9-6c02-45bf-af02-6140eb017d222022-03-26T12:23:37ZLearning higher-order logic programs through abstraction and inventionConference itemhttp://purl.org/coar/resource_type/c_5794uuid:2a32a7d9-6c02-45bf-af02-6140eb017d22Symplectic Elements at OxfordAssociation for the Advancement of Artificial Intelligence2016Cropper, AMuggleton, SMany tasks in AI require the design of complex programs and representations, whether for programming robots, designing game-playing programs, or conducting textual or visual transformations. This paper explores a novel inductive logic programming approach to learn such programs from examples. To reduce the complexity of the learned programs, and thus the search for such a program, we introduce higher-order operations involving an alternation of Abstraction and Invention. Abstractions are described using logic program definitions containing higher-order predicate variables. Inventions involve the construction of definitions for the predicate variables used in the Abstractions. The use of Abstractions extends the Meta-Interpretive Learning framework and is supported by the use of a user-extendable set of higher-order operators, such as map, until, and ifthenelse. Using these operators reduces the textual complexity required to express target classes of programs. We provide sample complexity results which indicate that the approach leads to reductions in the numbers of examples required to reach high predictive accuracy, as well as significant reductions in overall learning time. Our experiments demonstrate increased accuracy and reduced learning times in all cases. We believe that this paper is the first in the literature to demonstrate the efficiency and accuracy advantages involved in the use of higher-order abstractions. |
| spellingShingle | Cropper, A Muggleton, S Learning higher-order logic programs through abstraction and invention |
| title | Learning higher-order logic programs through abstraction and invention |
| title_full | Learning higher-order logic programs through abstraction and invention |
| title_fullStr | Learning higher-order logic programs through abstraction and invention |
| title_full_unstemmed | Learning higher-order logic programs through abstraction and invention |
| title_short | Learning higher-order logic programs through abstraction and invention |
| title_sort | learning higher order logic programs through abstraction and invention |
| work_keys_str_mv | AT croppera learninghigherorderlogicprogramsthroughabstractionandinvention AT muggletons learninghigherorderlogicprogramsthroughabstractionandinvention |