多项选择题
A.计算适应性 B.计算容错力 C.接近人的计算速度 D.近似于人的误差率
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。A.谓词符号...
多项选择题谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
A.谓词符号B.变量符号C.函数符号
问题的状态空间是一个表示该问题（）状态及其关系的图A.全部可能B.多数C.少数D.某些
单项选择题问题的状态空间是一个表示该问题（）状态及其关系的图
A.全部可能 B.多数 C.少数 D.某些
消解是一种可用于一定的（）的重要推理规则。A.子句B.双条件C.合取公式D.蕴含公式
单项选择题消解是一种可用于一定的（）的重要推理规则。
A.子句 B.双条件 C.合取公式 D.蕴含公式
