# ABL-HED

**Repository Path**: bbxc/ABL-HED

## Basic Information

- **Project Name**: ABL-HED
- **Description**: 反绎学习代码，仅供参考。。。
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2022-09-27
- **Last Updated**: 2022-09-29

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 手写方程解密的溯因学习 #
这是用于在 NeurIPS 2019中桥接机器学习和逻辑推理中手写方程解密实验的溯因学习框架的代码库。

## 环境依赖 ##

**此代码仅在 Linux 环境中测试。**

1. Swi-Prolog
2. Python3 与 Numpy、Tensorflow 和 Keras
3. ZOOpt（作为子模块）

### 安装 Swipl ###
[http://www.swi-prolog.org/build/unix.html](http://www.swi-prolog.org/build/unix.html)

### 安装python3 ###
<https://wiki.python.org/moin/BeginnersGuide/Download>

#### 安装所需的包 ####
```shell
# numpy tensorflow keras zoopt
pip3 install numpy
pip3 install tensorflow
pip3 install keras
pip3 install zoopt
```

**设置环境变量（应根据您的情况更改文件路径）**

```shell
# cd to ABL-HED
git submodule update --init --recursive

export ABL_HOME=$PWD
cp /usr/local/lib/swipl/lib/x86_64-linux/libswipl.so $ABL_HOME/src/logic/lib/
export LD_LIBRARY_PATH=$ABL_HOME/src/logic/lib
export SWI_HOME_DIR=/usr/local/lib/swipl/
# for GPU user
export LD_LIBRARY_PATH=$ABL_HOME/src/logic/lib:/usr/local/cuda:$LD_LIBRARY_PATH
```

my
```shell
export ABL_HOME=$PWD

cp /usr/lib/swi-prolog/lib/x86_64-linux/libswipl.so $ABL_HOME/src/logic/lib/
cp /usr/lib/swi-prolog/lib/x86_64-linux/libswipl.so.8 $ABL_HOME/src/logic/lib/
cp /usr/lib/swi-prolog/lib/x86_64-linux/libswipl.so.8.4.3 $ABL_HOME/src/logic/lib/

export LD_LIBRARY_PATH=$ABL_HOME/src/logic/lib
export SWI_HOME_DIR=/usr/lib/swi-prolog/
```





#### 安装溯因学习代码 ####
**首先将`swipl_include_dir`和`swipl_lib_dir`更改setup.py为您自己的 SWI-Prolog 路径。**

```shell
cd src/logic/prolog
python3 setup.py install
```

## 算术加法学习演示 ##

将目录更改为ABL-HED，然后运行等式生成器以获取训练数据

```shell
cd src/
python3 equation_generator.py
```

运行溯因学习代码

```shell
cd src/
python3 main.py
```

或者
```shell
python3 main.py --help
```


要测试 RBA 示例，请同时指定`src_data_name`和`src_data_file` ，例如，
```shell
python main.py --src_data_name random_images --src_data_file random_equation_data_train_len_26_test_len_26_sys_2_.pk

```
## 作者 ##
- [Wang-Zhou Dai](http://daiwz.net) (Imperial College London)
- [Yu-Xuan Huang](http://www.lamda.nju.edu.cn/huangyx/) (Nanjing University)
- [Le-Wen Cai](http://www.lamda.nju.edu.cn/cailw/) (Nanjing University)