A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词

A.祈使句
B.疑问句
C.感叹句
D.陈述句

A.无悖性
B.可扩充性
C.继承性

A.永真式
B.包孕式
C.空子句

A.专家系统
B.机器学习
C.神经网络
D.模式识别

A.用户
B.综合数据库
C.推理机
D.知识库

A.正向推理
B.逆向推理
C.双向推理
D.简单推理

A.状态空间法
B.问题归约法
C.谓词逻辑法
D.语义网络法

A、符号主义
B、连接主义
C、行为主义
D、都不是

A.机器证明
B.模式识别
C.人工生命
D.编译原理

A.明斯基
B.扎德
C.图灵
D.冯.诺依曼