人工智能--产生式表示法

                                    人工智能---产生式表示法

        产生式表示法又称为产生规则表示法，“产生式”这一术语是由美国数学家波斯特在1943年首先提出来的，他根据串替代规则称为一个产生式。它可以描述形式语言的语法，表示人类心理活动的认知过程。

      一、产生式的基本形式

              产生式通常用于表示具有因果关系的知识，其基本形式是：

                      P->Q

               或者

                      IF  P  THEN  Q

                    其中，P是生产式的前提，用于指出该生产式是否可用的条件；

                       Q 是一组结论或操作，用于指出当前提P所指示的条件被满足时，应该得出的结论或应该执行的操作。

             整个产生式的含义是：如果前提P被满足，则可推出结论Q或执行Q所规定的操作。

               例如：r4 ：   IF   动物会飞    AND     会下蛋     THEN    该动物是鸟

 

             谓词逻辑中的蕴含式与产生式的基本形式相同，其实蕴含式只是产生式的一种特殊情况，理由有二：

                   1. 蕴含式只能表示精确知识，其真值或者为真，或者为假，而产生式不仅可以表示精确的知识，而且还可以表示不精确的知识。

                   2. 用产生式表示知识的系统中，决定一条知识是否可用的方法是检查当前是否有已知事实可与前提中所规定的条件匹配。而去匹配可以是精确的，也可以是不精确的

 

              为了严格地描述产生式，下面