单调推理机 montony-inference是一个基于perl语言的内存计算框架的单调语义推理软件。输入为两部分。1事实抽取出三元组。2自定义的一套规则语法的三元组。输出为推理后得出的事实三元组，使用排列组合算法产生新事实加入内存再次迭代计算，一直到没有新的事实产生输出。。本系统有2部分文件作为输入。输出是所有推理出的新事实。在推理系统里，新加入的事实三元组，必须与已有的知识相一致，不引起矛盾。所以，随着运行时间的推移，系统内含的知识有增无减。推理系统作为组件嵌入在机器学习或决策系统里，可以节省的时间和空间消耗。

用途： 1.代指消解解决问题：小明爸爸的姐姐的的妈妈的丈夫的女儿的丈夫是谁 2.比如金融期货底层商品价格涨价，几十万种原材料涨价，导致不同上层商品的价格变化的推理。

实现方法简介：单调推理由N条三元组描述的一阶逻辑规则，M条事实，输入系统。计算后产生M1条新事实，自动加入系统并且推理出M2.。继续推理。。。。一直到系统不再有新的事实产生，则迭代结束，并输出结果。因此应注意循环次数的控制和避免规则逻辑导致推理发散。

使用方法：在utunbu linux 64位系统14.04以上环境部署docker，使用root权限下载镜像命令：

docker pull zb1840/montony_inference

然后用命令启动： docker run -it -v /opt/user:/opt/user -p 29990:29999 -p 3009:3000 -d zb1840/montony_inference /bin/bash & 会开启本地的3009端口作为rest测试端口，和29999的ssh端口 ssh用户root，密码是六个空格。

推理机有2部分文件作为输入：规则文件和事实文件别名配置文件/mnt/sdb/shell2/rels/sydict_hash 称谓列表/mnt/sdb/shell2/rels/b2bdic 规则文件 /mnt/sdb/shell2/ruledemo内容如下： ....... $v 的姥爷是 $v1 && $v1 的儿子是 $v2 => $v 的舅舅是 $v2 $v 的姥姥是 $v1 && $v1 的儿子是 $v2 => $v 的舅舅是 $v2 $v 的舅舅是 $v1 && $v1 的女儿是 $v2 => $v 的表姐妹是 $v2 $v 的舅舅是 $v1 && $v1 的儿子是 $v2 => $v 的表兄弟是 $v2 $v 的姐姐是 $v1 && $v1 的妈妈是 $v2 => $v 的妈妈是 $v2 $v 的姑姑是 $v1 && $v1 的女儿是 $v2 => $v 的堂兄妹是 $v2 $v 的姑姑是 $v1 && $v1 的儿子是 $v2 => $v2 的堂兄弟是 $v

事实文件例如：丽丽的妈妈是童童丽丽性别男性童童的妹妹是兰兰我的姑姑是兰兰丽丽年纪大于我

常识性的事实三元组，可以从conceptnet5，各种rdf数据源抽取。

进入系统运行命令： root@6545fca11912:/mnt/sdb/shell2# ./diedai4_n3.pl factdemo ruledemo 输出：童童年纪大于兰兰兰兰性别女性童童的儿子是丽丽丽丽的阿姨是兰兰童童的姐妹是兰兰童童性别女性我年纪小于丽丽丽丽性别男性童童的兄弟姐妹是兰兰丽丽的妈妈是童童童童的子女是丽丽兰兰年纪小于童童兰兰的姐姐是童童我的姑姑是童童兰兰的姐妹是童童童童的妹妹是兰兰兰兰的兄弟姐妹是童童丽丽的堂兄弟是我我的堂兄弟姐妹是丽丽我的堂兄弟是丽丽兰兰的外甥是丽丽丽丽的堂弟是我我的堂兄是丽丽

推到出最后结果我的堂兄是丽丽

