题目内容

(A->B)AA=>B是

A. 附加律
B. 拒收律
C. 假言推理
D. US

查看答案

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

更多问题

仅个体变元被量化的谓词称为

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

MGU 是

A. 最一般合一
B. 最一般替换
C. 最一般谓词
D. 基替换最一般合一

下列不在人工智能系统的知识包含的4个要素中

A. 事实
B. 规则
C. 控制
D. 关系

当前归结式是（）时，则定理得证。

A. 永真式
B. 包孕式（subsumeD）
C. 空了句