Normes et logique déontique

Frédéric Cuppens 1 Christophe Garion 2 Guillaume Piolle 3 Nora Cuppens-Boulahia 1
1 Lab-STICC_TB_CID_SFIIS
LUSSI - Département Logique des Usages, Sciences sociales et Sciences de l'Information, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique , CentraleSupélec
Résumé : 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.
Type de document :
Chapitre d'ouvrage
Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle : Volume 1. Représentation des connaissances et formalisation des raisonnements, Cépaduès Editions, pp.215-237, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00997137
Contributeur : Guillaume Piolle <>
Soumis le : mardi 27 mai 2014 - 15:15:37
Dernière modification le : mardi 16 janvier 2018 - 15:54:25

Identifiants

  • HAL Id : hal-00997137, version 1

Citation

Frédéric Cuppens, Christophe Garion, Guillaume Piolle, Nora Cuppens-Boulahia. Normes et logique déontique. Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle : Volume 1. Représentation des connaissances et formalisation des raisonnements, Cépaduès Editions, pp.215-237, 2014. 〈hal-00997137〉

Partager

Métriques

Consultations de la notice

703