Les travaux de Pascal Nicolas

摘要

Cet article retrace l'ensemble des travaux de recherche de Pascal Nicolas. Professeur au LER1A, Pascal animait le thème « Systèmes de raisonnement automatique pour informations imparfaites ». Il était notamment un spécialiste reconnu du raisonnement non monotone et de l'ASP. Pascal a exploré les formalismes logiques qui permettent la représentation de connaissances incomplètes, mais aussi incertaines ou évolutives, et la caractérisation de différents types de raisonnements dans ces formalismes. Fidèle à une démarche scientifique qu 'il a respectée tout au long de sa carrière, Pascal abordait chacun des problèmes qu 'il a étudiés dans une approche globale allant de la définition des systèmes formels jusqu à leur mise en œuvre opérationnelle.%This article traces all research of Pascal Nicolas. Professor at LER1A, Pascal led the theme "Automated reasoning systems for imperfect information" (Systemes de Raisonnement Automatique pour Informations Imparfaites). He was in particular a recognized expert of nonmonotonic reasoning and of ASP. Pascal had explored logical formalisms which allow representation of incomplete knowledge, but also uncertain or nonmonotonic, and the characterization of different types of reasoning with these formalisms. Constant to a scientific approach that he has respected throughout his career, Pascal tackled each of the problems he studied in a global approach ranging from the definition of formal systems to computer implementation.