LIPN: RCLN

Daniel Kayser's Home Page

Daniel Kayser Laboratoire d'Informatique de Paris-Nord UMR CNRS 7030 Institut Galilée - Université Paris-Nord 99, avenue Jean-Baptiste Clément 93430 Villetaneuse France Office: B308 Phone: +33 1 49 40 35 81 Fax:     +33 1 48 26 07 12 E-mail: daniel.kayser at lipn.univ-paris13.fr

CV express

Thèse de 3ème cycle Paris VI, juin 1970
Thèse d'état Paris VI, janvier 1975

Professeur à l'IUT d'Orsay de 1975 à 1984, à l'Université Paris-Nord depuis novembre 1984 (classe exceptionnelle depuis septembre 1994).

Membre d'honneur de l'Association Française d'Intelligence Artificielle (2000). ECCAI Fellow (2002).

Membre élu du Conseil Supérieur des Universités (1986-87). Président de l'Association pour la Recherche Cognitive (1992-94). Directeur du Programme de Recherche Concertée "Intelligence Artificielle" (Ministère de la Recherche 1992-95). Membre du Comité National de la Recherche Scientifique (commission interdisciplinaire 45, 2003-04), Président du Comité Scientifique Disciplinaire n°1 de l'Agence Nationale de la Recherche (2007-09).

Directeur du LIPN de sa création à 1991. Directeur de l'école doctorale Galilée (1997-2001). Président du département Informatique de l'Institut Galilée (2002-04).

Recherche

Je cherche, dans le cadre de l'Intelligence Artificielle et des Sciences Cognitives, des méthodes de représentation des connaissances adaptées à la compréhension du langage naturel. Je considère que la fonction essentielle du langage n'est pas de décrire une situation, mais de faire en sorte que l’interlocuteur ou le lecteur tire des conclusions de ce qu’on lui communique. Tirer des conclusions étant une activité inférentielle, on pourrait donc penser que la logique, en ce qu'elle est une théorie de l’inférence, fournit le cadre théorique dans lequel inscrire cette recherche.
Cependant, les inférences auxquelles s'intéresse la logique sont celles qui préservent la vérité, alors que les énoncés en langue naturelle se prêtent difficilement à une analyse en termes de valeur de vérité. Je cherche donc à concevoir des systèmes symboliques de compréhension de la langue qui s'écartent de façon significative des logiques habituelles.
L'utilisation de normes (dans le sens de ce qui est considéré comme normal, non dans l'idée d'une normativité) permet de tirer des conclusions beaucoup plus riches que ce qu'on obtient par un raisonnement reposant sur l'implication matérielle. Le raisonnement basé sur les normes est révisable, d'où un intérêt particulier pour les travaux sur les logiques non monotones. Je m'intéresse particulièrement au raisonnement causal, et à ses relations avec l'utilisation des normes d'un domaine, et je mets en œuvre ces idées en analysant les constats rédigés après un accident de la route. Un travail plus récent concerne les stratégies argumentatives utilisées dans ces constats.

J'ai dirigé directement ou indirectement 72 thèses de troisième cycle, d'université, d'habilitation ou d'état, et de nombreux stages de D.E.A. sur des sujets connexes : raisonnement à profondeur variable, analyse tolérante, stratégies de raisonnement, techniques de propagation et d'héritage dans les réseaux sémantiques, modélisation cognitive, paraphrase, glissement de sens, ...
J'ai présidé la conférence française RFIA (1994), et co-présidé la conférence EuroCogSci (2007).

Enseignement

Cours et travaux dirigés de Représentation des Connaissances en Master Informatique 2ème année (Logique classique vue comme système de représentation. Logiques de description. Logiques modales. Représentation de connaissances incertaines (probabilités, possibilités, Dempster-Shafer, logiques multivaluées et non-monotones, réseaux bayésiens). Représentations du temps, de l’espace, de la cause, de l’action).
Cours et travaux dirigés d'Algorithmique et Arbres en 2ème année de classe préparatoire intégrée au cycle d'ingénieurs Sup'Galilée. Polycopié.
Cours et travaux dirigés de l’option de Logique en 2ème année de classe préparatoire intégrée au cycle d'ingénieurs Sup'Galilée. Polycopié.
Cours de programmation impérative en Licence 1ère année et en 1ère année de classe préparatoire intégrée. Polycopié.
Cours sur la sémantique et la pragmatique du Langage Naturel en option de 3ème année de la filière informatique de l’école d’ingénieurs Sup’Galilée et en option de Master 2ème année.
(2001 - 04 et 2005 - 07) Cours, travaux dirigés et travaux pratiques de Compilation en école d’ingénieurs 3ème année. Polycopié.
(2006 - 09) Cours sur le Traitement de l’Incertain et la Causalité dans le Master Recherche « Modèles Informatiques des Connaissances et du Raisonnement ».

Principales publications

Revues internationales :

Conférences internationales :

Livres :

Autres :

Last modified: Friday 21 January 2011

Contact for this webpage: daniel.kayser at lipn.univ-paris13.fr