Mes activités en bref
Je suis professeur à l'IUT de Villetaneuse, membre du Laboratoire d'informatique de Paris Nord.
Mes recherches portent sur la représentation de connaissances en particulier à des fins de traitement automatique (sémantique) du langage naturel. J'ai aussi étudié le diagnostic d'artefacts, qui à haut niveau relève des mêmes formalismes logiques.
Je me suis interessé à la logique des défauts, aux A.T.M.S., à
la modélisation cognitive (thèse de Nathalie Chaignaud, collaboration
avec la psychologue Anh Nguyen), à la révision
(groupe Lea Sombe avec P. Siegel, P. Besnard, Y. Moinard, H. Prades, D.
Dubois, L. Fariñas del Cerro, C. Froidevaux) et à la modélisation du
"monde de la route" tel que peut le décrire un
conducteur (j'ai été responsable du groupe Sémantique du Langage
Naturel, avec J.P. Desclés, C. Fuchs, B. Victorri, P. Enjalbert, D.
Kayser), à la notion d'evénement et sa formalisation. J'ai aussi
travaille sur la modélisation de haut niveau des fautes dans les
réseaux de télécommunication dans un cadre de supervision (thèse de
Aomar Osmani) - en collaboration constante avec Philippe
Dague et Marie-Odile Cordier. J'ai été responsable pour la partie LIPN
d'une CTI CNET (Gaspar) et d'un projet RNRT (Magda). J'ai fait partie
et ai ét responsable du groupe Imalaia qui travaillait sur la
supervision de dispositifs
industriels (P. Dague, M.O. Cordier, L. Travé-Massuyes, M. Porcheron,
M. Dumas, M. Staroziewski). Puis j'ai travaillé en sémantique du
langage naturel
sur la notion d'evénement dans l'interprétation des pluriels et des
termes comparatifs (pas toujours repérés comme tels syntaxiquement) et
j'ai
piloté le projet TCAN Ogre (Ordres de Grandeur et RÉpétition, avec G.
Ligozat, P. Enjalbert, L. Gosselin)tout en dirigeant la thèse de Laure Bourgois sur les services Web chez France Telecom
. J'ai ensuite participé avec Daniel Kayser au projet ANR Micrac sur
l'analyse et la formalisation de la causalité dans un cadre
interdisciplinaire (I.A, psychologie, philosophie). Puis je me suis
tourné vers les traitements sémantiques automatisés à plus grande
échelle du langage naturel, même s'ils sont moins fins. Je travaille
actuellement sur les problèmes d'annotation et d'indexation et les
environnements qui permettent d'allier automatisation partielle et
intervention experte. Je participe sur ce sujet au projet FP7 Ontorules
(IBM, Ontoprise, PNA, Audi, Arcelor-Mittal, F.U. Bolzano, T.U. Wienn,
Paris 13) dont Adeline Nazarenko est la responsable locale. Je
dirige depuis septembre 2009 la thèse d'Abdoulaye Guissé.
J'ai enseigné l'architecture des ordinateurs et les systèmes d'exploitation, puis l'algorithmique en deuxième année, avec des techniques de langage objet pour le codage (en java). Il m'est arrivé de faire des TD d'algorithmique en 1ere année, de java graphique, de Bases de données, de Merise et de réseau - et donc je connais pratiquement tous les cours d'informatique du PPN. Plus d'éléments et de polycopiés ici. Actuellement, j'enseigne en licence appliquée : mise à niveau C et compléments d'algorithmiques (Automates, expressions régulières), et en 1ere année du DUT info en apprentissage : bases de la programmation.
J'ai été responsable de l'informatique 1ere année. Pendant 3 ans, j'étais président du Conseil Restreint (l'instance qui se prononce à l'IUT sur les postes, promotions et recrutements des enseignants). Je me suis occupé des machines au LIPN pendant 2 ans, j'ai été président de la Commission de Spécialistes de 27ème section pendant 3 ans puis chef du département informatique de l'IUT pendant 3 ans.
Je passe aussi une partie de mon temps avec mes enfants, Mathias et Joanna. Et pour les activités sociales, j'aime le théatre, le cinéma, la musique, le vélo et la photo - bien que je n'aie aucune compétence dans ces domaines.
Quelques liens sur des sites intéressants
Sur le monde de l'action :
ETAI
Le journal electronique
créé par E. Sandewall
Les
chercheurs du raisonnement sur les actions
Les workshop TIME
Sur le diagnostic :
Le projet MAGDA
Le réseau QRNET
Gautam
Biswas (Diagnostic et supervision)
Et puis :
L' AFFIA
(Association
Francaise pour l'Intelligence Artificielle)
et ... les logiciels libres GNU
Bibliographie
Ci dessous un résumé de ma bibliographie. Pour les amateurs d'archives, j'ai mis un lien sur une version intégrale.
A. Osmani, L. Rozé, M.O. Cordier, P. Dague, F. Lévy : Supervision of Telecommunication Networks,
Calculus,
Ecai 98, Brighton, 25-28 Aout 1998 pp 537-541
S. Cauvin, M.O. Cordier, C. Dousson, P. Laborie, F.
Lévy, J. Montmain, M. Porcheron, L. Travé-Massuyes : Monitoring
and Alarm Interpretation in Industrial Environment
AI Communications 11 (1998), pp 139-173. 40 pages
F. Gayral, D. Kayser, F. Lévy : Quelle est
la couleur du feu rouge du boulevard Henri IV
Verbum 1997 no1-2,
pp 177-200
N. Chaignaud, F. Lévy : Common Sense
Reasonning: Experiments and Implementation
Ecai 96, Budapest, 14-16 Aout 1996 pp 604-608
F. Gayral, D. Kayser, F. Lévy : Logique et
semantique du langage naturel : modeles et interpretation
Intellectica, 1996-2, no
23, pp 303-325
F. Lévy Introduction
t.a.l. (traitement automatique du langage), numéro spécial sur la
sémantique du langage naturel, 1995, no1.
(coordination F. Lévy)
F. Gayral, P. Grandemange, D. Kayser, F. Lévy : Interprétation
des constats d'accidents : représenter le réel et le potentiel
t.a.l. (traitement automatique du langage), numéro spécial sur la
sémantique du langage naturel, 1995, no1.
F. Lévy A Survey of Belief Revision and
Updating in Classical Logic
in : Revision and Updating in Knowledge Bases, Lea Sombe ed., J. WiIley
& sons, 1994, pp 29-59
(reprise de : International Journal of Intelligent Systems, no spécial sur
la révision 1994, vol 9 pp 29-59.)
Last modified: Sun Oct 17 13:34:03 CEST 2004