Le séminaire adresse le domaine de l’IA symbolique, plus précisément l’ingénierie des connaissances ou la représentation de connaissances métier de manière à ce qu’un ordinateur puisse les interpréter et les manipuler, comme le ferait un humain, et tout en assurant l’efficacité d’implémentation. Après un bref résumé de mon parcours, les contributions présentées concernent la modélisation de savoir-faire métiers avec des approches formelles, décidables et en intégrant une sensibilité au contexte (de l’utilisateur ou d’utilisation). En relation avec ce domaine, de nombreuses questions existent : comment modéliser de manière expressive et décidable une connaissance ? Comment identifier des connaissances vraies, avec de la valeur dans un environnement de traitement massif de données ? Comment dépasser les limites de l’hétérogénéité sémantique dans un environnement fortement distribué ? Comment savoir si deux représentations « parlent de la même chose », si elles définissent la « chose » de la même manière ou si elles présentent des points de vue concurrents ou alors approximatifs ? Mes recherches s’efforcent de répondre à ces problématiques en utilisant les technologies du « Web sémantique ». Je présenterai mes contributions en termes de conception et implémentation d’approches permettant de simuler un raisonnement humain sur des connaissances réparties, notamment notre approche de fédération faiblement couplée d’ontologies.