سازگاری و استدلال در مدل‌های بیزی