Normes et logique déontique

Abstract

La logique déontique (du grec déon, déontos: devoir, ce qu'il faut, ce qui 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ésenté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.