TY - GEN
T1 - An argumentation framework for reasoning about bounded resources
AU - Besnard, Philippe
AU - Gregoire, Eric
AU - Raddaoui, Badran
PY - 2012/12/1
Y1 - 2012/12/1
N2 - 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.
AB - 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.
KW - argumentation
KW - resource-bounded logic
UR - https://www.scopus.com/pages/publications/84876886786
U2 - 10.1109/ICTAI.2012.79
DO - 10.1109/ICTAI.2012.79
M3 - Conference contribution
AN - SCOPUS:84876886786
SN - 9780769549156
T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
SP - 540
EP - 547
BT - Proceedings - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
T2 - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
Y2 - 7 November 2012 through 9 November 2012
ER -