Title :
An Argumentation Framework for Reasoning about Bounded Resources
Author :
Besnard, P. ; Gregoire, Eric ; Raddaoui, Badran
Author_Institution :
IRIT, Univ. de Toulouse, Toulouse, France
Abstract :
This paper is intended to lay down the basic foundations of logic-based argumentation for reasoning about bounded resources. First, a simple variant of Boolean logic is introduced, allowing us to reason about consuming resources. An adapted tableau method is presented as a means for automated reasoning in the logic. Then, the main concepts of logic-based argumentation are revisited in this framework.
Keywords :
Boolean functions; inference mechanisms; Boolean logic; adapted tableau method; argumentation framework; bounded resources reasoning; logic-based argumentation; Artificial intelligence; Cognition; Communities; Conferences; Labeling; Semantics; Standards; argumentation; resource-bounded logic;
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on
Conference_Location :
Athens
Print_ISBN :
978-1-4799-0227-9
DOI :
10.1109/ICTAI.2012.79
