Precompiled knowledge support for dynamic argumentation

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 eren...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Capobianco, Marcela, Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2002
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23111
Aporte de:
Descripción
Sumario: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.