AI MCQ #575: Which is not a desirable property of a logical rule-based system?

Q575. Which is not a desirable property of a logical rule-based system?

  • a) Locality
  • b) Attachment
  • c) Detachment
  • d) Truth-Functionality

✅ Correct Answer: B) Attachment

Explanation: Locality: In logical systems, whenever we have a rule of the form A => B, we can conclude B, given evidence A, without worrying about any other rules. Detachment: Once a logical proof is found for a proposition B, the proposition can be used regardless of how it was derived .That is, it can be detachment from its justification. Truth-functionality: In logic, the truth of complex sentences can be computed from the truth of the components. However, there are no Attachment properties lies in a Rule-based system. Global attribute defines a particular problem space as user specific and changes according to user’s plan to problem.