Neuro-symbolic machine learning for lightweight and interpretable IoT edge intrusion detection | Synapse