Inductive Learning of Answer Set Programs

Specifying a Learning Task: Hypothesis Space

The hypothesis space of a learning task is the set of all rules which can be in the learned hypothesis. There are several ways of specifying a hypothesis space in ILASP, which are described in this section. The first two methods have been available in every version of ILASP, whereas the second two are new features, only available from version 3.5.0 onwards.

  1. Explicitly Defining the Hypothesis Space
  2. Mode Declarations
  3. Meta-level ASP Definition of the Hypothesis Space
  4. Metarules