Resumen: La programación lógica no monotónica es la base para un paradigma de resolución de problemas declarativo conocido como Programación del conjunto de respuestas (ASP). Saliendo de la definición seminal de Gelfond y Lifschitz en 1988 para programas lógicos normales simples, se han propuesto varias semánticas establecidas de respuestas para las extensiones. Consideramos dos preguntas importantes: (1) ¿Debería la propiedad del modelo mínimo, la monotonicidad de restricción y la fundición tal como se define en la literatura ser condiciones obligatorias para una semántica establecida de respuestas en general? (2) Si no, ¿qué otras propiedades podrían considerarse como principios generales para la semántica establecida de respuestas? Abordamos las dos preguntas. Primero, parece que las tres condiciones antes mencionadas a veces pueden ser demasiado fuertes, e ilustramos con ejemplos de que hacerlas cumplir los conjuntos de respuestas esperados. En segundo lugar, evolucionamos los principios del conjunto de respuestas de Gelfond (GAS) para la construcción del conjunto de respuestas refinando el principio de racionalidad del Gelfond a la soporte de bienvenida, Minimalidad W.R.T. Negación por defecto y minimalidad W.R.T. Negación epistémica. El principio de apoyo bien garantizado garantiza que cada conjunto de respuestas se puede construir a partir de las reglas IF-entonces que obedecen un mapeo de nivel y, por lo tanto, está libre de justificación circular, mientras que los dos principios de minimalidad aseguran que el formalismo minimice el conocimiento tanto a nivel de conjuntos de respuestas como de vistas del mundo. Tercero, para encarnar los principios de gas refinado, extendemos la noción de bienvenida sustancialmente para responder conjuntos y puntos de vista mundiales, respectivamente. Cuarto, definimos la nueva semántica del conjunto de respuestas en términos de los principios de gas refinado. Quinto, utilizamos los principios de gas refinado como una línea de base alternativa para evaluar intuitivamente la semántica del conjunto de respuestas existente. Finalmente, analizamos la complejidad computacional.
Publicado Originalme en export.arxiv.org El 2 de julio de 2025.
Ver Fuente Original
