About

This repository contains the codes for $Meta_Abd$, which is described in a paper published in IJCAI 2021:

• Wang-Zhou Dai, Stephen Muggleton. Abductive Knowledge Induction from Raw Data. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. pp. 1845-1851.

Requirement

The codes are only tested under Linux with following packages:

• PyTorch 1.12.1 with cuda
• Torchvision 0.13.1
• SWI-Prolog 8.5.10

Running the codes

1. MNIST cumulative sum:

   cd python; python -u run_sum.py
       

2. MNIST cumulative product:

   cd python; python -u run_product.py
       

Author

Wang-Zhou Dai