Iterative learning of answer set programs from context dependent examples
From MaRDI portal
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. This paper is under consideration for acceptance in TPLP.
Recommendations
- The complexity and generality of learning answer set programs
- Inductive learning of answer set programs
- Learning weak constraints in answer set programming
- Learning through hypothesis refinement using answer set programming
- Incremental and iterative learning of answer set programs from mutually distinct examples
Cites work
- Brave induction: a logical framework for learning from incomplete information
- Incremental learning of event definitions with inductive logic programming
- Induction from answer sets in nonmonotonic logic programs
- Inductive learning of answer set programs
- Inductive Logic Programming
- Inductive logic programming
- Learning from interpretation transition
- Learning through hypothesis refinement using answer set programming
- Learning weak constraints in answer set programming
- Meta-interpretive learning: application to grammatical inference
- Nonmonotonic abductive inductive learning
Cited in
(22)- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- The complexity and generality of learning answer set programs
- Learning programs by learning from failures
- Learning hierarchical probabilistic logic programs
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs
- Lifting symmetry breaking constraints with inductive logic programming
- Inductive general game playing
- Making sense of sensory input
- Learning MAX-SAT from contextual examples for combinatorial optimisation
- Inductive learning of answer set programs
- Learning through hypothesis refinement using answer set programming
- Iterative Learning from Texts and Counterexamples Using Additional Information
- Iterative learning from texts and counterexamples using additional information
- Incremental and iterative learning of answer set programs from mutually distinct examples
- Learning weak constraints in answer set programming
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Induction and exploitation of subgoal automata for reinforcement learning
- Reactive Answer Set Programming
- Logic-based learning of answer set programs
- Inductive learning of robot task knowledge from raw data and online expert feedback
- Conflict-driven inductive logic programming
This page was built for publication: Iterative learning of answer set programs from context dependent examples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593062)
