Théories logiques de l'argumentation en intelligence artificielle

Ce livre se situe dans le domaine des modèles de l'argumentation en intelligence artificielle. Ces modèles constituent des outils très populaires pour l'étude de raisonnements en présence d'incohérences et lors de la négociation entre agents et la prise de décision. Un modèle argumentatif est un processus interactionnel principalement basé sur la construction d'arguments et de contre-arguments, l'étude des relations entre ces différents arguments et la mise en place de critères de sélection des arguments acceptables.
Dans ce cadre, nous avons traité plusieurs questions. Tout d'abord, partant du constat que le raisonnement par l'absurde est valide en logique propositionnelle classique, nous proposons une technique complète de génération d'arguments et de contre-arguments. Ensuite, nous proposons des variantes de l'argumentation déductive, ou des logiques non classiques jouent le rôle que joue la logique propositionnelle en argumentation classique.
Enfin, nous proposons une autre généralisation de l'argumentation classique, cette fois, a une logique qui elle-même est nouvelle, dite logique consommatrice.