Les réseaux de Petri Colorés, une approche de vérification dynamique d’une base de connaissances « Objet-Règle »
T. Laroussi
Au fil des années, les systèmes à base de connaissances
se sont développés, enrichis et complexifiés. Cette complexité à
tendance à s’accroître de plus en plus, d’où la nécessité de disposer
d’outils et méthodes permettant de vérifier la cohérence de la base de
connaissances. Ce problème atteint son paroxysme lorsqu’il s’agit de
vérifier des systèmes à base de connaissances hybrides de type objet -
règle.
C’est la vérification dynamique des systèmes à base de connaissances
hybrides de type règle-objet qui a été étudiée ici. La vérification
prend en compte le potentiel déductif des bases des règles.
La majorité des travaux qui ont été publiés sur la vérification des
systèmes hybrides, ont été consacrés aux systèmes de type
farme-règle ou la vérification à la vérification statique dans le cas
des systèmes de type règle-objet. Le peu de travaux portant sur la
vérification dynamique des systèmes hybrides de type objet-règle,
utilisent des formalismes proches de la logique classique ou des
réseaux de pétri de bas niveau. Malheureusement ceux-ci ne se prêtent
pas bien à la modélisation du système hybride de type objet-règle. En
effet, il est impossible en logique classique ou en utilisant des
réseaux de Petri de bas niveau de modéliser le système hybride dans
tous ces aspects (classe d’objets, changement d’état, etc.)
L’objectif de ce mémoire est de proposer une solution basée sur une
approche formelle pour la vérification dynamique des systèmes experts
hybrides de type objet-règle, tout en tirant parti des travaux qui ont
été menés dans le cadre de la vérification des systèmes à base de
connaissances hybride de type frame-règle.
D’abord nous mettons en place le cadre théorique de notre solution.
Ainsi nous définissons les aspects formels de la modélisation du
système hybride de type objet-règle par un réseau de Petri coloré. En
suite, pour l’analyse des anomalies, nous proposons deux solutions
formelles. La première utilise la puissance d’analyse du graphe de
marquages, l’autre utilise la puissance de l’interprétation des états
de places du réseau de Petri. Dans les deux cas nous proposons des
définitions formelles pour la vérification de chaque anomalie. La
construction de notre graphe et/ou réseau de Petri se fait de façon
dynamique. Dans les derniers chapitres nous détaillons les
implémentations réalisées en vu de la simulation des exemples proposés.