Un système argumentatif pour le raisonnement sur des ressources limitées

摘要

Dans cet article, nous proposons quelques bases pour l'argumentation deductive pour le raisonnement sur des ressources consommables et limitées. Nous nous appuyons sur une nouvelle logique, simple et proche du langage et des principes de la logique booléenne, permettant le raisonnement à partir de ressources consommables en quantité bomée. Une méthode des tableaux sémantiques pour cette logique est fournie. Enfin, pour prendre en compte la rareté des ressources consommables en argumentation, nous développons une approche pour le traitement du raisonnement argumentatif à partir des ressources consommables en quantité bornée.%This paper is intended to lay down the basics of logic-based argumentation involving bounded resources. First, a simple variant of Boolean logic is introduced, allowing us to reason about consuming resources. An adapted tableau method for the logic is provided. Then, the main concepts of logic-based argumentation are revisited in this framework.