Resumen: ASPIC+ es uno de los principales marcos generales para la argumentación basada en reglas para la IA. Aunque las reglas de primer orden se usan comúnmente en ASPIC+ Ejemplos, la mayoría de los enfoques existentes para razonar sobre la argumentación basada en reglas solo apoyan las reglas proposicionales. Para habilitar el razonamiento en instancias de primer orden, se requiere un paso de conexión a tierra preliminar. Como las fundaciones pueden conducir a un aumento exponencial en el tamaño de las teorías de entrada, se necesitan procedimientos inteligentes. Sin embargo, hay una falta de soluciones dedicadas para ASPIC+. Por lo tanto, proponemos un procedimiento de conexión a tierra inteligente que mantiene el tamaño de la base manejable mientras preserva la corrección del proceso de razonamiento. Con este fin, traducimos la instancia ASPIC+ de primer orden en un programa de datos y consultamos un motor de datos para obtener sustituciones de tierra para realizar la base de reglas y contrarios. Además, proponemos simplificaciones específicas para el ASPIC+ formalismo para evitar fundamentos de reglas que no tienen influencia en el proceso de razonamiento. Finalmente, realizamos una evaluación empírica de una implementación prototípica para mostrar escalabilidad.
Publicado Originalme en export.arxiv.org El 17 de agosto de 2025.
Ver Fuente Original
