基于Datalog的知识推理

应用场景

知识补全：通过推理补充图谱中还未存在的关系(边)

一致性检查：新录入的知识与已有知识的冲突检查

Prolog

Prolog语言是以一阶谓词逻辑为理论基础的逻辑程序设计语言，是人工智能程序设计语言族中应用最为广泛的的一种。

Prolog的基本语句有三种：事实 规则 目标

• 事实 用来说明一个问题中已知的对象和它们之间的关系，如 妻子(姚明,叶莉) 表示 姚明 的妻子是 叶莉
• 规则 用来描述事实之间的依赖关系，如 bird(x) :- animal(x),has(x,feather) 表示 凡是动物且有羽毛那么它是鸟
• 目标 向prolog询问的问题就是程序运行的目标，如 ?- student(bill) 表示 bill是学生吗？

DataLog

Datalog是一种基于逻辑的编程语言。它是一阶谓词逻辑中Horn子句逻辑的一种受限形式，只允许变量或常量作为谓词的自变元，不允许函数作为谓词的自变元。Datalog的语句由事实和规则组成，同Prolog一样，它可以实现对知识库的演绎推理，即可以从已知事实中根据跟着推理得到新的事实。

Datalog是Prolog的一种适应于知识库的改进形式语言，是一种受限的Prolog语言

一条DataLog规则由三部分组成：

• 规则头,是关系原子(比如 student(x) )
• 蕴含符号 :- （可以读为if，蕴含表明的是一种逻辑关系，而不是一种运算符号）
• 规则体，即一个或多个子目标P1,P2,…,Pn，子目标可以是关系原子或算数原子(算数结果是布尔值,如 a>10 )，各子目标之间相当于AND连接。规则的含义描述为：检查规则中变量的所有可能的取值，当这些变量使规则体中所有子目标均为真时，规则头为真。

举例：P :- P1,P2,…,Pn  //若P1,P2,…Pn均为真，则P为真

DataLog规则表示的基本运算

交

Q(x1，x2，⋯ ，xn) :- R(x1，x2，⋯， ) , S(x1，X2，⋯ ，xn)

举例:智能手机(x) :- 手机(x),智能设备(x)

并

两个关系的并要用两个规则来构造

Q(x1,x2,..,xn) :- R(x1,x2,...,xn)

Q(x1,x2,..,xn) :- S(x1,x2,...,xn)

差

Q(x1，x2，⋯，xn) :- R(x1，x2，⋯，xn) , NOT S(x1，X2，⋯ ，xn)

举例：弟弟(X,Y):- 兄弟(X,Y) ,NOT 哥哥(X,Y)

选择

 Q(x1，x2，⋯，xn) :- R(x1，x2，⋯，xn), x>10

举例：哥哥(X,Y) :- 弟弟(Y,X),性别(Y,a),a='男'

投影

 Q(x1，x2，x3) :- R(x1，x2，⋯,xn)

举例：memberOf(X,Y) :- member(Y,X)

乘积

P(a,b,c,x,y,z) :- R(a,b,c), S(x,y,z)

连接

P(a,b,c) :- R(a,b),S(b,c)

举例：岳父(X,Z) :- 妻子(X,Y), 父亲(Y,Z)

Datalog推理

(1) 规则：岳父(X,Z) :- 妻子(X,Y), 父亲(Y,Z)

(2) 事实：妻子(姚明，叶莉)

(3) 事实: 父亲(叶莉，叶大)

(4) 推理：岳父(姚明,Z) :- 妻子(姚明,叶莉), 父亲(叶莉,Z) 由 (1) (2)

(5) 推理：岳父(姚明,叶大) :- 妻子(姚明,叶莉), 父亲(叶莉,叶大) 由 (4) (3)

最终得到事实：岳父(姚明,叶大)

Datalog优缺点

优点

• 简单容易学习
• 克服Prolog语言的缺点：表示方法不够规范，不宜在计算机中使用和处理；
• 适合于处理具有大容量的数据和知识；
• 可以改善递归查询算法。

缺点

• 不带有函数，建模能力差，描述现实世界中的一些复杂问题存在困难