sysexpert 0.2

Systeme Expert 0+

Systeme Expert

Sujet

On désire écrire un programme réalisant des tâches d'expertises dnas un domaine d'application tel que la météorologie, le dépannage automobile, la conception de mécanismes, ou tout autre domaine qui voussemble justifier l'utilisation d'un système a basees deègles de production pour réaliser des inférence.

Après avoir défini votre langage de représentation des connaissances, vous programmerez un moteur d'inférences d'ordre Zero+ au minimum adapté à votre application. VOus le doterez de possibilités le rednant plus efficace plus souple à utiliser ou plus sûr. Par exemple:

1) Implémentation de différentes stratégies d'exploitation des règles:

• Chaînage avant
• Chaînage arriêre

2) Utilisation de différents critères de choix de la règle déclenchée dans l'ensemble des conflits (ie. Ensemble des règles déclenchable ou susceptible d'être choisies pour développer un but):

• complexité d'évaluation des prémisses
• règles ayant le plus de prémisses à satisfaire
• récence d'utilisation de la règle
• règle comportant comme prémisses les faits déduits le plus récents

3) Possibilité de fournir des explications:

• à la demande de l'utilisateur
• en cas de problème
• explication sous forme de trace
• explication sous forme de trace abrégées

4) Gestion de la cohérence. Vous définirez des critères définissant la cohérence de la base de connaissance (définition d'un modèle de cohérence ou C-modèle) et les utiliserez pour contrôler la base de connsissance et le fonctionnement du système.

Installation

$ pip3 install sysexpert

Utilisation

$ se-cli # version terminal
$ se-gui # version graphique

Syntaxe du fichier de Base de connaissance

Modélisation d'un fait:

<Attribut> = <Valeur>
#Exemple
A = True
B = 40

Modélisation d'une rêgle:

<Fait> (& <Fait>) := <Prémisses> (& ou || <Prémisses>)
#Exemple
C = True & D = False := A == True || B > 50
D = True := A == False & B <= 50

Des exemples de Base de connaissance ce trouve dans le dossier docs.

A faire

• Faire plus de test
• et encore plus