Incremental and iterative learning of answer set programs from mutually distinct examples

DOI10.1017/S1471068418000248MaRDI QIDQ4559818zbMATH OpenOpenAlexWikidataFDO

Authors Arindam Mitra, Chitta Baral

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/1802.07966

zbMATH Keywords

answer set programmingcontext-dependent learninghandwritten digit recognitioninductive logic programmingquestion answering

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05) Pattern recognition, speech recognition (68T10) Knowledge representation (68T30)

Abstract: Over the years the Artificial Intelligence (AI) community has produced several datasets which have given the machine learning algorithms the opportunity to learn various skills across various domains. However, a subclass of these machine learning algorithms that aimed at learning logic programs, namely the Inductive Logic Programming algorithms, have often failed at the task due to the vastness of these datasets. This has impacted the usability of knowledge representation and reasoning techniques in the development of AI systems. In this research, we try to address this scalability issue for the algorithms that learn answer set programs. We present a sound and complete algorithm which takes the input in a slightly different manner and performs an efficient and more user controlled search for a solution. We show via experiments that our algorithm can learn from two popular datasets from machine learning community, namely bAbl (a question answering dataset) and MNIST (a dataset for handwritten digit recognition), which to the best of our knowledge was not previously possible. The system is publicly available at https://goo.gl/KdWAcV. This paper is under consideration for acceptance in TPLP.

Recommendations

• Iterative learning of answer set programs from context dependent examples
• Inductive learning of answer set programs
• The complexity and generality of learning answer set programs
• Learning through hypothesis refinement using answer set programming
• Learning weak constraints in answer set programming

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
• Iterative learning of answer set programs from context dependent examples
• Learning through hypothesis refinement using answer set programming
• Learning weak constraints in answer set programming
• Nonmonotonic abductive inductive learning

Cited in

(4)

• ILPME
• Iterative learning of answer set programs from context dependent examples
• scientific article; zbMATH DE number 7455707 (Why is no real title available?)
• Logic-based learning of answer set programs

This page was built for publication: Incremental and iterative learning of answer set programs from mutually distinct examples

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