On cumulativity in the context of defeasible argumentation

• Autores: Stankevicius, Alejandro G.; Capobianco, Marcela
• Año de publicación: 2008
• Idioma: inglés
• Tipo de recurso: documento de conferencia
• Materia: Ciencias Informáticas; Frameworks; Nonmonotonic reasoning and belief revision; defeasible reasoning
• Institución: Universidad Nacional de La Plata

Las lógicas que permiten razonar de manera no-monótona suelen ser caracterizadas por la propiedad que carecen - casualmente, la monotonía - en vez de serlo por aquellas que sí gozan. Gabbay, Makinson y Kraus propusieron un conjunto de propiedades básicas de las relaciones de inferencia que toda teoría no-monótona debería satisfacer. No obstante, existen varios formalismos aparentemente razonables que no satisfacen algunos de estos principios, por caso la mayoría de los formalismos de argumentación rebatible. En este artículo determinamos el estado de estas propiedades básicas en el marco de dos populares sistemas argumentativos
Logics for nonmonotonic reasoning have often been described by the property they lack—that is, monotonicity—instead of by those they do enjoy. Gabbay, Makinson and Kraus proposed a set of core properties for inference relations that every nonmonotonic theory ought to have. Yet, there are some apparently well-behaved formalisms that fail to comply with some of these principles, such as most defeasible argumentation formalisms. In this article we determine the status of these core properties in the context of two well-known argumentation frameworks.
Workshop de Agentes y Sistemas Inteligentes (WASI)
Red de Universidades con Carreras en Informática (RedUNCI)