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

Discussion

Which algorithm makes rule matching efficient in large systems?

  • A.Unification
  • B.Resolution refutation, which proves a goal by deriving a contradiction from its negation
  • C.The Rete algorithm
  • D.The A star algorithm, which searches a graph guided by an admissible heuristic estimate

Answer: C

Rete compiles the rule conditions into a network that stores partial matches, so only the consequences of a change are recomputed rather than every rule being retested. It trades memory for speed and made large production systems practical. A star, unification and resolution belong to search and to logical inference. The insight that working memory changes slowly between cycles is what the whole design exploits. Working one numerical case through both cases side by side fixes the distinction better than any rule of thumb.

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

Post your comment

Please log in or register to post a comment.