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

Authors

Abstract

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

Related Project

AI4EU - A European AI On Demand Platform and Ecosystem

Conference

International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2019), August 2019

DOI