Show simple item record

Introduction

hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorLang, Jérôme
hal.structure.identifierCentre de Recherche en Informatique de Lens [CRIL]
dc.contributor.authorMarquis, Pierre
dc.date.accessioned2017-03-20T15:43:45Z
dc.date.available2017-03-20T15:43:45Z
dc.date.issued2012
dc.identifier.issn0992-499X
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/16414
dc.description.abstractfrPascal Nicolas, professeur à l’Université d’Angers, nous a quitté le 29 décembre 2010 et a laissé un grand vide dans la communauté des chercheurs en intelligence artificielle. En son hommage, ce numéro spécial de la Revue d’intelligence artificielle rassemble sept contributions qui touchent à ses thèmes de prédilection : le raisonnement non monotone, les formules booléennes quantifiées (QBF) et la programmation par ensembles réponses (ASP). Le raisonnement non monotone en intelligence artificielle est un thème qui a fait couler beaucoup d’encre. Les premières investigations sur le sujet datent des débuts de la discipline. Il s’agissait alors de modéliser l’inférence à partir d’informations typiques (le héros récurrent s’appelait Titi et était un manchot ou une autruche) mais aussi de « résoudre » le fameux problème du décor. De nombreux formalismes (la logique des défauts, la circonscription, la logique autoépistémique, la programmation logique avec négation par échec, entre autres) ont alors été proposés et étudiés. Les années 1990 ont marqué un tournant important, avec l’émergence de caractérisations axiomatiques pour le raisonnement non monotone, ses liens avec la révision de croyances et l’identification de la complexité calculatoire de diverses formes de raisonnement non monotone. La compréhension du sujet avait alors atteint un stade suffisant pour que les efforts s’orientent vers les aspects plus algorithmiques du problème, et en particulier, la conception et l’évaluation de démonstrateurs, le but visé étant la mise en oeuvre pratique du raisonnement non monotone. Les travaux sur la complexité ont montré qu’il existe des traductions assez naturelles de divers problèmes d’inférence non monotone vers celui de la validité de formules booléennes quantifiées. Ce formalisme constitue ainsi un cadre unificateur intéressant. Par ailleurs, les progrès réalisés en programmation par ensembles réponses (incorporant tout l’héritage de la programmation logique) ces dernières années ont été si importants que l’application du raisonnement non monotone à des applications réelles de taille raisonnable peut être envisagée. Le premier article de ce numéro est un panorama structuré des contributions de Pascal Nicolas sur les différentes facettes du raisonnement non monotone. Il est naturellement écrit par ceux qui le connaissaient le mieux dans la communauté scientifique française, à savoir ses collègues et co-auteurs angevins : Béatrice Duval, Laurent Garcia, Claire Lefèvre et Igor Stéphan. Les articles suivants présentent des développements récents sur le raisonnement non monotone (sous ses différentes formes), les formules booléennes quantifiées, la programmation par ensembles réponses et les nombreux liens qui les unissent. Quatre articles se situent plutôt dans la thématique de l’inférence non monotone et de la programmation par ensembles réponses, et les deux autres dans celle des formules booléennes quantifiées.en
dc.language.isofren
dc.subjectIntelligence Artificielleen
dc.subject.ddc006.3en
dc.titleIntroductionen
dc.typeArticle accepté pour publication ou publié
dc.relation.isversionofjnlnameRevue d'Intelligence Artificielle
dc.relation.isversionofjnlvol26en
dc.relation.isversionofjnlissue1-2en
dc.relation.isversionofjnldate2012
dc.relation.isversionofjnlpages9-10en
dc.identifier.urlsitehttp://ria.revuesonline.com/article.jsp?articleId=17205en
dc.relation.isversionofjnlpublisherLavoisieren
dc.subject.ddclabelIntelligence artificielleen
dc.relation.forthcomingnonen
dc.relation.forthcomingprintnonen
dc.description.ssrncandidatenonen
dc.description.halcandidateouien
dc.description.readershiprechercheen
dc.description.audienceNationalen
dc.relation.Isversionofjnlpeerreviewedouien
dc.relation.Isversionofjnlpeerreviewedouien
dc.date.updated2017-03-20T15:36:32Z
hal.identifierhal-01492951*
hal.version1*
hal.update.actionupdateFiles*
hal.author.functionaut
hal.author.functionaut


Files in this item

Thumbnail
Name:
RIA26_1-2_04_Intro.pdf
Size:
31.98Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record