A principled logic rule-based approach is the Markov Logic Network (MLN), which is able to leverage domain knowledge with first-order logic and meanwhile handle the uncertainty.
the inference in MLNs is usually very difficult due to the complicated graph structures.