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

Discussion

What is the given clause algorithm?

  • A.Choosing a clause at random and resolving it once
  • B.Processing clauses strictly in the order they were derived
  • C.Selecting one clause and resolving it against all previously kept clauses
  • D.Resolving every pair of clauses in the set at each iteration

Answer: C

Maintaining a passive set and an active set, and repeatedly moving one clause from passive to active while resolving it against everything active, gives a fair and efficient organisation. Which clause is chosen is where heuristics enter. Exhaustive pairing is what the organisation avoids, and random or strictly chronological choice performs poorly. An algorithmic skeleton that separates what must be done from the heuristic choice of order is what allows the heuristics to be varied independently.

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

Post your comment

Please log in or register to post a comment.