A defeasible logic programming with extra meta-level information through labels

Abstract

Several argument-based formalisms have emerged with application in many areas, such as legal reasoning, intelligent web search, recommender systems, autonomous agents and multi-agent systems. In decision support systems, autonomous agents need to perform epistemic and practical reasoning; the first requiring reasoning about what to believe, and the latter, involving reasoning about what to do reaching decisions and, often, attaching more information to the pieces of knowledge involved. We will introduce an approach in the framework of DeLP called Argumentative Label Algebra (ALA), incorporating labels as a medium to convey meta-level information; through these labels it will represent different features of interest in the reasoning process, such as strength and weight measures, time availability, degree of reliability, etc. The labels associated with arguments will thus be combined and propagated according to argument interactions. This information can be used for different purposes: to carry information for a specific purpose, to determine which argument defeats another, analyzing a feature that is relevant to the domain, and to define an acceptability threshold which will determine if the arguments are strong enough to be accepted. The aim of this work is to improve the ability of representing real-world scenarios in argumentative systems by modeling different arguments attributes through labels.

Varios formalismos basados en argumentos han emergido, con aplicaciones en muchas áreas, tales como el razonamiento legal, la búsqueda inteligente en la web, sistemas de recomendación, agentes autónomos y sistemas multi-agente. En los sistemas de soporte a la decisión, los agentes autónomos necesitan realizar razonamiento epistémico y práctico, el primero requiere razonamiento sobre qué creer, y el ´ultimo involucra razonamiento acerca de qué hacer, frecuentemente, agregando más información a las piezas de conocimiento involucradas. Introduciremos una aproximación en el marco de DeLP denominada Álgebra de Etiqueta para Argumentos (AEA), incorporando etiquetas como un medio para transmitir información de meta-nivel. A través de estas etiquetas se puede representar diferentes rasgos de interés en el proceso de razonamiento, tales como las medidas de peso y fuerza, disponibilidad de tiempo, grados de confiabilidad, etc. Las etiquetas asociadas con los argumentos podrán así ser combinadas y propagadas de acuerdo a las interacciones de los argumentos. Esta información puede ser usada para diferentes propósitos: llevar información para un objetivo específico, determinar cuáles argumentos derrotan a otros, analizar un rasgo que es relevante a un dominio, y definir un umbral de aceptabilidad que determinar´a si un argumento es lo suficientemente fuerte como para ser aceptado. El objetivo de este trabajo es mejorar la habilidad de representar escenarios del mundo real en sistemas argumentativos al modelar diferentes atributos de los argumentos a través de las etiquetas.