在归结原理中,几种常见的归结策略并且具有完备性的是()、()、()

题目
填空题
在归结原理中,几种常见的归结策略并且具有完备性的是()、()、()
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

归结策略中,()是完备的。

A.线性输入策略,支持集策略

B.线性输入策略,单文字策略

C.支持集策略,祖先过滤策略

D.单文字策略,祖先过滤策略


答案:C

第2题:

归结策略中,()是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略

  • A、Ⅰ,Ⅱ
  • B、Ⅰ,Ⅲ
  • C、Ⅱ,Ⅳ
  • D、Ⅲ,Ⅳ

正确答案:C

第3题:

什么是法律责任的归结?试述公正归结原则的含义和要求。


参考答案:

法律责任的归结,指由特定国家机关或国家授权的机关依法对行为人的法律责任进行判断和确认。
公正归结原则的含义:公正原则包括分配的公正和矫正的公正,实质公正和形式公正。
法律制度在利益分配和保护方面,在法律的实施过程中应当体现公正和公平。因此,在追究法律责任方面应当坚持公正原则。
公正归结原则的要求:在追究法律责任方面的公正要求是:
第一,对任何违法、违约的行为都应依法追究相应的责任。
第二,要求法律责任的性质、种类、轻重要与违法行为或违约行为以及对他人造成的损害相适应,即责任与违法或损害相均衡。
第三,公正要求综合考虑使行为人承担责任的多种因素,做到合理的区别对待。
第四,公正要求在追究法律责任时依据法律程序追究法律责任,非依法律程序,不得追究法律责任。
第五,坚持法律面前人人平等,对任何公民的违法犯罪行为,都必须同样地追究法律责任。


第4题:

几种常用的归结策略()策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。


正确答案:删除

第5题:

软件故障产生的原因可归结为哪几种?


正确答案: (1)软件的版本与系统的要求不符
(2)受病毒感染
(3)系统文件丢失
(4)注册表损坏

第6题:

利用归结原理证明定理时,若得到的归结式为(),则结论成立。


正确答案:空集

第7题:

什么是归结控制策略?什么样的归结控制策略是完备的?


正确答案: 对子句集S进行归结时,如果采用盲目的、全面的归结,其结果将产生大量的不必要的归结式,如果要在计算机上实现,不但浪费计算机的存储空间,而且要浪费大量的计算时间。
为了解决这一问题,研究如何选择合适的子句进行归结,以避免多余的、不必要的归结式的出现,这就是归结控制策略。
归结控制策略有完备与不完备之分。
如果子句集S是不可满足的,当且仅当用某归结控制策略能够归结出空子句。
则称该归结控制策略为完备的归结控制策略。

第8题:

鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。

A.谓词逻辑

B.限制逻辑

C.删除逻辑

D.线性输入


参考答案:A

第9题:

用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()


正确答案:删除策略;支持集策略;线性输入策略;单文字子句策略;祖先过滤策略

第10题:

支持集策略对参加归结的子句提出了什么限制?


正确答案: 支持集策略要求在每次归结时,亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。