Optimization Models for Training Belief-Rule-Based Systems | Synapse