Distinguishing Dynamical Kinds: An Approach For Automating Scientific Discovery