A. 定义谓词 B. 用连接词和量词把谓词连接起来 C. 谓词公式中自由变元换名
A. ¬P∨Q B. Q∨¬P C. ¬P∧Q D. ¬(P∧¬Q)
A. 状态 B. 算符 C. 算法 D. 状态空间方法
A. 权值调整 B. 输出层连接权调整 C. 隐层连接权调整 D. 输入层连接权调整
A. 选择匹配 B. 冲突消解 C. 执行操作 D. 路径解释