Operadores de cambio de creencias no-priorizada en sistemas argumentativos aplicado para programación lógica rebatible

Abstract

Un sistema de cambio de creencias constituye un marco lógico para la modelización de la dinámica de conocimiento. Es decir, cómo modificamos nuestras creencias cuando recibimos nueva información. En revisión de creencias, incorporamos nueva información y descartamos cierta información existente para acomodar la recién ingresada. Sin embargo, en recientes investigaciones algunos autores argumentan que la nueva información no siempre debería tener prioridad sobre la información existente, esto llevo a que se propusieran algunos métodos de revisión de creencias en los que no se acepta necesariamente la nueva información. Por ello, es que resulta de interés estudiar las operaciones que se denominan de cambio no-priorizada. Esta línea de investigación tiene como objetivo el estudio de nuevos tipos de operadores no-priorizada potenciando su intuición de procesamiento con operadores basados en explicaciones (sistemas de argumentación). Se estudiarán los operadores de revisión en particular en donde algunos de ellos procesan la información con el apoyo de una explicación. También, se establecerá procedimientos de aplicación de estas construcciones en sistemas argumentativos que brindarán soporte a las capacidades de razonamiento de agentes que proveen información que puede ser incompleta y/o contradictoria y de esta manera mejorar los mecanismos de toma de decisión automática. En tal sentido, se espera que los resultados obtenidos brinden una nueva perspectiva para desarrollar herramientas tecnológicas que funcionen desde un enfoque multi-agente.