广度优先策略下的归结证明及归结策略简述

归结策略是指在逻辑推理中，通过归结规则对谓词逻辑公式进行化简和推导的方法。广度优先策略是归结策略的一种，它的优点是可以找到最短的归结路径，并且是一种完备的策略。但广度优先策略的缺点是会产生许多无用的子句，从而浪费时间和空间。对于大问题来说，广度优先策略容易产生组合爆炸，但对于小问题来说仍然是一种比较好的策略。 归结策略还可以根据不同的方法进行分类，主要有删除策略和限制策略。删除策略的主要思想是通过删除无用的子句来缩小归结范围，从而提高归结效率。其中，纯文字删除法是一种常见的删除策略，它指的是删除包含纯文字的子句，因为纯文字不可能被消除，也无法得到空子句。另外，重言式删除法是另一种删除策略，它指的是删除包含互补文字对的子句，因为重言式的真值无论是真还是假，都会导致这些子句为真。 总结起来，归结策略是一种逻辑推理的方法，广度优先策略是其中的一种，它的优点是能找到最短归结路径并且是完备的。归结策略还可以根据不同的思想进行分类，其中删除策略通过删除无用的子句减小归结范围，主要有纯文字删除法和重言式删除法。这些归结策略可以提高推理效率，但对于大问题可能会产生组合爆炸，因此对于小问题来说更为适用。