题目内容

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

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

查看答案

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

更多问题

MGU 是

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

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

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

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

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

C(B|A)表示在规则A->B中，证据A为真的作用下结论B为真的（）

A. 可信度
B. 信度
C. 信任增长度
D. 概率