Normes et logique déontique

La logique déontique (du grec deon : devoir, ce qu'il faut, ce qu'il convient) a pour objectif de formaliser les rapports qui existent entre les concepts d'obligation, d'interdiction, de permission et d'optionnel. La logique déontique est à l'origine des systèmes normatifs, qui permettent de modéliser les obligations, les violations et les sanctions dans une organisation. Dans ce chapitre, la logique déontique standard est d'abord préesntée et ses limites sont analysées. Ce chapitre propose ensuite une synthèse de différents problèmes traités dans les systèmes normatifs, notamment la formalisation des obligations conditionnelles, de gestion des exceptions et des violations ainsi que la prise en compte des obligations avec délais et des obligations collectives. Enfin, plusieurs domaines d'applications possibles de la logique déontique sont examinés.