Introduction aux systèmes à base de connaissances

Quelques dEfinitions UTILES EN IA

ASSERTION: proposition admise comme vraie. "Jean aime Marie" est une assertion. Plusieurs systèmes d' AI travaille à partie de telles assertions.
BACKTRACKING (retour en arrière): importante stratégie de contrôle dans les systèmes d' IA. Un backtrack intervient dans une recherche systématique de type combinatoir. Lorsque dans une condition donnée toutes les possibilités ont échoué, on reprend le recherche à zéro avec d' autres conditions.
INSTANCIATION: association d' une valeur à un nom.
FAIT: partie de la connaissance d' un système IA liée à un problème particulier. On distingue les FAITS des REGLES qui elles constituent une connaissance plus générale. Il y a souvent confusion des niveaux. Ainsi, en Prolog, le FAIT: (s,+,X,0,X). représente la "règle" de calcul: X+0=0 .
filtrage (technique) (pattern-matching): technique qui s' occupe de comparer une forme à un modèle.
Exemple: Voici un filtre F = (mieux vaut X que Y). L' expression E = (mieux vaut tard que jamais) est filtrée par le filtre F. C' est à dire que la question: "Est-ce que F filtre E" aura pour réponse oui.
En plus de répondre à la question, un filtre a souvent un effet de "bord" très important, celui de capturer les éléments indéterminés. Dans le cas de l' exemple X sera associé à "tard" et Y à "jamais".
Diverses notations des variables de filtrage permettent de filtrer un mot, une partie de phrase, certains types de mot, etc.
HEURISTIQUE: une heuristique est une méthode, fondée souvent sur l' expérience et le jugement, qui est employée pour obtenir une solution à un problème.
INFERENCE SYMBOLIQUE: processus qui constitue les modes de raisonnement. Par exemple: le syllogisme. Certaines inférences prennent en compte des degrés d' incertitude.
Intelligence artificielle: secteur de l' informatique ayant trait aux concepts et aux méthodes pour représenter des connaissances symboliques et les traiter par inférences symboliques.
LIPS: Nombre d' inférences logiques par seconde. Mesure de la vitesse des système d' IA. LISTE: structure de donnée qui consiste "simplement" (même si l' informatique sous-jacente peut être ardue) en l' énumération de certains objets. Exemples: la phrase "2 et 2 font 4" pourra se mettre sous la forme d' une liste: en Lisp: '(2 et 2 font 4) ; en Logo: [2 et 2 font 4] ; en Prolog: [2, et, 2, font, 4]
MODUS PONENS (règle du): c' est la règle qui, en logique des propositions ou des prédicats, permet de déduire q à partir de p et p->q.
PREDICAT: c' est un énoncé qui affirme une propriété d' un autre terme (sujet). De façon plus technique, c' est une fonction qui peut prendre pour valeur: vrai ou faux.
Exemple: Le prédicat dans "Jean aime Marie" est aime. Par ailleurs, "aime" peut être considéré comme le nom d' une fonction à deux arguments: aime(Jean, Marie)
REGLE: expression ou procédé qui relie entre eux diverses assertions.
SYLLOGISME: opération par laquelle, du rapport de deux termes avec un même troisième, on en conclut à leur rapport mutuel (Robert). Exemple: Tous les hommes sont mortels (prémisse majeure), Socrate est un homme (prémisse mineure), donc Socrate est mortel (conclusion). Par extension: tout raisonnement rigoureux, sans sous-entendu.
SYSTEME EXPERT (appelé aussi ASSISTANT INTELLIGENT ou SYSTEME A BASE DE CONNAISSANCES): système informatique prototypique des systèmes conçus dans le domaine de l' IA. Les systèmes experts sont caractérisés par leur fonction (assistance), leur structure (base de connaissances et moteur d' inférences) et le type d' heuristique adopté (liée au fonctionnement d' un expert humain). unification: l' unification est une technique de filtrage qui permet l' utilisation de variable aussi bien dans le modèle que dans l' objet à "filtrer". (voir FILTRAGE)
Exemples: (X vaut tard que Y) et (mieux vaut Z que Y) sont unifiables. X sera associé à "mieux", Z à "tard" et Y restera indéterminé. Par contre (X vaut tard que Y) et (mieux vaut X que Y) ne sont pas unifiables. En effet, X devrait être à la fois associé à "mieux" et à "tard".