Skip to Main content Skip to Navigation
Conference papers

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]
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 : autonomic architecture argumentation rule-based constraint solving probabilistic logic machine learning AI certification
Complete list of metadatas
https://hal-paris1.archives-ouvertes.fr/hal-02297049
Contributor : Daniel Diaz <>
Submitted on : Wednesday, September 25, 2019 - 4:48:49 PM
Last modification on : Sunday, January 19, 2020 - 6:38:32 PM

Identifiers

  • HAL Id : hal-02297049, version 1

Collections

UNIV-PARIS1 | CRI

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

76

Contact

Informations

CCSD