Mission nationale de sauvegarde du patrimoine scientifique et technique contemporain

Description

Titre traduit : Expert systems generator Mylog
Ce Manuel de Référence a pour titre synthétique MYLOG, générateur de systèmes Experts. Il a été édité en 1987 sous forme de classeur par la société Delphia, située à Seyssinet près de Grenoble. Ce classeur contient 183 pages et est structuré en 6 chapitres et annexes. Le sujet qu'il aborde concerne le "système expert" MYLOG, avec son moteur d'inférences. Mylog est un kit de développement qui entre dans les applications dédiées à l’Intelligence Artificielle.
Ce logiciel est structuré en 3 parties : La Base de données des connaissances ; le moteur d’inférence ; l’interface utilisateur. Il existe une séparation nette entre l’ensemble des connaissances mises en œuvre, d'une part, et les algorithmes d’utilisation logique (moteur d’inférences) de ces connaissances, d'autre part. Celles-ci sont ici traitées comme l’expression de relations, de situations, de faits, de cas particuliers.
Le moteur d’inférence construit sur les connaissances rassemblées des raisonnements qui sont dépendants de leur structuration, mais indépendants de leurs contenus. Le rôle du moteur d’inférence est de décider, selon les demandes effectuées, et donc en fonction de chaque situation nouvelle, quelles sont les connaissances à mettre en œuvre et dans quel ordre les utiliser.
Les connaissances utilisées sont de deux types :
- soit des « règles de production » de forme : si les prémisses A, B et C sont vérifiées, alors les conclusions D, E sont vérifiées. Une règle peut se voir attribuer un « coefficient de vraisemblance » lorsque les implications logiques ne sont pas certaines.
- soit des « représentations d’objets » regroupés dans des « classes » hiérarchisées : un objet d’une classe donnée bénéficie des informations des classes « ancêtres » de la sienne (héritage). Exemple de classes : si on définit une « personne » comme une sorte d’objet défini par ses « âge », « sexe », « activités », un « étudiant » pourra être défini comme une « personne » avec une activité d’étude en université. La classe « personne » est donc l'« ancêtre » de la classe « étudiant ».
Chaque classe est définie par rapport à d’autres classes qui deviennent ses ancêtres directs. La classe « objet » n’a pas d’ancêtre. Une « instance » est l’une des réalisations « représentation d’objets » pour une classe donnée. Par exemple, l’instance « Martin » est dans la classe « étudiant » avec pour « attributs » son âge de 22 ans, et le diplôme « ingénieur_électronicien » qu’il prépare.
Les classes ont des « attributs » spécifiques appelés « facettes » de deux types : « restrictive », ce qui limite le domaine de définition d’une classe donnée ; « d’inférence », ce qui spécifie les méthodes d’inférence qui sont applicables à cette classe particulière.
Le moteur d’inférence utilise pour sa part :
- deux logiques d’ordre-0 (ex : Monsieur Dubois est un cadre) ou d’ordre-1, appelée aussi « logique des prédicats » (ex : si Dubois est un cadre, alors Dubois est aussi un salarié).
- deux modes de « chaînage » : « avant » dans le cas « si A alors B » ; « arrière » qui consiste à vérifier un certain nombre d’hypothèses, puis à tenter de les prouver. Les « buts » sont les hypothèses que doit vérifier le moteur d’inférence.
L’une des principales richesses de Mylog réside dans la combinaison des règles de production d’ordre-1 et de la représentation centrée objet. L’utilisation dans une même base de connaissance, de règles et d’objets nécessite une liaison bidirectionnelle entre les deux formalismes.
- La liaison descendante règles>objets se fait principalement par l’intermédiaire de « demandes de valeurs », permettant d’obtenir une instance pour une classe sur laquelle peuvent être imposées un certain nombre de contraintes.
- La liaison remontante objets>règles s’établit au niveau des attributs d’une classe, et chaque classe dispose d’un certain nombre d’instances (voir chapitre-5).
Les règles syntaxiques sont résumées en Annexe-A pour les entités que sont : phrase, commentaire, but, fait, règle, dialogue (soit typé, soit choix multiple), prémisse (soit booléenne, soit prédéfinie non booléenne, soit prédéfinie booléenne), littéral, expression booléenne, terme, variable, identificateur, liste, entier, réel, expression arithmétique, opérateur, classe, instance, attribut.
Dans son principe formel, un système Expert est un ensemble de programmes dont l’objectif est de simuler le raisonnement humain. Cette simulation peut s’effectuer dans des domaines variés comme le Contrôle de processus, l’Analyse financière, le Diagnostic médical, etc.

Utilisation

Le « système expert » Mylog est l’une des plus anciennes applications dédiées à l'Intelligence Artificielle. Il a été développé et utilisées en particulier dans les domaines de l’industrie.
Son interfaçage avec « Delphia Prolog » est décrit aux pages 3.50 à 3.57. Des exemples précis d'utilisation sont donnés :
- Le chapitre-3 montre comment le moteur d’inférence cherche sur une base de connaissance à prouver une hypothèse (un « but ») en essayant d’en trouver toutes les démonstrations possibles ; pour obtenir ce résultat, il effectue un « retour en arrière » vers chacun des derniers « points de choix ». Dans l’exemple donné, parmi trois joueurs dont les gains individuellement sont connus, il s’agit de trouver qui est le gagnant.
- Dans un autre exemple décrit au chapitre-5, il s’agit, dans le domaine de la médecine nutritionnelle, de trouver un type d’alimentation qui convient pour une personne dont les caractéristiques pondérales, d’âge, de poids et de taille sont répertoriées. Pour se faire, le système dispose d’une base de données d’aliments dont il connait les caractéristiques caloriques.

Retour