产生式

确定性规则知识的产生式表示

例如：

if 动物会飞 and 会下蛋 then 该动物是鸟

基本形式：if p then q，或者$p \to q$

不确定性规则知识的产生式表示

例如：

if 发烧 then 感冒(0.6)

基本形式：if p then q(置信度)
或者：$p \to q$(置信度)

确定性事实性知识的产生式表示

例：

老李年龄是40岁：(Li, age, 40)
老李和老王是朋友：(friend, Li, Wang)

三元组表示：(对象，属性，值)

或者：(关系，对象1，对象2)

不确定性事实性知识的产生式表示

例：

老李年龄很可能是40岁：(Li, age, 40, 0.8)
老李和老王不大可能是朋友：(friend, Li, Wang, 0.1)

三元组表示：(对象，属性，值, 置信度)

或者：(关系，对象1，对象2, 置信度)

产生式与蕴含的区别

1. 除逻辑蕴含外，产生式还包括各种操作，规则、变换、算子、函数等。例如，“如果炉温超过上限，则立即关闭风门”是一个产生式，但不是蕴含式。
2. 蕴含式只能表示精确的知识，而产生式不仅可以表示精确的知识，还可以表示不精确知识。蕴含式的匹配总要求是精确的。产生式匹配可以是精确的，也可以是不精确的，只要按某种算法求出的相似度落在预先指定的范围内就认为是可匹配的。

产生式的形式描述及语义–巴斯克范式BNF

• 符号::=表示“定义为”
• 符号|表示“或者是”
• 符号[]表示可缺省

<产生式>::= <前提><结论>

<前提>::=<简单条件>|<复合条件>

<结论>::=<事实>|<操作>

<复合条件>::=<简单条件>AND<简单条件>[AND<简单条件>...|<简单条件>OR<简单条件>]

<操作>::=<操作名>[(<变元>,...)]