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