Bayesian system identification based on probability logic