Un sistema multilenguaje para argumentación rebatible

Abstract

Los sistemas multilenguajes (sistemas ML) constituyen una noción alternativa de sistema formal que permite el uso de lenguajes diferentes, cada uno de ellos asociado con su propia teoría. Por otra parte, es posible definir reglas de inferencia cuyas premisas y consecuencia no pertenezcan al mismo lenguaje, permitiéndose así propagar resultados a través de teorías. La argumentación rebatible es una variante del razonamiento rebatible para modelar el razonamiento de sentido común. Recientemente la teoría de la argumentación rebatible se ha enriquecido con distintas consideraciones dialéctica, que han redundado en ontologías altetnativas para modelar el proceso de razonamiento mediante argumentos. Este trabajo presenta un sistema multienguaje para argumentación rebatible, modelándose los roles de distintos elementos intervinientes en un sistema argumentativo utilizando distintos lenguajes.