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)
작성자
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 representar operadores en lógica deóntica utilizando las características de negación como fallo y negación fuerte de la Programación por Conjuntos de Respuestas (PAS). Utilizamos las restricciones globales de la PAS para expresar obligaciones y prohibiciones en lógica deóntica y demostramos que la representación propuesta resuelve con elegancia diversas paradojas de la lógica deóntica.
Takeaways, Limitations
•
Takeaways: Presenta un nuevo método para implementar la lógica obligatoria utilizando ASP, proporciona una nueva perspectiva para resolver la paradoja de la lógica obligatoria y presenta un método de expresión eficiente utilizando restricciones globales.
•
Limitations: Se requieren conocimientos previos de ASP, se necesita más investigación sobre la aplicabilidad y escalabilidad del método propuesto a los sistemas de lógica de obligación general, y falta un análisis comparativo con otros métodos de implementación de lógica de obligación.
