الاحتمالات, التحقق من النماذج, الذكاء الاصطناعي, المنطق الزمني, علوم الحاسوبمنطق شجرة الحساب الاحتمالي (Probabilistic Computation Tree Logic)