Acceso usuarios
Damian Olivarez Stagnaro, Gustavo Adrián Bodanza
En este artículo abordamos un problema que atañe al núcleo teórico delos enfoques de lógica no monótona (LNM): la ausencia de una definición formaldeno monotoníay la falta de profundización en el análisis crítico de la propiedaddemonotoníaen lógica estándar. Desde una perspectiva metalógica y filosófica,proponemos una caracterización formal deno monotonía como ausencia de garan-tía de conservación de consecuencias, expresada mediante operadores modales, queevita los problemas de la negación directa de monotonía. La introducción dese-mimonotoníacomo nueva propiedad para sistemas de LNM, propiedad fundada enfiltros algebraicos, permite capturar el fenómeno de estabilidad de agentes racionalespragmáticos que preservan conocimiento en la mayoría de las ampliaciones de susbases de conocimiento
In this article we address a problem that concerns the theoretical core of approaches to non-monotonic logic (NML): the absence of a formal definition of non-monotonicity and the lack of in-depth critical analysis of the property of monotonicity in standard logic. From a metalogical and philosophical perspective, we propose a formal characterization of non-monotonicity as the absence of a guarantee of consequence preservation, expressed by means of modal operators. This characterization avoids the difficulties associated with the direct negation of monotonicity. The introduction of semi-monotonicity as a new property for NML systems—grounded in algebraic filters—makes it possible to capture the phenomenon of stability exhibited by pragmatic rational agents, who preserve knowledge across most extensions of their knowledge bases.
