Correct option is (b) Attachment
Easy 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.