Argumentaci´ on Temporal utilizando ℓ-DeLP M. C. D. Bud´ an 1,2,3 M. J. G´omez Lucero 1,2 A. J. Garc´ ıa 1,2 G. R. Simari 2 1 Consejo Nacional de Investigaciones Cient´ ıficas y T´ ecnicas (CONICET) 2 Laboratorio de Investigaci´on y Desarrollo de Inteligencia Artificial (LIDIA), Dep. de Ciencias e Ingenier´ ıa de la Computaci´on, Universidad Nacional del Sur, Bah´ ıa Blanca, CP 8000, Argentina 3 Dep. de Inform´ atica, Universidad Nacional de Santiago del Estero, Santiago del Estero, CP 4200, Argentina {mcdb, mjg, ajg, grs}@cs.uns.edu.ar Resumen En este trabajo se presenta una forma de argumentaci´on en la que se considera la validez temporal de los argumentos involucrados. La herramienta utilizada es una extensi´on existente de Defeasible Logic Programming denominada Labeled-DeLP. Esta extensi´ on permite con- siderar intervalos de tiempo en los que las cl´ ausulas que componen un determinado argumento est´an “activas”, permitiendo describir por ex- tensi´ on la vigencia temporal de estas cl´ausulas. Asi se determinan los intervalos de tiempo en los que el argumento esta activo. Al efectuar una consulta, el sistema deber´a tener en cuenta el intervalo de tiempo para el que se est´a efectuando la misma, analizando cuales son los argumentos que est´ an activos en dicho intervalo. Palabras Clave: Argumentaci´on Temporal, Argumentaci´on Abstracta, Razonamien- to Rebatible. 1. Introducci´ on Argumentar es un proceso que consiste en defender una afirmaci´on dando razones para su aceptaci´on; tanto la afirmaci´on original como el soporte ofrecido para ella est´an abiertos a la duda manifestada por afirmaciones contrapuestas. Es usual denominar argumento a la estructura compuesta por una afirmaci´on o conclusi´ on, junto con el soporte ofrecido o premisas y la descripci´on de la for- ma en como las premisas soportan a la afirmaci´on. Este ´ ultimo componente se denomina com´ unmente inferencia. El proceso de argumentaci´on puede presen- tarse como un juego entre dos participantes: un proponente cuyo rol es apoyar al argumento original y un oponente cuya actividad tiende a interponerse con el argumento original . Los argumentos del proponente se denominan argumentos pro y los del oponente se denominan op. Un argumento ofrecido para socabar otro argumento se denomina contraargumentos. As´ ı, el proceso comienza con la introducci´on de un argumento pro por parte del proponente, luego el oponente ofrece sus contraargumentos. En este momento el proponente se transforma en oponente de su contrincante y ofrece contraargumentos para los contraargumen- tos introducidos. El proceso contin´ ua de esta manera hasta agotarse. CACIC 2011 - XVII CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACIÓN 51