Incremental learning of event definitions with inductive logic programming

DOI10.1007/S10994-015-5512-1zbMATH Open1341.68159arXiv1402.5988OpenAlexW1500684598MaRDI QIDQ747281FDOQ747281

Nikos Katzouris, Georgios Paliouras, Alexander Artikis

Publication date: 23 October 2015

Published in: Machine Learning (Search for Journal in Brave)

Abstract: Event recognition systems rely on properly engineered knowledge bases of event definitions to infer occurrences of events in time. The manual development of such knowledge is a tedious and error-prone task, thus event-based applications may benefit from automated knowledge construction techniques, such as Inductive Logic Programming (ILP), which combines machine learning with the declarative and formal semantics of First-Order Logic. However, learning temporal logical formalisms, which are typically utilized by logic-based Event Recognition systems is a challenging task, which most ILP systems cannot fully undertake. In addition, event-based data is usually massive and collected at different times and under various circumstances. Ideally, systems that learn from temporal data should be able to operate in an incremental mode, that is, revise prior constructed knowledge in the face of new evidence. Most ILP systems are batch learners, in the sense that in order to account for new evidence they have no alternative but to forget past knowledge and learn from scratch. Given the increased inherent complexity of ILP and the volumes of real-life temporal data, this results to algorithms that scale poorly. In this work we present an incremental method for learning and revising event-based knowledge, in the form of Event Calculus programs. The proposed algorithm relies on abductive-inductive learning and comprises a scalable clause refinement methodology, based on a compressive summarization of clause coverage in a stream of examples. We present an empirical evaluation of our approach on real and synthetic data from activity recognition and city transport applications.

Full work available at URL: https://arxiv.org/abs/1402.5988

zbMATH Keywords

incremental learningevent recognitionabductive-inductive logic programmingevent calculus

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic-based calculus of events
• Abductive Logic Programming
• Iterated belief revision, revised
• Structured machine learning: the next ten years
• Inductive logic programming as abductive search
• Induction on Failure: Learning Connected Horn Theories
• ILP turns 20. Biography and future challenges
• Inductive Logic Programming
• Inductive Logic Programming: Theory and methods
• Nonmonotonic abductive inductive learning
• Fast theta-subsumption with constraint satisfaction algorithms
• Induction from answer sets in nonmonotonic logic programs
• Multistrategy theory revision: Induction and abduction in INTHELEX
• Using the bottom clause and mode declarations in FOL theory revision from examples
• Meta-interpretive learning: application to grammatical inference
• Subsumer: a Prolog \(\theta\)-subsumption engine
• An inductive approach for modal transition system refinement
• Learning Through Hypothesis Refinement Using Answer Set Programming
• AI*IA 2005: Advances in Artificial Intelligence
• Inductive Logic Programming
• Inductive Logic Programming
• Deriving non-zeno behaviour models from goal models using ILP

Cited In (19)

• Iterative Learning of Answer Set Programs from Context Dependent Examples
• Learning explanations for biological feedback with delays using an event calculus
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• Inductive logic programming at 30
• Making sense of sensory input
• Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
• Rule Induction and Reasoning over Knowledge Graphs
• Data-Driven Revision of Conditional Norms in Multi-Agent Systems
• Learning Effect Axioms via Probabilistic Logic Programming
• Revising event calculus theories to recover from unexpected observations
• The complexity and generality of learning answer set programs
• Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explainable and interpretable machine learning and data mining
• Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
• Online learning of event definitions
• Logic-based learning of answer set programs
• Learning Through Hypothesis Refinement Using Answer Set Programming

Uses Software

• Subsumer

This page was built for publication: Incremental learning of event definitions with inductive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q747281)