产生式的基本形式是什么？它与谓词逻辑中的蕴涵式有什么共同处及不同处？
谓词,蕴涵,逻辑
已帮助 人
-
正确答案：产生式的基本形式是； P→Q 或者 IF P THEN Q其中P是产生式的前提用于指出该产生式是否可用的条件；Q是一组结论或操作用于指出前提P所指示的条件被满足时应该得出的结论或应该执行的操作。 产生式基本形式与谓词逻辑中蕴涵式的共同处是具有相同的形式。它们的区别是蕴涵式只能表示精确性知识其逻辑值要么为真要么为假而产生式不仅可以表示精确性知识而且可以表示不精确知识。另外在用产生式表示知识的智能系统中决定一条知识是否可用的方法是检查当前是否有已知事实与知识中的前提条件相匹配这种匹配可以是精确匹配也可以是不精确匹配只要按照某种算法求出前提条件与已知事实的相似度达到某个指定的范围就认为是可匹配的。但在谓词逻辑中蕴涵式前提条件的匹配总是要求精确匹配。另一个区别是蕴涵式本身有真值而产生式本身没有真值。
产生式的基本形式是；P→Q或者IFPTHENQ其中,P是产生式的前提,用于指出该产生式是否可用的条件；Q是一组结论或操作,用于指出前提P所指示的条件被满足时,应该得出的结论或应该执行的操作。产生式基本形式与谓词逻辑中蕴涵式的共同处是具有相同的形式。它们的区别是蕴涵式只能表示精确性知识,其逻辑值要么为真,要么为假,而产生式不仅可以表示精确性知识,而且可以表示不精确知识。另外,在用产生式表示知识的智能系统中,决定一条知识是否可用的方法是检查当前是否有已知事实与知识中的前提条件相匹配,这种匹配可以是精确匹配,也可以是不精确匹配,只要按照某种算法求出前提条件与已知事实的相似度达到某个指定的范围,就认为是可匹配的。但在谓词逻辑中,蕴涵式前提条件的匹配总是要求精确匹配。另一个区别是蕴涵式本身有真值,而产生式本身没有真值。