A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence