Predictive situation awareness model for smart manufacturing
MEBN: A Language for First-Order Bayesian Knowledge Bases