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

Discussion

Which advantage does an assumption-based truth maintenance system offer?

  • A.It needs less memory
  • B.It removes the need for the inference engine to keep any record of how a belief was derived
  • C.Several contexts can be explored at once
  • D.Retraction of a premise is very much faster than it would be in a justification-based system

Answer: C

An ATMS labels each datum with the sets of assumptions under which it holds, so switching between candidate worlds costs nothing and comparison across them is immediate. The price is the size of the labels, which can grow combinatorially. It uses more memory, not less, and it records derivations rather than dispensing with them. Choose it when many contexts matter, and a JTMS otherwise.

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

Post your comment

Please log in or register to post a comment.