Skip to Main content Skip to Navigation
New interface
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 : AI certification autonomic architecture argumentation rule-based constraint solving probabilistic logic machine learning
Document type :
Conference papers
Complete list of metadata
https://hal-paris1.archives-ouvertes.fr/hal-02297049
Contributor : Daniel Diaz Connect in order to contact the contributor
Submitted on : Wednesday, September 25, 2019 - 4:48:49 PM
Last modification on : Friday, April 29, 2022 - 10:12:50 AM

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 Datacite

Share

Metrics

Record views

51