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

Discussion

Which defect describes a rule that can never fire?

  • A.An unreachable rule
  • B.A redundant rule, which duplicates a conclusion another rule in the base already draws
  • C.A circular rule
  • D.A conflicting rule, which contradicts the conclusion drawn by some other rule in the base

Answer: A

An unreachable rule has conditions no combination of facts and other rules can ever satisfy, so it is dead weight and usually signals an authoring error. Redundancy, circularity and conflict are the other classical defects. Finding unreachable rules requires reasoning about what the rest of the base can derive, which is why verification tools do more than compare rules pairwise.

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

Post your comment

Please log in or register to post a comment.