Résumé - Modélisation (deontique) des opérateurs modaux avec le système de programmation par ensemble d'answers prédicés orienté par objectifs s(CASP)

Modélisation (deontique) des opérateurs modaux avec le système de programmation par ensemble d'answers prédicés orienté par objectifs s(CASP)

2025-07-07 22:31:54

{"Gopal Gupta","Abhiramon Rajasekharan","Alexis R. Tudor","Elmer Salazar","Joaquín Arias"}

{cs.AI,cs.LO}

Ce document explore l'implémentation de la logique modale deontique à l'aide du programmation par ensemble de réponses (ASP). La logique modale deontique formalise le raisonnement sur des concepts normatifs tels que l'obligation, la permission et l'interdiction. Les auteurs démontrent comment les opérateurs modaux deontiques peuvent être exprimés de manière élégante en utilisant la négation par défaut (négation comme échec) et la négation forte présentes dans l'ASP. Ils proposent d'utiliser les contraintes globales de l'ASP pour représenter les obligations et les interdictions de la logique modale deontique. Cette représentation résout de manière élégante divers paradoxes de la logique modale deontique. Le document met en avant les points clés suivants : 1. **Logique modale et logique deontique** : La logique modale étend la logique classique en introduisant des opérateurs modaux tels que "il est nécessaire que" et "il est possible que". La logique modale deontique est une logique modale qui formalise le raisonnement sur des concepts normatifs tels que l'obligation, la permission et l'interdiction. 2. **Mapping à l'ASP** : Les auteurs cartographient la logique modale vers l'ASP en utilisant la négation par défaut et la négation forte. La négation appartenant à une proposition est cartographiée vers la négation forte, tandis que la négation appartenant à un opérateur modale est cartographiée vers la négation par défaut. 3. **Contraintes globales** : Les auteurs proposent d'utiliser les contraintes globales de l'ASP pour représenter les obligations et les interdictions. Cela permet une encodage direct et élégant des formules de logique deontique dans l'ASP. 4. **Résolution des paradoxes** : Les auteurs démontrent comment la représentation proposée résout de manière élégante divers paradoxes de la logique deontique, tels que le paradoxes du contraire de l'obligation et le paradoxes de Forrester. 5. **Exemple** : Les auteurs fournissent un exemple complet pour illustrer leur approche. Ils modélisent une situation où John est obligé de rendre la voiture de son ami avant midi et montrent comment les obligations et les interdictions peuvent être représentées en utilisant l'ASP. 6. **Comparaison avec des travaux connexes** : Les auteurs comparent leur approche avec des travaux existants sur la modélisation de la logique deontique à l'aide de l'ASP. Ils mettent en avant les avantages de leur approche, tels que la cartographie directe des formules de logique deontique vers le code ASP et la gestion des prédicats. En résumé, ce document présente une approche nouvelle et élégante pour l'implémentation de la logique modale deontique à l'aide de l'ASP. La représentation proposée permet une encodage direct et efficace des formules de logique deontique et résout efficacement divers paradoxes. Ce travail contribue au domaine de la représentation du savoir et du raisonnement et a des applications potentielles dans des domaines tels que le raisonnement juridique et la prise de décision éthique.