Cette page résume et organise les publications en intelligence artificielle du monde entier. Les contenus sont synthétisés grâce à Google Gemini et le service est proposé à but non lucratif. Les droits d'auteur des articles appartiennent à leurs auteurs ou institutions respectives ; en cas de partage, il suffit d'en mentionner la source.
Modélisation de la logique modale déontique dans le système de programmation par ensemble de prédicats et de réponses orienté vers les objectifs s(CASP)
작성자
Haebom
Auteur
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaqu dans Arias
Contour
Cet article aborde le problème de la mise en œuvre de la logique modale déontique. Nous présentons une manière élégante de représenter les opérateurs en logique déontique en utilisant les fonctionnalités de négation par échec et de négation forte de la programmation par ensemble de réponses (ASP). Nous utilisons les contraintes globales d'ASP pour exprimer les obligations et les interdictions en logique déontique, et démontrons que la représentation proposée résout avec élégance divers paradoxes de la logique déontique.
Takeaways, Limitations
•
Takeaways: Présente une nouvelle méthode pour implémenter la logique obligatoire à l'aide d'ASP, fournit une nouvelle perspective sur la résolution du paradoxe de la logique obligatoire et présente une méthode d'expression efficace utilisant des contraintes globales.
•
Limitations: Une connaissance préalable de l'ASP est requise, des recherches supplémentaires sont nécessaires sur l'applicabilité et l'évolutivité de la méthode proposée aux systèmes de logique d'obligation générale, et une analyse comparative avec d'autres méthodes de mise en œuvre de la logique d'obligation fait défaut.
