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

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

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

      一、产生式的基本形式

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

                      P->Q

               或者

                      IF  P  THEN  Q

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

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

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

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

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