RESUMEN
La Argumentación es una forma de realizar "Razonamiento Revisable". El
sistema lógico que se utiliza, con sus diferentes variantes, ha sido
descripto en diversos trabajos y tesis de posgrado de miembros del
grupo recientemente publicados. Su estructura teórica ha evolucionado
con los trabajos correspondientes a proyectos completados en los
últimos años. Este proyecto continuará extendiendo y perfeccionando
dicha estructura, explorando área conexas:Semántica de la Negación,
Revisión de Creencias, Sistemas de Razonamiento Temporales. Además se
desarrollara una formalización de los Sistemas Argumentativos
basandose en Sistemas Lógicos Etiquetados y se completará la evolución
de la Máquina Abstracta paralela para programas Lógico Rebatibles.