产生式的基本形式是什么?它与谓词逻辑中的蕴含式有什么共同处及不同处?
产生式的基本形式是“IFPTHENQ”,其中,P是产生式的前提,用于指出该产生式是否可用的条件;Q是一组结论或操作,用于指出前提P所指示的条件被满足时,应该得出的结论或应该执行的操作。 产生式基本形式与谓词逻辑中蕴含式的共同之处是具有相同的形式。 它们的区别是:蕴含式只能表示精确性知识,其逻辑值要么为真,要么为假;而产生式不仅可以表示精确性知识,而且可以表示不精确知识。
免费的网站请分享给朋友吧