论文信息 - A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

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

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.

[1] Luc De Raedt,et al. DeepProbLog: Neural Probabilistic Logic Programming , 2018, BNAIC/BENELEARN.

[2] Ada Diaconescu,et al. Autonomic Computing: Principles, Design and Implementation , 2013 .

[3] Reda Bendraou,et al. Towards Automated Inconsistency Handling in Design Models , 2010, CAiSE.

[4] Jean-Louis Boulanger. Safety Management for Software-based Equipment: Boulanger/Safety Management for Software-based Equipment , 2013 .

[5] DA SILVA , 2013 .

[6] W. Marsden. I and J , 2012 .

[7] Thom W. Frühwirth,et al. Probabilistic legal reasoning in CHRiSM , 2013, Theory Pract. Log. Program..

[8] Thom W. Frühwirth,et al. Constraint Handling Rules , 2009, Constraint Programming.

[9] Thom W. Frühwirth,et al. Compiling CHR to parallel hardware , 2012, PPDP.

[10] Joost Vennekens,et al. CHRiSM: CHance Rules induce Statistical Models , 2009 .

[11] Gabriel Tamura,et al. REFAS: a PLE approach for simulation of self-adaptive systems requirements , 2015, SPLC.

[12] Wannes Meert,et al. CHR(PRISM)-based probabilistic logic learning , 2010, Theory Pract. Log. Program..

[13] Fabrizio Riguzzi,et al. Foundations of Probabilistic Logic Programming , 2018 .