The ILASP manual


Answer Set Programming (ASP) is a declarative modelling language, capable of representing complex combinatorial problems. ILASP (Inductive Learning of Answer Set Programs) is a recently developed system for machine learning of ASP programs from examples. ILASP enables learning programs containing normal rules, choice rules and both hard and weak constraints. It has been applied to learning common-sense knowledge, including choices, defaults, exceptions and preferences.

Using ILASP

ILASP is free to use for research and education. If do use ILASP for research, we ask that you use this citation of the system, in addition to citing the relevant research papers. Anyone wishing to use ILASP for commercial purposes should contact Mark Law (mark@ilasp.com).

Note

This documentation page is under construction. Some links in the table of contents are yet to be added.

Table of Contents

  1. Introduction to Logic-based Machine Learning
    1. Logic and Logic Programming
    2. Answer Set Programming
    3. Inductive Logic Programming
    4. Learning Answer Set Programs from Examples
  2. Specifying a Learning Problem
    1. Background Knowledge
    2. Hypothesis Space
      1. Explicitly Defining the Hypothesis Space
      2. Mode Declarations
      3. Meta-level ASP Definition of the Hypothesis Space
      4. Metarules
    3. Examples
      1. (Context Dependent) Partial Interpretations
      2. Ordering Examples
      3. Noise
    4. Advanced Features
      1. Meta-program injection
      2. PyLASP
  3. Running ILASP
    1. Installation
    2. Parameters to ILASP