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

Discussion

Match each defect with its description.

List I

A. Conflict

B. Redundancy

C. Unreachability

List II

P. duplicate effect

Q. incompatible conclusions

R. conditions never satisfiable

Select the correct match.

  • A.A-R, B-P, C-Q
  • B.A-Q, B-R, C-P
  • C.A-Q, B-P, C-R
  • D.A-P, B-Q, C-R

Answer: C

Conflict is incompatible conclusions from the same conditions, redundancy is duplicated effect, and unreachability is a rule no combination of facts can trigger. Circularity and subsumption complete the standard list. Static verification tools search for all five, which is the practical response to the discovery that rule bases do not remain modular as they grow.

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

Post your comment

Please log in or register to post a comment.