An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks (AF). Recent research in the area has led to Temporal Argumentation Frameworks (TAF), that extend AF by considering the temporal availability of arguments. On the other hand, different more concrete argumentation systems exists, such as Defeasible Logic Programming (DeLP), specifying a knowledge representation language, and how arguments are built. In this work we combine time representation capabilities of TAF with the representation language and argument structure of DeLP, defining a rule-based argumentation framework that considers time at the object language level. In order to do this, we use an extension of DeLP, called Labeled DeLP (l-DeLP) to establish, for each program clause, the set of time intervals in which it is available, and to determine from this information the temporal availability of arguments. Acceptability semantics for TAF can then be applied to determine argument acceptability on timeFacultad de Informátic

Alterando el estado de garantía mediante la incorporación de información

Motivated by its applicability on deliberative inteligent agents, this work introduces the problem of finding what facts should be incorporated to a DeLP program in order to change the state of warrant of a particular literal. To achieve a deeper understanding of this problem, we analize how the incorporation of a specific set of facts affects the warrant of a particular literal. Finally, we introduce a formula that formally expresses how a topological change in a dialectical tree affects the status of the argument on its root.Red de Universidades con Carreras en Informática (RedUNCI

Alterando el estado de garantía mediante la incorporación de información

Motivated by its applicability on deliberative inteligent agents, this work introduces the problem of finding what facts should be incorporated to a DeLP program in order to change the state of warrant of a particular literal. To achieve a deeper understanding of this problem, we analize how the incorporation of a specific set of facts affects the warrant of a particular literal. Finally, we introduce a formula that formally expresses how a topological change in a dialectical tree affects the status of the argument on its root.Red de Universidades con Carreras en Informática (RedUNCI

Hacia un framework de argumentación con Accrual de argumentos

Dentro de la Inteligencia Artificial surgieron a lo largo del tiempo varios formalismos para modelar el razonamiento de sentido común, muchos de ellos basados en Argumentación. La Programación en Lógica Rebatible es uno de ellos, combinando resultados de la Programación en Lógica y la Argumentaci´on Rebatible. No obstante, aunque la acumulación (accrual) de argumentos soportando una misma conclusión es un componente natural de un proceso argumentativo, la mayoría de los formalismos argumentativos existentes no lo modelan. Este artículo presenta la propuesta de un framework para Argumentación al estilo de la Programación en Lógica Rebatible que modela la noción de acumulación de argumentos.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Hacia un framework de argumentación con Accrual de argumentos

Dentro de la Inteligencia Artificial surgieron a lo largo del tiempo varios formalismos para modelar el razonamiento de sentido común, muchos de ellos basados en Argumentación. La Programación en Lógica Rebatible es uno de ellos, combinando resultados de la Programación en Lógica y la Argumentaci´on Rebatible. No obstante, aunque la acumulación (accrual) de argumentos soportando una misma conclusión es un componente natural de un proceso argumentativo, la mayoría de los formalismos argumentativos existentes no lo modelan. Este artículo presenta la propuesta de un framework para Argumentación al estilo de la Programación en Lógica Rebatible que modela la noción de acumulación de argumentos.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Hacia un framework de argumentación con Accrual de argumentos

Dentro de la Inteligencia Artificial surgieron a lo largo del tiempo varios formalismos para modelar el razonamiento de sentido común, muchos de ellos basados en Argumentación. La Programación en Lógica Rebatible es uno de ellos, combinando resultados de la Programación en Lógica y la Argumentaci´on Rebatible. No obstante, aunque la acumulación (accrual) de argumentos soportando una misma conclusión es un componente natural de un proceso argumentativo, la mayoría de los formalismos argumentativos existentes no lo modelan. Este artículo presenta la propuesta de un framework para Argumentación al estilo de la Programación en Lógica Rebatible que modela la noción de acumulación de argumentos.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Extensión de la argumentación rebatible para considerar etiquetas

Esta línea de investigación explora la incorporación del manejo de meta-información a la Programación en Lógica Rebatible (DeLP) a través de etiquetas. El propósito principal de esta incorporación es brindar la posibilidad de definir un criterio de comparación apropiado para el dominio de aplicación específico. Mediante este artículo se introduce l-DeLP, una extensión a DeLP que incorpora el manejo de meta-información a través de etiquetas y permite basar en ella el criterio de comparación por mejor. Además se presenta un ejemplo de aplicación mediante el cual se ilustran sus ventajas sobre DeLP.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

A first approach to abductive defeasible logic programming: formalization and properties

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing abduction (obtaining abductive explanations) in the particular case that the abductive theory is a DeLP Program. In the reminder of this work we face that problem, providing a formal characterization of the notion of abductive explanation, in such a way that we could then easily calculate the explanations from this formal characterization. An important advantage of this approach is that by proving the correctness of the characterization, we ensure the correctness of the method for obtaining explanations.Red de Universidades con Carreras en Informática (RedUNCI

An approach for an algebra applied to a defeasible logic programming

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, au- tonomous agents and multi-agent systems. In this work we present an approach applied to any concrete argumenta- tion systems, called Argumentative Labels Algebra (ALA), in which propagate certain information through the internal structure of the argument and the existing relations between these. This information can be used for di erent proposed: (1) determine which argument defeat another, analyzing a feature that is relevant to the domain (eg. time availability, degree of reliability, particular characteristics, among others) and (2) de ne a acceptability threshold which will determine if the arguments are strong enough to be accepted. For this way, we obtain an approach that strengthens the argumenta- tions systems, increase the ability of real-world representation modeling di erent attributes associated to the arguments.Eje: Workshop Agentes y sistemas inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI

Un enfoque para el debilitamiento y fortalecimiento entre argumentos

El objetivo general de esta línea de investigación es estudiar el fortalecimiento y debilitamiento de los argumentos en el contexto de los sistemas argumentativos (AS), añadiendo un meta-nivel de información a los argumentos en la forma de etiquetas extendiendo así las capacidades de representación de la estructura. Las etiquetas serán utilizadas para introducir la representación de incertidumbre, fiabilidad, disponibilidad de tiempo, o cualquier otra característica de importancia para los argumentos. Uno de los objetivos particulares es la formalización y definición de un marco argumentativo, para representar las características especiales de los argumentos, el fortalecimiento y debilitamiento entre los mismos, y utilizar la información que contienen las etiquetas en el proceso para obtener el conjunto de argumentos aceptados.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI