相关考题
-
多项选择题
下列属于归结演绎推理中的删除策略的是（）
A.重言式删除法
B.纯文字删除法
C.包孕删除法
D.永真删除法 -
多项选择题
推理控制策略包括（）
A.冲突消解策略
B.搜索策略
C.推理方向
D.求解及限制策略 -
多项选择题
推理方向包括（）
A.双向推理
B.正向推理
C.逆向推理
D.混合推理
