La plupart des systèmes experts actuels reposent sur les connaissances de surface (le savoir-faire) d'un expert du domaine d'application. Plus récemment, une autre approche s'est développée. Elle vise a exploiter les connaissances profondes (théoriques) acquises dans le domaine d'application. La thèse étudie cette dernière approche dans le cadre du projet pic (poste de travail intelligent pour le comptable). Les aspects méthodologiques sont développés dans la première partie. Une nouvelle classe d'applications des systèmes experts est proposée: l'interprétation comparative. Elle a pour but de mettre en évidence et expliquer la cause des différences entre deux états d'un système. Une methode générale permettant d'aborder ce probleme est présentée, ainsi que des techniques la mettant en œuvre sur des modèles qualitatifs et numériques. Les contributions au projet pic sont développées dans la seconde partie. Un générateur de systèmes experts d'interprétation comparative est d'abord présenté. Il a servi a la réalisation de deux systèmes: le premier pour l'analyse de la performance d'une entreprise par la methode des surplus, le second pour le diagnostic financier d'entreprise. Un système expert pour la déduction des écritures comptables utilisant également l'approche profonde est ensuite présenté. A la lumière de ces deux dernières applications déjà abordées par les systèmes experts utilisant des connaissances de surface, les deux approches de conception de systèmes experts sont comparées

Présentation de concepts issus de la cotation volumique qui répondent aux besoins d'un système CFAO integré allant de la conception à la fabrication. Validation de ces concepts et des méthodes par implantation d'un logiciel de conception automatique de gammes d'usinage appelé Gagmat

Utilisation du raisonnement géométrique pour la planification de mouvements en robotique. Utilisation de l'intelligence artificielle et de la modélisation géométrique pour la programmation automatique des robots. Cas des mouvements fins correspondants a un assemblage

Présentation des 2 catégories de techniques permettant de faire évoluer un robot. Description de la programmation des robots (grâce à des outils de programmation et simulation graphique) et de la programmation automatique en utilisant la modélisation géométrique

Analyse des besoins en modélisation géométrique pour la robotique et définition d'un modèle approprié. Présentation du raisonnement géométrique pour l'automatisation de la préhension dans le contexte d'une tache d'assemblage et on propose une architecture de système pour la programmation automatique des robots de manipulation.

.

.

Les travaux présentés dans ce mémoire relèvent de l'ingénierie des connaissances et contribuent à mieux en cerner et définir le champ scientifique. Ce domaine vise la définition de solutions techniques, méthodologiques et organisationnelles pour identifier des connaissances, les modéliser et les restituer au sein d'applications informatiques. La modélisation est ici considérée comme une étape indépendante de l'opérationnalisation faite dans le système final.<br />L'approche retenue ici met l'accent sur les connaissances liées aux usages et pratiques des personnes concernées par le système à concevoir. L'objectif est de réaliser des aides à la modélisation, et précisément aux processus d'abstraction et de caractérisation des connaissances. <br />Les recherches développées s'appuient systématiquement sur une démarche expérimentale, grâce à des applications en entreprises et des études de cas, et sur des collaborations interdisciplinaires. Les contributions présentées comprennent des techniques et des logiciels de recueil et d'analyse de connaissances, des méthodes et des représentations des connaissances pour la modélisation conceptuelle ainsi que des plates-formes intégrant ces différents supports. <br />Ces méthodes et outils répondent successivement à trois problématiques différentes sur la modélisation, en phase avec les évolutions historiques du domaine. Le premier problème traité, assez large, est celui de la modélisation conceptuelle à partir de connaissances d'experts et d'activités humaines, faisant appel à des techniques et problématiques de psychologie et d'ergonomie. Une deuxième manière d'étudier la modélisation a consisté à s'intéresser à l'analyse des textes et aux approches linguistiques pour construire des modèles de domaines spécialisés, comme les bases de connaissances terminologiques et les ontologies. De l'ensemble des expériences menées pour ces évaluer ces propositions, il ressort que l'utilisation des modèles au sein des applications doit être prise en compte dès leur construction. Une troisième problématique porte donc sur l'étude de l'utilisation de modèles conceptuels, et plus particulièrement d'ontologies, dans des cadres applicatifs ciblés, pour ajuster les méthodes et logiciels requis pour leur construction. Les applications étudiées relèvent de la recherche d'information et de l'accès au contenu de documents. Cette problématique soulève des questions fondamentales sur la complémentarité des modèles et des documents en tant que vecteurs de connaissances.<br />Les perspectives de ce travail se situent selon deux axes liés aux documents. D'une part, si les modèles facilitent l'accès au contenu, comment définir les modalités de l'indexation sémantique de documents (à l'aide d'ontologies) ? D'autre part, les documents et les besoins étant sans cesse renouvelés, comment intégrer la question de la maintenance d'ontologies et de terminologies dans le processus de construction ? L'originalité de l'approche retenue est de traiter ces deux questions conjointement, et d'en chercher des solutions cohérentes s'appuyant sur les outils et méthodes de construction d'ontologies à partir de textes.

