专家系统实现了人工智能从理论研究走向实际应用，以下哪一项是专家系统的不足（ ）。
A. 知识通过专家提供
B. 缺乏常识性知识
C. 不能使用数据库
D. 推理方式单一
以下关于机器翻译，说法不正确的是（ ）
A. 机器翻译是科技翻译,尤其是各具体学科、专业翻译的最佳途径。因为这类翻译句式结构较为简单,专业词汇重复量大,而机器翻译速度快、效率高,完全可以在这方面大显身手
B. 非文学出版物的机器翻译一直在进行,产品说明书、天气预报等一些基于专业语料库的材料的翻译效果还是不错的
C. 世界上有70%以上的网站都是用英文编写的,而只有2%左右的网站是由汉语编写而成的
D. 互联网以及与计算机相关材料的翻译很大一部分依赖机器翻译。机器翻译在这方面发挥着机器辅助翻译所不能比拟的作用
以下关于人造突触说法不正确的是（ ）
A. 这种人工突触提高了计算机模拟人脑的效率，有力地促进了该领域的发展
B. 它就像真的突触一样，但它的确是人工设计的有机电子器件，这是一种此前没有出现的崭新的器件
C. 此外，这种器件在很多关键参数上也优于无机器件
D. 该种新型人工突触不但成功地模仿了人脑中的突触传递信号的方式，但是能效不能超过了传统计算机
以下哪一项表明谓词公式F和其标准子句集为S之间的关系？
A. S不可满足则F不可满足
B. F不可满足则S不可满足
C. S可满足则F可满足
D. F可满足则S可满足
微信支付 
支付宝支付