|
Titre :
|
A CPN approach for distributed abductive reasoning : Application to causal model based diagnosis
|
|
Auteurs :
|
Soumia Mancer, Auteur ;
Hammadi Bennoui, Directeur de thèse
|
|
Support:
|
Thése doctorat
|
|
Editeur :
|
Biskra [Algerie] : Mohamed Khider university of Biskra, 2020
|
|
Langues:
|
Anglais
|
|
Mots-clés:
|
model _based diagnosis
;
causal models
;
petri nets
;
reachability analysis
;
CW _analysis
|
|
Résumé :
|
Ce sujet se situe dans le contexte du diagnostic à base de modèles de systèmes distribués de grande taille. Les systèmes que nous considérons sont constitués de composants en interaction. La description d’un tel système est donnée sous forme d’un ensemble de modèles locaux en interaction. Chaque modèle décrit le comportement causal d’un site donné du système. Le système de diagnostic est vu comme un système multi agents où chacun est responsable d’un seul site. En particulier, il a le modèle local correspondant et peut recevoir les notifications d’observation générées par les éléments du site. Le travail demandé dans ce sujet de thèse consiste à exploiter l’outil des réseaux de Petri colorés (RdPCs) pour représenter chaque modèle de comportement causal. En effet, les RdPCs seront utilisés de manière modulaire pour décrire le comportement causal du système en question sous la forme d’un ensemble de RdPCs en interaction. Une fois on a un tel modèle, l’effort sera orienté vers la définition d’au moins une technique d’analyse permettant d’accomplir un raisonnement par abduction en se basant sur l’ensemble des modèles RdPCs. L’analyse demandée nécessite de la définir en deux phases à accomplir séquentiellement. Une analyse locale sur la base d’un seul modèle et une coopération entre modèles pour assurer une cohérence globale entre les raisonnements effectués localement. Le sujet demande une implémentation de la proposition sur un réseau local pour une validation expérimentale.
|
