Normes et logique déontique - Archive ouverte HAL Access content directly
Book Sections Year : 2014

Normes et logique déontique

(1) , (2) , (3) , (1)
1
2
3

Abstract

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.
Not file

Dates and versions

hal-00997137 , version 1 (27-05-2014)

Identifiers

  • HAL Id : hal-00997137 , version 1

Cite

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⟩
371 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More