多项选择题

下列属于归结演绎推理中的删除策略的是（）

A.重言式删除法
B.纯文字删除法
C.包孕删除法
D.永真删除法

你可能感兴趣的试题

多项选择题

推理控制策略包括（）

A.冲突消解策略
B.搜索策略
C.推理方向
D.求解及限制策略

多项选择题

推理方向包括（）

A.双向推理
B.正向推理
C.逆向推理
D.混合推理