Precompiled knowledge support for dynamic argumentation

Abstract

Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory informa- tion. All such formalisms are computationally demanding. Hence, optimizing argumen- tative systems has been approached from di erent views. We have developed a new proposal to solve the aforementioned problem. The key to our approach consists in maintaining a module associated with the knowledge base of the system, with additional information that may help to speed up the inference process. As truth maintenance systems optimize general problem solvers, this module could play a similar role in argumentative systems.