## ABLkit: A Python Toolkit for Abductive Learning
**ABLkit** is an efficient Python toolkit for [**Abductive Learning (ABL)**](https://www.lamda.nju.edu.cn/publication/chap_ABL.pdf). ABL is a novel paradigm that integrates machine learning and logical reasoning in a unified framework. It is suitable for tasks where both data and (logical) domain knowledge are available.
@@ -30,9 +30,9 @@ ABLkit encapsulates advanced ABL techniques, providing users with an efficient a
The easiest way to install ABLkit is using ``pip``:
@@ -40,7 +40,7 @@ The easiest way to install ABLkit is using ``pip``:
pip install ablkit
```
### Install from Source
#### Install from Source
Alternatively, to install from source code, sequentially run following commands in your terminal/command line.
@@ -50,7 +50,7 @@ cd ABLkit
pip install -v -e .
```
### (Optional) Install SWI-Prolog
#### (Optional) Install SWI-Prolog
If the use of a [Prolog-based knowledge base](https://ablkit.readthedocs.io/en/latest/Intro/Reasoning.html#prolog) is necessary, please also install [SWI-Prolog](https://www.swi-prolog.org/):
@@ -62,7 +62,7 @@ sudo apt-get install swi-prolog
For Windows and Mac users, please refer to the [SWI-Prolog Install Guide](https://github.com/yuce/pyswip/blob/master/INSTALL.md).
## Quick Start
### Quick Start
We use the MNIST Addition task as a quick start example. In this task, pairs of MNIST handwritten images and their sums are given, alongwith a domain knowledge base which contains information on how to perform addition operations. Our objective is to input a pair of handwritten images and accurately determine their sum.
@@ -187,7 +187,7 @@ bridge.test(test_data)
To explore detailed tutorials and information, please refer to - [document](https://ablkit.readthedocs.io/en/latest/index.html).
## Examples
### Examples
We provide several examples in `examples/`. Each example is stored in a separate folder containing a README file.
@@ -196,7 +196,7 @@ We provide several examples in `examples/`. Each example is stored in a separate
For more information about ABL, please refer to: [Zhou, 2019](http://scis.scichina.com/en/2019/076101.pdf) and [Zhou and Huang, 2022](https://www.lamda.nju.edu.cn/publication/chap_ABL.pdf).