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

  • 关注下方微信公众号，在线模考后查看

热门试题