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

Discussion

What conclusion does an open world reasoner refuse to draw?

  • A.That a stated fact is true when it is asserted
  • B.That a fact is false merely because it is not recorded
  • C.That two named individuals are distinct from one another
  • D.That a category has any instances at all

Answer: B

Under the open world assumption silence is not denial, so a patient with no recorded allergy is not thereby known to have none, which is exactly the right behaviour in that domain. Distinctness also requires explicit statement unless a unique names assumption is made. Asserted facts are of course accepted. Refusing to draw a conclusion that a closed world system would draw automatically is the safety property that makes the assumption appropriate where completeness cannot be guaranteed.

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

Post your comment

Please log in or register to post a comment.