Machine Learning | Traditional Chinese Medicine Diagnosis knowledge constrained network based on first-order logic for syndrome differentiation. December 3, 2023