从已知事实出发，通过规则库求得结论的产生式系统的推理方式 是_______。
A. 正向推理
B. 反向推理
C. 双向推理
D. 混合推理
查看答案
演绎推理的三段论式不包括_______。
A. 推理
B. 结论
C. 大前提
D. 小前提
下列数字哪个表示最模糊_______。
A. 0.8
B. 0.5
C. 0
D. 1
设甲、乙、丙三人中有人从不说真话，也有人从不说假话，某人 向着三人分别提出一个问题：谁是说谎者？ 甲答：“B和 C都是说谎者”； 乙答：“A 和 C都是说谎者”； 丙答：“A 和 B 至少有一个是说谎者” 。 谁是老实人，谁是说谎者？_______。
A. 甲是老实人，乙是说谎者
B. 甲是老实人，丙是说谎者
C. 丙是老实人，甲是说谎者
D. 丙是老实人，乙是说谎者
下列说法不正确的是_______。
A. 永真性：如果谓词公式P对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的
B. 可满足性： 对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是可满足的
C. 永真性：如果谓词公式P在个体域D上，存在一个解释都取得真值T，则称P在D上是永真的
D. 不可满足性：如果谓词公式P对于个体域D上的任何一个解释都取得真值F，则称P在D上是永久假的，如果P在每个非空个体域上均永假，则称P永假
微信支付 
支付宝支付