DocumentCode
1904707
Title
An Argumentation Framework for Reasoning about Bounded Resources
Author
Besnard, P. ; Gregoire, Eric ; Raddaoui, Badran
Author_Institution
IRIT, Univ. de Toulouse, Toulouse, France
Volume
1
fYear
2012
fDate
7-9 Nov. 2012
Firstpage
540
Lastpage
547
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on
Conference_Location
Athens
ISSN
1082-3409
Print_ISBN
978-1-4799-0227-9
Type
conf
DOI
10.1109/ICTAI.2012.79
Filename
6495091
Link To Document