选择题：从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。

对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。这是一个关于子句 谓词 人工智能导论的相关问题，下面我们来看

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。这是一个关于子句 谓词 人工智能导论的相关问题，下面我们来看

依据估价函数f(x)=g(x)+h(x)(其中g(x)为初始节点到节点x已实际付出的代价，h(x)是节点x到目标节点的最优路径的估计代价）对OPEN表中的节点进行排序，并且要求启发函数满足（），则称这种状态空间图的搜索算法为A*算法。这是一

在本征半导体中，本征激发产生的载流子是（）这是一个关于空穴 模拟电子技术 自由电子的相关问题，下面我们来看

桥式整流电路属于半波整流。这是一个关于电路 模拟电子技术的相关问题，下面我们来看