Abstract
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.
| Translated title of the contribution | Un système argumentatif pour le raisonnement sur des ressources limitées |
|---|---|
| Original language | English |
| Pages (from-to) | 349-368 |
| Number of pages | 20 |
| Journal | Revue d'Intelligence Artificielle |
| Volume | 29 |
| Issue number | 3-4 |
| DOIs | |
| Publication status | Published - 1 Jan 2015 |
| Externally published | Yes |