📜  演绎数据库中子句形式和霍恩子句形式的区别

📅  最后修改于: 2021-08-25 17:46:23             🧑  作者: Mango

1.子句形式:
以这种形式,公式由多个子句组成,其中每个子句仅由通过OR逻辑连接词连接的许多字面量组成。

子句形式公式必须转换为具有以下特征的另一个公式:

  • 公式中的所有变量都是通用量化的。因此,没有必要为所有人明确包括通用量词。删除了量词,并且公式中的所有变量都由通用量词隐式量化。
  • 由于公式由多个子句组成,并且每个子句仅由通过OR逻辑连接词连接的大量字面量组成。因此,每个子句都是字面量。
  • 为了形成一个公式,子句本身仅由AND逻辑连接词连接。因此,公式的从句形式是从句的结合。

2. Horn子句形式:
A喇叭子句是具有至多一个正的,即unnegated,字面量一个条款(字面量的析取)。一个最多包含一个正(非否定)字面量的子句称为“ Horn子句”。

号角条款的类型:

  • 定子句/严格的Horn子句:正好有一个正字面量。
  • 单位子句:没有否定字面量的定子句。
  • 目标条款:没有正字面量的Horn条款。

例子 :
子句形式:
字面量可以是正字面量,也可以是负字面量。对于单个子句的形式,其中每个都是字面量的析取。对于子句形式:

NOT(P1) OR NOT(P2) OR ..... OR NOT(Pn) OR Q1 OR Q2 OR ..... OR Qm

上面的子句具有n个负字面量和m个正字面量。该子句可以转换为以下等效逻辑公式:

P1 AND P2 AND ..... AND Pn => Q1 OR Q2 OR ..... OR Qm

其中“ =>”是隐含符号。

牛角子句形式:

(i) Horn条款,

NOT(P1) OR NOT(P2) OR ... OR NOT(Pn) OR Q

可以转换为子句:

P1 AND P2 AND…AND Pn => Q

按照以下规则在Datalog中编写。

Q :- P1, P2, ..., Pn.

因此,上面的数据记录规则是Horn子句。

含义:如果谓词P1 AND P2 AND…AND Pn对于对它们的可变参数的特定绑定都为真,则Q也为真,因此可以推论。

(ii) Horn条款,

NOT(P1) OR NOT(P2) OR ... OR NOT (Pn)

可以转化为

P1 AND P2 AND…AND Pn =>
在Datalog中编写如下:

P1, P2, ..., Pn.

上面的Datalog表达式可以视为完整性约束,其中所有谓词必须为true才能满足查询。