---

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.

---