OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Normes et logique déontique

Cuppens, Frédéric and Garion, Christophe and Piolle, Guillaume and Cuppens-Boulahia, Nora Normes et logique déontique. (2014) In: Représentation des connaissances et formalisation des raisonnements, volume 1 série : Panorama de l'Intelligence Artificielle. (Panorama de l'intelligence artificielle). Cépaduès, Toulouse, France, 215-237. ISBN 9782364930414

Full text not available from this repository.

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.

Item Type:Book Section
Additional Information:Editeur : Cépaduès, Représentation des connaissances et formalisation des raisonnements, volume 1 série : Panorama de l'Intelligence Artificielle, Chapitre 7, ISBN : 9782364930414
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
Other partners > Telecom Bretagne (FRANCE)
Other partners > Université de Rennes 1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Christophe Garion
Deposited On:28 Jul 2014 09:34

Repository Staff Only: item control page