ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 29/3-4 - 2015  - pp.349-368  - doi:10.3166/ria.29.349-368
TITRE
Un système argumentatif pour le raisonnement sur des ressources limitées

TITLE
An argumentation framework for reasoning about bounded resources

RÉSUMÉ
Dans cet article, nous proposons quelques bases pour l’argumentation déductive 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é borné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.


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.


AUTEUR(S)
Philippe BESNARD, Éric GRÉGOIRE, Badran RADDAOUI

MOTS-CLÉS
théorie de l’argumentation, ressources limitées, raisonnement automatique.

KEYWORDS
argumentation theory, bounded resources, automated reasoning.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (219 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier