Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

DOI10.1017/S1471068418000261zbMath1451.68064arXiv1805.00068OpenAlexW2963139884MaRDI QIDQ4559814

Katsumi Inoue, Tobias Kaminski, Thomas Eiter

Publication date: 4 December 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

inductive logic programminganswer set programmingmeta-interpretive learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items

Inductive logic programming at 30 ⋮ Learning programs with magic values ⋮ Learning higher-order logic programs ⋮ Logical reduction of metarules ⋮ Inductive general game playing ⋮ Making sense of sensory input ⋮ Top program construction and reduction for polynomial time meta-interpretive learning ⋮ Learning programs by learning from failures ⋮ Meta-interpretive learning as metarule specialisation

Uses Software

• Clingo
• Metagol

Cites Work

• Unnamed Item
• Unnamed Item
• Domain expansion for ASP-programs with external sources
• Semantics and complexity of recursive aggregates in answer set programming
• Nonmonotonic abductive inductive learning
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Structured machine learning: the next ten years
• Logical vision: one-shot meta-interpretive learning from real images
• Meta-interpretive learning: application to grammatical inference
• Inductive Learning of Answer Set Programs
• A model building framework for answer set programming with external computations