Sistemas de argumentación rebatible y lógica polivalente

Abstract

Este trabajo tiene un doble propósito: primero, mostrar que la argumentación rebatible puede brindar una semántica clara para algunas lógicas polivalentes, como las que consideran algún valor intermedio no clasificable como distinguido (emparentado con la verdad) ni como antidistinguido ("emparentado" con la falsedad); Y segundo, mostrar cómo puede operarse lógicamente con el conocimiento tentativo producido (justificado) por un sistema argumentativo. El primer propósito es de importancia lógica. El segundo es de importancia para la Inteligencia Artificial -el campo en el que se han desarrollado los sistemas argumentativos-, ya que el sistema que se presenta sugiere implementaciones computacionales que mejorarían la eficiencia de los programas basados en argumentación rebatible.