A new pipeline uses a categorical variational autoencoder to compress high-dimensional Wi-Fi Channel State Information into discrete representations. This method converts raw signals into symbolic rules via Linear Temporal Logic. It solves the opacity of deep neural models in human activity recognition. Practitioners gain a controllable, interpretable framework for signal processing.