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

Discussion

What is the unit preference strategy?

  • A.Resolving only clauses derived in the previous step
  • B.Resolving with single literal clauses first
  • C.Preferring clauses that were supplied as premises
  • D.Choosing the clause with the fewest variables

Answer: B

Resolving with a unit clause always shortens the other clause, so the search moves towards the empty clause rather than away from it. It is a heuristic rather than a restriction and does not affect completeness. Premise preference is input resolution, and the other options describe different rules. Preferring steps that make measurable progress towards the goal is the same principle that orders any search, applied here to clause length. A single measurement chosen to respond to the one asymmetry beats several that respond to shared behaviour.

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

Post your comment

Please log in or register to post a comment.