[bigdata-115] 规则引擎pyke

1. 官网
http://pyke.sourceforge.net/


2. 安装第三方包
pyenv global anaconda3-4.2.0
pip install HTMLTemplate




3. 源码安装pyke
3.1 下载
https://nchc.dl.sourceforge.net/project/pyke/pyke/1.1.1/pyke3-1.1.1.zip


3.2 下载后解压缩
pyenv global anaconda3-4.2.0  
cd pyke3-1.1.1
python setup.py build
python setup.py install




4. pyke教程
4.1 pyke是一个类似prolog的逻辑规划库，100%纯python的。
4.2 pyke可以做前向推理forward-chaining和后向推理backward-chaining。前向推理，就是用规则rules处理facts以得出更多的额外的facts。后向推理，也叫规划，从论证目标出发构造出用户自定义的调用图call graph。可以参考http://www.open-open.com/lib/view/open1417528754230.html。
4.3 pyke推理机需要如下参数：
  4.3.1 一系列的true的生命，这些声明statements在所有时刻都是true
  4.3.2 你希望pyke希望询问用户的问题
  4.3.3 规则：包括前向推理和后向推理
4.4如何执行：循环每一个用户案例
  4.4.1 提供一组statements声明给pyke
  4.4.2 选择对4.4.1使用哪一组规则
  4.4.3 pyke自动对statements进行前向推理，此时，pyke会交互询问用户各种问题，以便进行推理。
4.5 statements声明
  4.5.1 一个声明statement就是一个事实fact。比如，bruce是thomas和norma的儿子，就可以表示成son_of(bruce, thomas, norma)
  4.5.2 


http://pyke.sourceforge.net/logic_programming/statements.html

先到这里。