A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence - Université Paris 1 Panthéon-Sorbonne
Communication Dans Un Congrès Année : 2019

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

Jacques Robin
Centre de Recherche en Informatique de Paris 1
Raúl Mazo
Centre de Recherche en Informatique de Paris 1
Henrique Madeira
  • Fonction : Auteur
Universidade de Coimbra [Coimbra]
Raul Barbosa
  • Fonction : Auteur
Universidade de Coimbra [Coimbra]
Daniel Diaz
Centre de Recherche en Informatique de Paris 1
CV
Salvador Abreu
Universidade de Évora = University of Évora [Portugal]

Résumé

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.

Domaines

Intelligence artificielle [cs.AI]

Daniel Diaz  : Connectez-vous pour contacter le contributeur

https://paris1.hal.science/hal-02297049

Soumis le : mercredi 25 septembre 2019-16:48:49

Dernière modification le : mercredi 23 octobre 2024-15:14:04

Fichier non déposé

Dates et versions

hal-02297049 , version 1 (25-09-2019)

Identifiants

  • HAL Id : hal-02297049 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 CRI
73 Consultations
0 Téléchargements

Partager

More