Modelisation de la connaissance et informatisation d'applications industrielles
Institution:
Université Louis Pasteur (Strasbourg) (1971-2008)Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Developper un systeme informatique ayant pour objectif de simuler le raisonnement d'un expzrt humain dans un domaine limite dit domaine expert comporte deux phases principales: la specification d'un modele abstrait ou modele cognitif et le passage du modele cognitif a un modele informatique. Le modele cognitif sert a formaliser une expertise donnee en langue naturelle tout en restant a l'ecart d'un quelconque mode d'implantation. Une approche semantique de la modelisation est proposee. Son principe est la correspondance entre deux semantiques: la semantique attachee aux concepts de description, c'est-a-dire la semantique attachee aux concepts d'objets, d'action, d'agent,. . . , et la semantique de la langue naturelle. Les aspects methodologiques sont testes a travers la realisation d'un systeme informatique d'aide a l'experimentation en biologie moleculaire. Le modele informatique constitue une traduction du modele cognitif et presente le systeme informatique en soi. Dans notre exemple, cette traduction a ete realisee en developpant des methodes de programmation logique