DeepAI AI Chat
Log In Sign Up

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

by   Tobias Kaminski, et al.
National Institute of Informatics
TU Wien

Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems as combinatorial search problems, they can alternatively be solved by employing Answer Set Programming (ASP), which may result in performance gains as a result of efficient conflict propagation. However, a straightforward ASP-encoding of MIL results in a huge search space due to a lack of procedural bias and the need for grounding. To address these challenging issues, we encode MIL in the HEX-formalism, which is an extension of ASP that allows us to outsource the background knowledge, and we restrict the search space to compensate for a procedural bias in ASP. This way, the import of constants from the background knowledge can for a given type of meta-rules be limited to relevant ones. Moreover, by abstracting from term manipulations in the encoding and by exploiting the HEX interface mechanism, the import of such constants can be entirely avoided in order to mitigate the grounding bottleneck. An experimental evaluation shows promising results.


page 1

page 2

page 3

page 4


Compilation of Aggregates in ASP

Answer Set Programming (ASP) is a well-known problem-solving formalism i...

A Machine Learning guided Rewriting Approach for ASP Logic Programs

Answer Set Programming (ASP) is a declarative logic formalism that allow...

On the Foundations of Grounding in Answer Set Programming

We provide a comprehensive elaboration of the theoretical foundations of...

Partial Compilation of ASP Programs

Answer Set Programming (ASP) is a well-known declarative formalism in lo...

Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation

We describe the Inspire system which participated in the first competiti...

The External Interface for Extending WASP

Answer set programming (ASP) is a successful declarative formalism for k...

Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning

One of our long term research goals is to develop systems to answer real...