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

Jacques Robin (1) , Raúl Mazo (1) , Henrique Madeira (2) , Raul Barbosa (2) , Daniel Diaz (1) , Salvador Abreu (3)

1 CRI - Centre de Recherche en Informatique de Paris 1
2 Universidade de Coimbra [Coimbra]
3 University of Évora [Portugal]

We present a versatile architecture for AI-powered self-adaptive self-certifiable critical systems. It aims at supporting semi-automated low-cost re-certification for self-adaptive systems after each adaptation of their behavior to a persistent change in their operational environment throughout their lifecycle.

Keywords: AI certification; autonomic architecture; argumentation; rule-based constraint solving; probabilistic logic machine learning

Domains: Computer Science [cs]; Artificial Intelligence [cs.AI]

Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, et al.. A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland. ⟨hal-02297049⟩