单项选择题
在确定性推理方法中，下列不属于图搜索推理方法的是（）。
A.宽度优先搜索法B.等代价搜索法C.规则正向演绎法D.深度优先搜索方法
单项选择题 在知识表示方法中，下列哪个属于状态空间知识表示（）
单项选择题 在谓词逻辑演算系统中，（）是全称量词。
单项选择题 命题在谓词逻辑演算系统中，（）是条件联结词。
