La journée de l'équipe GOC fin 2014 a lieu le jeudi 11 décembre dans la salle 201 du MIS à partir de 9h00.
Programme et résumé des exposés
9h00-9h45 Gilles Kassel, Céline Joiron, Frédéric Fürst
Ontologie des entités fictives et virtuelles : préliminaires
9h45-10h30 Yu Li
Qu'est-ce que "P versus NP"?
10h30-11h00 Pause-discussion
11h00-11h30 Céline Joiron
Vers la génération automatique de sujets d’évaluations individuels et équitables en contexte universitaire
11h30-12h15 Frédéric Furst
Web sémantique et données liées
12h15-1400 Déjeuner
14h00-14h45 Vassilis Giakoumakis
Décomposition des graphes et Optimisations.
14h45-1600 Discussion
16h00 Fin de la journée
Résumé de l'exposé Gilles Kassel
Travaux présentés à JFO (Journées Francophones sur les Ontologies)
Résumé de l'exposé de Yu Li
Dans cet exposé je vais discuter la perte de la notion "nondéterminisme" de la définition actuelle de NP de
deux points de vue.
Au point de vue de récognition d'un problème, nous discutons que cette perte est liée avec la détermination
de l'essence d'un problème qui permet de différencier avec d'autres problèmes. La définition actuelle de NP
définit NP comme une classe de problèmes vérifiables en temps polynomial en utilisant la propriété "vérifiabilité
en temps polynomial" comme l'essence de NP. Nous argumentons que, cette définition déduit P ⊆ N P et confuse
les différents niveaux entre le nondéterminisme et le déterminisme, qui cause la perte de nondéterminisme de NP.
Au point de vue de représentation d'un problème, nous interprétons la preuve du théorème de Cook qui tente
de construire un formule CNF pour représenter un calcul d'une nondéterministic Turing machine. Pourtant
la construction de telle formule est un processus déterministe et polynomial, par conséquence cette preuve
cause la confusion de nondéterminisme et déterminisme, et finalement la perte de la notion "nondéterminsme"
de NP.
Nous discutons que l'étude de P versus NP se situe d'abord au niveau de cognition, et après au niveau de
connaissances et de techniques.
Résumé de l'exposé de Frédéric Furst
Cet exposé présentera le projet de Web sémantique qui consiste à ajouter une couche de connaissances
au-dessus du Web afin de rendre accessible aux applications déployées en ligne le sens des données traitées.
Les technologies mises au point pour le Web sémantique seront décrites, en particulier les langages utilisés pour
représenter d'une part, le contenu du Web et d'autre part, les connaissances permettant de raisonner sur
ce contenu. Les problèmes liés à l'interrogation des données et au raisonnement seront également abordés,
en particulier les problèmes de complexité.
Résumé de l'exposé de Céline Quénu-Joiron
Dans le contexte universitaire, le processus d’évaluation sommative des apprentissages comporte classiquement
trois phases : la conception par l’enseignant d’un sujet d’évaluation, la composition par les apprenants (étudiants)
et enfin la correction par l’enseignant. L’usage de supports de composition numériques offre des facilités
d’automatisation de ce processus. Cependant, dès que le volume des apprenants devient conséquent, l’usage
de ces supports pose de nombreux problèmes de nature logistique et matérielle auxquels il est difficile de répondre.
Afin de lever tout ou partie de ces contraintes, nous avons élaboré un prototype, le logiciel YMCQ, qui permet
la quasi automatisation du processus d’évaluation sur supports papier, permettant notamment une individualisation
et une différentiation des sujets d’examens générés, afin notamment de lutter contre la fraude. L’objectif de cet
exposé et de présenter le travail réalisé sur le logiciel YMCQ ainsi que les perspective de recherche sur
la génération automatique de sujets d’évaluation individuels, garantissant l’équité c’est à dire une quasi
équivalence entre les niveaux de difficulté des sujets alors générés.
Résumé de l'exposé de Vassilis Giakoumakis
Nous allons d’abord montrer comment nous pouvons résoudre efficacement des problèmes d’Optimisation
à l’aide des méthodes de décomposition des graphes. Ensuite nous allons évoquer des pistes de recherche
d’heuristiques utilisant la décomposition des graphes. Nous terminerons sur quelques résultats récents
de placement des robots de surveillance dans un réseau.
