题目内容

下列说法不正确的是（）

A. 空子句是永假的，不可满足的。
B. 在谓词逻辑中，不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集。
C. 任何文字的析取式称为子句。
D. 归结演绎定理证明的实质是对前提 P 和结论 Q 证明 P->Q的永真性。

查看答案

搜索结果不匹配？点我反馈

更多问题

A. 联结主义认为人的思维基元是神经元，而不是符号
B. 人工智能应着重于功能模拟而不是结构模拟
C. 行为主义的主要思想是不关注智能产生的原因，而是利用机器模拟智能表现出的行为，使机器表现出与动物或人类似甚至一样的行为，从而认为机器产生智能
D. 现代认知科学认为理性是根植于人类大脑和身体的

A. Takagi－Mamdani模糊推理法
B. Takagi－Larsen模糊推理法
C. Takagi－Zadeh模糊推理法
D. Takagi－Sugeno模糊推理法

A. 实现对于三维景物世界的理解，即实现人的视觉系统的某些功能
B. 根据一幅或多幅二维图像计算出观测点到目标物体的距离
C. 根据一幅或多幅二维图像计算出目标物体的运动参数
D. 根据一幅或多幅二维图像计算出目标物体的表面物理特性

A. 图像采集->目标提取->目标识别->目标分析
B. 目标提取->目标识别->图像采集->目标分析
C. 目标提取->目标识别->目标分析->图像采集
D. 图像采集->目标提取->目标分析->目标识别