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
Document type :
Conference papers
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 : Friday, September 27, 2019 - 12:16:02 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

42

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD