Iterative Learning of Answer Set Programs with Context Dependent Examples
File(s)ArchiveVersion.pdf (773.02 KB)
Accepted version
Author(s)
Broda, KB
Law, M
Russo, A
Type
Conference Paper
Abstract
In recent years, several frameworks and systems have been proposed that extend Inductive
Logic Programming (ILP) to the Answer Set Programming (ASP) paradigm. In ILP, examples
must all be explained by a hypothesis together with a given background knowledge. In existing
systems, the background knowledge is the same for all examples; however, examples may be
context-dependent. This means that some examples should be explained in the context of
some information, whereas others should be explained in different contexts. In this paper, we
capture this notion and present a context-dependent extension of the Learning from Ordered
Answer Sets framework. In this extension, contexts can be used to further structure the
background knowledge. We then propose a new iterative algorithm, ILASP2i, which exploits
this feature to scale up the existing ILASP2 system to learning tasks with large numbers
of examples. We demonstrate the gain in scalability by applying both algorithms to various
learning tasks. Our results show that, compared to ILASP2, the newly proposed ILASP2i
system can be two orders of magnitude faster and use two orders of magnitude less memory,
whilst preserving the same average accuracy
Logic Programming (ILP) to the Answer Set Programming (ASP) paradigm. In ILP, examples
must all be explained by a hypothesis together with a given background knowledge. In existing
systems, the background knowledge is the same for all examples; however, examples may be
context-dependent. This means that some examples should be explained in the context of
some information, whereas others should be explained in different contexts. In this paper, we
capture this notion and present a context-dependent extension of the Learning from Ordered
Answer Sets framework. In this extension, contexts can be used to further structure the
background knowledge. We then propose a new iterative algorithm, ILASP2i, which exploits
this feature to scale up the existing ILASP2 system to learning tasks with large numbers
of examples. We demonstrate the gain in scalability by applying both algorithms to various
learning tasks. Our results show that, compared to ILASP2, the newly proposed ILASP2i
system can be two orders of magnitude faster and use two orders of magnitude less memory,
whilst preserving the same average accuracy
Date Issued
2016-10-14
Date Acceptance
2016-07-25
Citation
Theory and Practice of Logic Programming, 2016, 16 (5-6), pp.834-848
ISSN
1475-3081
Publisher
Cambridge University Press (CUP): STM Journals
Start Page
834
End Page
848
Journal / Book Title
Theory and Practice of Logic Programming
Volume
16
Issue
5-6
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/K033425/1
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods
Logic
Computer Science
Science & Technology - Other Topics
Non-monotonic Inductive Logic Programming
Answer Set Programming
Iterative Learning
0803 Computer Software
0801 Artificial Intelligence And Image Processing
Computation Theory & Mathematics
Publication Status
Published
Coverage Spatial
New York City, NY, USA