下列选项哪个不是完备的规则策略()
A: 删除策略
B: 支撑集策略
C: 线性归结
D: 线性输入策略
A: 删除策略
B: 支撑集策略
C: 线性归结
D: 线性输入策略
举一反三
- 以下是归结原理中常见的归结策略,()不具有完备性。 A: 删除策略 B: 支持集策略 C: 线性归结策略 D: 单元归结策略
- 归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略 A: Ⅰ，Ⅱ B: Ⅰ，Ⅲ C: Ⅱ，Ⅳ D: Ⅲ，Ⅳ
- 在下列归结策略中，哪个属于不完备策略（ ④）。 A: 删除策略 B: 支持集策略 C: 祖先过滤策略 D: 单元归结策略
- 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
- 归结策略大致可分为两大类： 。（ ） A: 递归策略 循环策略 B: 限制策略 循环策略 C: 删除策略 递归策略 D: 删除策略 限制策略