Resumen: En este artículo presentamos un marco de programación de conjunto de respuestas condicional (ASP condicional) para la definición de extensiones condicionales de la programación del conjunto de respuestas (ASP). El enfoque se basa en una lógica condicional con típica y en la combinación de una base de conocimiento condicional con un programa ASP, y permite un razonamiento condicional sobre los conjuntos de respuestas del programa. El formalismo se basa en una semántica multipreferencial (y en la semántica preferencial de KLM, como un caso especial) para proporcionar una interpretación de los condicionales.
Publicado Originalme en rss.arxiv.org El 4 de junio de 2025.
Ver Fuente Original
