ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 26/1-2 - 2012  - pp.11-38  - doi:10.3166/ria.26.11-38
TITRE
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore

TITLE
The work of Pascal Nicolas. Automated query answering, induction and deduction for nonmonotonic reasoning... and much more

RÉSUMÉ
Cet article retrace l’ensemble des travaux de recherche de Pascal Nicolas. Professeur au LERIA, 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.


ABSTRACT
This article traces all research of Pascal Nicolas. Professor at LERIA, Pascal led the theme "Automated reasoning systems for imperfect information" (Systèmes 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.


AUTEUR(S)
Béatrice DUVAL, Laurent GARCIA, Claire LEFÈVRE, Igor STÉPHAN

MOTS-CLÉS
raisonnement non monotone, logique des défauts, programmation par ensembles réponses, ASP, formules booléennes quantifiées, QBF.

KEYWORDS
nonmonotonic reasoning, default logic, Answer Set Programming, ASP, Quantified Boolean Formulas, QBF.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (441 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier