A method of backward probabilistic logic reasoning of decision problems