Ce livre se situe dans le domaine des modeles de l'argumentation en intelligence artificielle. Ces modeles constituent des outils tres populaires pour l'etude de raisonnements en presence d'incoherences et lors de la negociation entre agents et la prise de decision. Un modele argumentatif est un processus interactionnel principalement base sur la construction d'arguments et de contre-arguments, l'etude des relations entre ces differents arguments et la mise en place de criteres de selection des arguments acceptables. Dans ce cadre, nous avons traite plusieurs questions. Tout d'abord, partant du constat que le raisonnement par l'absurde est valide en logique propositionnelle classique, nous proposons une technique complete de generation d'arguments et de contre-arguments. Ensuite, nous proposons des variantes de l'argumentation deductive, ou des logiques non classiques jouent le role que joue la logique propositionnelle en argumentation classique. Enfin, nous proposons une autre generalisation de l'argumentation classique, cette fois, a une logique qui elle-meme est nouvelle, dite logique consommatrice."