规则的说明：$v1 是变量 &&表示并列，可以并列3个三元组特征，规则内可以有两个变量，或者三个常量。 ” =>“表是推理出右侧的结果，变量常量之间必须用空格间隔。$v 的姑姑是 $v1 作为一个线索，线索之间用&& 拼接，系统检测全局事实中，同时多个线索则推理成立，退出结果。变量$v,可以支持若干约束条件，在demo文件里可以看到一些约束例子，用“|”间隔。不满足的，认为不能匹配变量。线索之间顺序无关结果，线索内的顺序与计算结果相关。三元组事实可以是任意三个中英文词或数字，可以根据需要灵活约定。

测试方法：运行命令

我姐姐的哥哥的爸爸是谁 -O 777 ;cat 777

输出：。。。。。。。 vn0 的姐姐是 vn1 vn1 的哥哥是 vn2 vn2 的爸爸是 vn3

vn0 vn3 姐姐 now------ vn2 性别男性 vn3 性别男性 vn1 的兄弟是 vn2 vn0 的姐妹是 vn1 vn2 年纪大于 vn1 vn1 年纪大于 vn0 vn1 性别女性 vn3 的儿子是 vn2 vn0 的兄弟姐妹是 vn1 vn1 的兄弟姐妹是 vn2 vn0 的姐姐是 vn1 vn2 年纪大于 vn0 vn1 年纪小于 vn2 vn0 年纪小于 vn1 vn1 的哥哥是 vn2 vn2 的妹妹是 vn1 vn2 的爸爸是 vn3 vn1 的爸爸是 vn3 vn0 的兄弟姐妹是 vn2 vn3 的子女是 vn2 vn0 年纪小于 vn2 vn3 的女儿是 vn1 vn2 的兄弟姐妹是 vn1 vn0 的爸爸是 vn3 vn2 的兄弟姐妹是 vn0 vn1 的兄弟姐妹是 vn0 vn3 的子女是 vn1 vn0 的兄弟是 vn2 vn0 的哥哥是 vn2 vn3 的子女是 vn0

tpc vn2 性别男性 tpc vn3 性别男性 tpc vn1 的兄弟是 vn2 tpc vn0 的姐妹是 vn1 tpc vn2 年纪大于 vn1 tpc vn1 年纪大于 vn0 tpc vn1 性别女性 tpc vn3 的儿子是 vn2 tpc vn0 的兄弟姐妹是 vn1 tpc vn1 的兄弟姐妹是 vn2 tpc vn0 的姐姐是 vn1 tpc vn2 年纪大于 vn0 tpc vn1 年纪小于 vn2 tpc vn0 年纪小于 vn1 tpc vn1 的哥哥是 vn2 tpc vn2 的妹妹是 vn1 tpc vn2 的爸爸是 vn3 tpc vn2 的姐妹是 vn1 tpc vn1 的爸爸是 vn3 tpc vn0 的兄弟姐妹是 vn2 tpc vn3 的子女是 vn2 tpc vn0 年纪小于 vn2 tpc vn3 的女儿是 vn1 tpc vn2 的兄弟姐妹是 vn1 tpc vn0 的爸爸是 vn3 tpc vn2 的兄弟姐妹是 vn0 tpc vn1 的兄弟姐妹是 vn0 tpc vn3 的子女是 vn1 tpc vn0 的兄弟是 vn2 tpc vn0 的哥哥是 vn2 tpc vn3 的子女是 vn0 tpc return 我爸爸, 我爸爸,

Πεδίο	Τιμή
Προσφάτως ενημερωμένα δεδομένα	18 Ιουνίου 2017
Προσφάτως ενημερωμένα μεταδεδομένα	18 Ιουνίου 2017
Δημιουργήθηκε	18 Ιουνίου 2017
Διαμόρφωση	Perl
Άδεια	GNU-General-Public-License-3.0
Datastore active	False
Has views	False
Id	18091ed6-08d2-4f29-9499-7eca68cf27cc
Package id	6977ca53-c6cc-4030-805c-abcf1015c189
Position	1
State	active

单调推理机

time wget http://127.0.0.1:3009/api/res/我姐姐的哥哥的爸爸是谁 -O 777 ;cat 777

Πρόσθετες Πληροφορίες