Machine-translated by Google. Questions are authored in English.
Top

Discussion

Why does the set of support strategy preserve completeness?

  • A.Every clause is eventually derived from the goal in any case
  • B.The strategy restricts only the order in which clauses are used
  • C.Completeness is preserved by every restriction on resolution
  • D.The premises alone are satisfiable so no contradiction lies within them

Answer: D

If the premises are consistent, any contradiction must involve the negated goal, so resolutions among the premises alone can be skipped without losing the proof. That condition must actually hold, and it usually does. Order restriction and universal harmlessness are false. A restriction justified by an argument about where a contradiction must lie is far stronger than one adopted heuristically, and it is worth checking that the argument's premise holds. Most errors here come from carrying a result across from a neighbouring case where it does not hold.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.