Resumen: Definimos varios problemas canónicos relacionados con las explicaciones contrastantes, cada una respondiendo una pregunta de la forma ” ¿Por qué P pero no Q? ”. Los problemas calculan causas de P y Q, comparando explícitamente sus diferencias. Investigamos las propiedades básicas de nuestras definiciones en el contexto de la lógica proposicional. Mostramos, entre otras cosas, que nuestro marco captura una versión mínima de cardinalidad de las explicaciones contrastantes existentes en la literatura. Además, proporcionamos un análisis extenso de las complejidades computacionales de los problemas. También implementamos los problemas para las formas CNF utilizando la programación del conjunto de respuestas y presentamos varios ejemplos que demuestran cómo funcionan en la práctica.
Publicado Originalme en export.arxiv.org El 13 de julio de 2025.
Ver Fuente Original
