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

Discussion

Why is consistency checking important in a large knowledge base?

  • A.Consistency is required before any query may be answered
  • B.An inconsistency prevents the reasoner from terminating
  • C.An inconsistency makes every conclusion derivable and worthless
  • D.Inconsistent knowledge bases cannot be stored efficiently

Answer: C

One contradictory pair among a hundred thousand axioms silently licenses every conclusion, and the system continues to answer queries confidently. That is why description logic reasoners check consistency as a matter of course. Storage, query preconditions and termination are different concerns. A fault whose symptom is confident wrong answers rather than an error message is the most dangerous kind, and mechanical detection is the only reliable defence.

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

Post your comment

Please log in or register to post a comment.