Cette thèse s'inscrit dans le cadre de la spécification de comportements d'agents autonomes situés dans un univers virtuel. L'objectif est la proposition d'un modèle comportemental qui exploite le concept d'intention comme lien sémantique entre les différentes étapes du cycle de d´eveloppement logiciel. A cette fin, la notion d'intention, et plus largement d'intentionnalité, est étudiée sous trois éclairages différents afin de considérer l'opportunité de son emploi dans l'exercice d'une telle spécification. Les aspects philosophiques (à travers la phénoménologie et la philosophie analytique), les aspects psychologiques et neurophysiologiques de cette notion sont ainsi abordés. Il ressort de cette analyse : · le rôle fondamental de l'intention dans le déclenchement, le contrôle en cours d'effectuation et l'arrêt de l'action ; · le rôle de l'intentionnalité dans le dialogue entre les différents intervenants impliqués dans le processus de spécification, l'agent étant alors l'objet de leur discours. Cette étude introduit une critique des approches de spécification comportementale existantes, particulièrement des architectures BDI (Belief Desire Intention). Il apparaît que celles qui exploitent la notion d'intention l'utilisent comme guide de la planification ou comme concept de modélisation. Il s'agit presque systèmatiquement d'approches symboliques. L'ensemble de ces réflexions pose les bases du modèle proposé : c'est un modèle réactif qui exploite la notion d'intention pour effectuer une sélection d'action. L'agent emploie des règles comportementales décrites dans un langage déclaratif afin de générer des intentions à satisfaire en fonction de sa situation. L'exploitation de connaissances des effets présumés de ses actions sur lui-même lui permet de mener un raisonnement qualitatif pour sélectionner l'action la plus adaptée. La notion d'intention permet donc d'établir un lien entre un ensemble de règles comportementales symboliques et un corpus de méthodes impératives (les schèmes sensori-moteurs de l'agent) via l'explicitation du "sens de l'action". D'autre part, l'instauration de ce lien sémantique au sein du modèle favorise la communication entre les différents intervenants impliqués dans la spécification du comportement. La proposition intentionnelle offre les concepts nécessaires à la fédération des points de vue de ces différents spécialistes. La traduction du comportement sous forme de règles comportementales se fait alors selon une sémantique proche de l'ontologie du domaine abordé par la simulation, le concept d'intention étant commun aux différentes phases de conception, depuis l'analyse jusqu'à l'implémentation. Après avoir détaillé le modèle issu de cette proposition, les prérequis techniques à son exécution et l'application réalisée, la thèse conclut sur les bénéfices de cet apport sémantique au sein d'un modèle réactif pour la spécification dans son ensemble (depuis l'analyse du problème jusqu'à l'interprétation des résultats) et dessine les perspectives en matière de conception d'architectures hybrides. Les voies ainsi ouvertes sont essentiellement : · l'apprentissage par l'agent de l'effet présumé de ses actions ; · l'échange de savoir-faire entre agents ; · la génération automatique d'explication, avec une application possible dans les environnements virtuels de formation ; · l'élaboration d'une démarche de conception basée sur le modèle comportemental proposé.

Cette thèse présente un modèle de construction automatique et approximatif de la représentation du sens d'un texte. On adapte des techniques de documentation automatique à des bases documentaires non indexées. Les techniques classiques reposent sur une indexation vectorielle. Chaque document est représenté par un descripteur, on définit une distance entre ces descripteurs. L'accès aux documents pertinents est basé sur des calculs de proximité entre ces descripteurs. Une structuration du domaine, couvert par des documents, est obtenue par une classification (en anglais « clustering ») faisant apparaître des thèmes sémantiques. Il faut améliorer les techniques en leur permettant de traiter les documents non indexés, en améliorant les résultats par une adaptation de connaissances linguistiques et une analyse des relations que marquent les cooccurrences entre termes. La quantité grandissante d'informations électroniques permet de constituer des échantillons de données variés et significatifs. Les techniques pour décrire les relations entre termes sont issues de méthodes mathématiques usuellement appliquées aux données structurées non textuelles. Le couplage de connaissances propres aux données avec une méthodologie adaptée aux données textuelles devrait apporter une amélioration des résultats. Nous tentons de justifier : d'une part l'utilisation de mécanismes linguistiques réduisant les biais d'une statisque descriptive des occurrences d'un terme, d'autre part l'utilisation d'une méthode basée sur les graphes dont les motifs permettraient de récupérer les relations conceptuelles entre termes. Dans un troisième temps nous facilitons l'interprétation des résultats émanant de traitements automatiques par la qualification consensuelle du thème représenté par une classe. L'interprétation de classes reste difficile, due aux multiples points de vue qu'un lecteur peut se faire des associations entre termes. Des classes de meilleure qualité facilitent l'interprétation, assistée par un théssaurus, que l'on peut attribuer à la structuration conceptuelle des termes d'un domaine. Le développement d'Internet renforce l'échange de documents électroniques entre les acteurs de différents sites. Le développement de systèmes logiciels d'échanges de documents appelés « workflow » dans les intranets d'entreprise augmente la fluidité des documents entre individus et entre services. Un système qui permet d'apprendre automatiquement des profils d'utilisateur et d'exploiter ces connaissances pour distribuer l'information semble incontournable. Nous essayons de caractériser un centre d'intérêt par des classes de termes.