OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Norms and Deontic Logic

Cuppens, Frédéric and Garion, Christophe and Piolle, Guillaume and Cuppens-Boulahia, Nora Norms and Deontic Logic. (2020) In: A Guided Tour of Artificial Intelligence Research. Springer International Publishing, Cham, 253-274. ISBN 978-3-030-06163-0

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
244kB

Official URL: https://doi.org/10.1007/978-3-030-06164-7_8

Abstract

Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between the notions of obligation, prohibition, permission and optionality. Deontic logic is at the origin of normative systems which are used to model obligations, prohibitions and sanctions in organizations. In this chapter, we will first present standard deontic logic, then we will analyze its drawbacks. A synthesis of some problems tackled in normative systems is then presented: conditional obligations, norms with exceptions, violations, norms with deadlines and collective obligations. Finally, several application domains for deontic logic are examined.

Item Type:Book Section
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > CentraleSupélec (FRANCE)
Other partners > Telecom Bretagne (FRANCE)
Laboratory name:
Statistics:download
Deposited On:08 Jun 2020 13:37

Repository Staff Only: item control page