Resumen: La argumentación basada en supuestos (ABA) es una forma bien establecida de argumentación estructurada. Los marcos ABA con un lenguaje atómico subyacente se estudian ampliamente, pero su aplicabilidad está limitada por una restricción representacional a argumentos fundamentados (libres de variables) y ataques construidos a partir de átomos proposicionales. En este artículo, levantamos esta restricción y proponemos una noción novedosa de ABA restringido (CABA), cuyos componentes, así como los argumentos construidos a partir de ellos, pueden incluir variables restringidas, que abarcan dominios posiblemente infinitos. Definimos la semántica no terrestre para CABA en términos de diversas nociones de ataques no terrestres. Mostramos que la nueva semántica generaliza de manera conservadora la semántica ABA estándar.
Publicado originalmente en export.arxiv.org el 15 de febrero de 2026.
Ver fuente original
