判断题
在推理过程中，需要从知识库中选出可适用的规则，就要用知识库中的规则的前提条件与数据库中的已知事实进行匹配，为此需确定匹配方法。
正确(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
判断题 个体域中实体的真值指派就是一个解释。
多项选择题 下列属于归结演绎推理中的删除策略的是（）
多项选择题 推理控制策略包括（）
