https://www.hds.utc.fr/~bachimon/dokuwiki/ 2026-04-27T18:03:41+00:00 https://www.hds.utc.fr/~bachimon/dokuwiki/ https://www.hds.utc.fr/~bachimon/dokuwiki/_media/wiki/dokuwiki.svg text/html 2013-01-02T22:18:36+00:00 bachimon (bachimon@undisclosed.example.com) https://www.hds.utc.fr/~bachimon/dokuwiki/fr/enseignements?rev=1357165116&do=diff Je suis co-Responsable * avec Serge Bouchardon, du mineur « Technologies Culturelles Numériques » Je suis responsable de * de l'UV HE 03, au semestre de printemps, en alternance avec Dominique Fontaine qui l'assure en Automne. * de l'UV MT 31, introduction à la logique mathématique, ouverte pour les étudiants suivant le parcours text/html 2013-01-02T22:15:30+00:00 bachimon (bachimon@undisclosed.example.com) https://www.hds.utc.fr/~bachimon/dokuwiki/fr/recherche?rev=1357164930&do=diff Ingénierie des connaissances La recherche que je mène s'inscrit sous l'égide de l'ingénierie des connaissances, en adoptant une double approche, * une approche technique et scientifique, * une approche philosophique et sémiotique. Qu'est-ce que l'ingénierie des connaissances ? L'ingénierie des connaissances ne porte pas directement sur les connaissances, car ces dernières ne sont pas des objets matériels sur lesquels effectuer des manipulations et transformations. L'IC porte sur l'inscri… text/html 2013-01-02T22:04:11+00:00 bachimon (bachimon@undisclosed.example.com) https://www.hds.utc.fr/~bachimon/dokuwiki/fr/approchephilosophique?rev=1357164251&do=diff Numérique et production de sens L’ingénierie des connaissances comme projet implique une recherche croisant une réflexion sur la connaissance et une étude des artefacts permettant de l’inscrire et de la manipuler. Prise au sérieux, l’ingénierie des connaissances doit reposer sur une théorie de la connaissance d’une part et une ingénierie des représentations d’autre part. text/html 2013-01-02T20:58:20+00:00 bachimon (bachimon@undisclosed.example.com) https://www.hds.utc.fr/~bachimon/dokuwiki/fr/accueil?rev=1357160300&do=diff text/html 2013-01-02T19:23:04+00:00 bachimon (bachimon@undisclosed.example.com) https://www.hds.utc.fr/~bachimon/dokuwiki/fr/approchetechnique?rev=1357154584&do=diff Ingénierie ontologique La représentation logico-formelle des connaissances permet d'exprimer des énoncés dont la syntaxe reflète et contrôle la sémantique associée. Elle fournit donc un outil privilégié pour manipuler des inscriptions numériques en fonction de leur signification. Notre travail se concentre sur les ontologies. Une ontologie est une représentation linguistique et formelle des concepts d'un domaine pour un contexte applicatif. L'aspect linguistique renvoie au fait que les concepts…