• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail

Introduction

Lang, Jérôme; Marquis, Pierre (2012), Introduction, Revue d'Intelligence Artificielle, 26, 1-2, p. 9-10

View/Open
RIA26_1-2_04_Intro.pdf (31.98Kb)
Type
Article accepté pour publication ou publié
External document link
http://ria.revuesonline.com/article.jsp?articleId=17205
Date
2012
Journal name
Revue d'Intelligence Artificielle
Volume
26
Number
1-2
Publisher
Lavoisier
Pages
9-10
Metadata
Show full item record
Author(s)
Lang, Jérôme
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Marquis, Pierre
Centre de Recherche en Informatique de Lens [CRIL]
Abstract (FR)
Pascal 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.
Subjects / Keywords
Intelligence Artificielle

Related items

Showing items related by title and author.

  • Thumbnail
    Guest Editors’ Introduction 
    Delgrande, James; Lang, Jérôme (2014-08) Article accepté pour publication ou publié
  • Thumbnail
    Editorial introduction to the special issue LORI Guangzhou 
    van Ditmarsch, Hans; Lang, Jérôme (2013) Article accepté pour publication ou publié
  • Thumbnail
    Guest Editors’ Introduction 
    Delgrande, James; Lang, Jérôme (2015) Article accepté pour publication ou publié
  • Thumbnail
    Introduction to Computational Social Choice 
    Brandt, Felix; Conitzer, Vincent; Endriss, Ulle; Lang, Jérôme; Procaccia, Ariel D. (2016) Chapitre d'ouvrage
  • Thumbnail
    A Short Introduction to Computational Social Choice 
    Chevaleyre, Yann; Endriss, Ulle; Lang, Jérôme; Maudet, Nicolas (2007) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo