Esta página recopila y organiza artículos sobre inteligencia artificial publicados en todo el mundo. La información aquí presentada se resume utilizando Google Gemini y el sitio se gestiona sin fines de lucro. Los derechos de autor de los artículos pertenecen a sus autores y a las instituciones correspondientes; al compartir el contenido, basta con citar la fuente.
Modelado de la lógica modal deóntica en el sistema de programación de predicados y respuestas dirigido a objetivos s(CASP)
Created by
Haebom
Autor
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaqu in Arias
Describir
Este artículo aborda el problema de la implementación de la lógica modal deóntica. Presentamos una forma elegante de expresar operadores modales (deónticos) mediante la negación como fallo y la negación fuerte de la Programación por Conjuntos de Respuestas (PAS). Expresamos las obligaciones y prohibiciones de la lógica modal deóntica mediante restricciones globales de la PAS y demostramos que la representación propuesta resuelve con elegancia diversas paradojas de la lógica modal deóntica.
Takeaways, Limitations
•
Takeaways: Sugerir un método para implementar la lógica modal obligatoria utilizando ASP, sugerir una posibilidad de resolver la paradoja de la lógica modal obligatoria existente y sugerir un método de expresión eficiente utilizando restricciones globales.
•
Limitations: Necesidad de conocimiento previo de ASP, falta de aplicaciones prácticas y evaluación del desempeño del método propuesto, falta de análisis comparativo con otros sistemas de lógica modal.
