Resumen: Investigamos la complejidad de los problemas computacionales relacionados con los marcos de argumentos infinitos pero finos, es decir, AF infinita donde cada argumento es atacado por solo muchos otros. Nuestros resultados revelan un escenario sorprendente. Por un lado, vemos que la suposición de ser finitario no garantiza automáticamente una caída en la complejidad. Sin embargo, para la semántica basada en la admisibilidad, encontramos una notable restricción combinatoria que implica una disminución dramática en la complejidad.
Concluimos que para muchas formas de razonamiento, las AF infinitas finitarias proporcionan un entorno natural para el razonamiento que equilibra bien los objetivos competitivos de ser lo suficientemente expresivos como para aplicar a muchas configuraciones de razonamiento mientras es lo suficientemente manejable para ser útil para el análisis dentro del marco.
Publicado Originalme en export.arxiv.org El 25 de agosto de 2025.
Ver Fuente Original
