Skip to content

v3.6.0
Compare
Choose a tag to compare
@marklaw marklaw released this 25 May 05:59
v3.6.0
30b6256
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

ILASP

ILASP (Inductive Learning of Answer Set Programs) is a new logic-based learning system capable of learning normal rules, disjunctive rules, choice rules, constraints, and weak constraints in ASP.

Please note that the source code links on this page have been auto-generated by GitHub, and do not contain the ILASP source.

Usage

ILASP is free to use for non-commercial research and education. If you do use ILASP for research, we
ask that you use this citation. Anyone wishing to use ILASP for commercial purposes should contact Mark Law (mark@ilasp.com). For details and examples of how to use ILASP, please see the manual (which is available at www.ilasp.com).

Bug Reports and Feature Requests

Please submit all bug reports and feature requests as issues on this GitHub repository.

New Features in v3.6.0

  1. Conditional literals. These can be used just as they are in Clingo, and can be used in the background knowledge, example contexts, and the hypothesis space. The predicates which can be used as conditions in a conditional literal can be declared using the new #modec declaration.

  2. Disjunction. Again this can be used in the background knowledge, example contexts, and the hypothesis space. The syntax of disjunctive rules is just the same as in Clingo. To enable learning disjunctive rules, the user should add the line #bias("allow_disjunction.").

For more details on these new features, please see the new ILASP manual.

Minor bug-fixes

  1. Fix issue which stopped empty contexts working in the same task as non-empty contexts.
  2. Other very minor bug fixes.
Assets 4
Loading