Resumen: Consideramos el problema de implementar la lógica modal deotica. Mostramos cómo los operadores modales (DeOdic) pueden expresarse elegantemente utilizando la negación predeterminada (negación como failure) y una fuerte negación presente en la programación del conjunto de respuestas (ASP). Proponemos el uso de restricciones globales de ASP para representar obligaciones e inadmisibilidades de lógica modal deoípica. Mostramos que nuestra representación propuesta da como resultado que las diversas paradojas de la lógica modal deóntica se resuelvan elegantemente.
Publicado Originalme en export.arxiv.org El 8 de julio de 2025.
Ver Fuente Original
