[en] Regulations, through the use of obligations and permissions, are widely used in modern society to define acceptable behaviours. Thus it is indeed important that these regulations do not conflict with each other and contain contradicting obligations. In the present paper we focus on identifying conflicts between obligations in dynamic settings. We first show the need of an alternative semantics rather than the more classic modelled by standard deontic logic. Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions to identify conflicting obligations.
Disciplines :
Computer science
Author, co-author :
Colombo Tosatto, Silvano ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kelsen, Pierre ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Governatori, Guido; NICTA
Language :
English
Title :
Detecting Deontic Conflicts in Dynamic Settings
Publication date :
2014
Event name :
12th International Conference, DEON 2014, Ghent, Belgium, July 12-15
Event place :
Ghent, Belgium
Event date :
July 12-15
Audience :
International
Main work title :
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510-530 (1985)
Beirlaen, M., Straßer, C.: A paraconsistent multi-agent framework for dealing with normative conflicts. In: Leite, et al. (eds.) [15], pp. 312-329
Beirlaen, M., Straßer, C., Meheus, J.: An inconsistency-adaptive deontic logic for normative conflicts. J. Philosophical Logic 42(2), 285-315 (2013)
Boella, G., van der Torre, L.W.N.: Permissions and obligations in hierarchical normative systems. In: ICAIL, pp. 109-118 (2003)
Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43-56. Springer, Heidelberg (2004), http://dx.doi.org/10.1007/ 978-3-540-25927-5-5
Elhag, A.A., Breuker, J.A., Brouwer, B.W.: On the formal analysis of normative conflicts. In: van den Herik, H., et al. (eds.) JURIX 1999: The Twelfth Annual Conference, GNI, Nijmegen. Frontiers in Artificial Intelligence and Applications, pp. 35-46 (1999)
Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486-496. Springer, Heidelberg (2007)
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic 42(6), 799-829 (2013)
Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), January 18-21. CRPIT, vol. 110, pp. 3-12. ACS (2010), http://crpit.com/confpapers/CRPITV110Governatori.pdf
Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, et al. (eds.) [15], pp. 364-382
Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. The Australasian Journal of Logic 4, 193-215 (2006), http://www.philosophy.unimelb.edu.au/ajl/2006/
Hansen, J.: Conflicting imperatives and dyadic deontic logic. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 146-164. Springer, Heidelberg (2004)
Hansen, J.: Reasoning About Permission and Obligation. In: Hansson, S.O., Wansing (eds.) [24] (2014)
Hilpinen, R., McNamara, P.: Deontic logic: a historical survey and introduction. In: Gabbay, D., Horty, J., van der Meyden, R., Parent, X., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)
Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.): CLIMA XII 2011. LNCS, vol. 6814. Springer, Heidelberg (2011)
Lemmon, E.J.: Moral dilemmas. The Philosophical Review 71(2), 139-158 (1962)
Lomuscio, A., Sergot, M.: Violation, error recovery, and enforcement in the bit transmission problem. In: Horty, J., Jones, A.J.I. (eds.) Proceedings of the 6th International Workshop on Deontic Logic in Computer Science (DEON 2002), London, England, May 22-24, pp. 181-202. Imperial College London, Informal Proceedings (2002)
Makinson, D., van der Torre, L.: Permission from an input/output perspective. J. Philosophical Logic 32(4), 391-416 (2003)
Makinson, D., van der Torre, L.W.N.: What is input/output logic? input/output logic, constraints, permissions. In: Boella, G., van der Torre, L.W.N., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, vol. 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2007)
Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law 4(3-4), 331-368 (1996)
Sartor, G.: Normative conflicts in legal reasoning. Artificial Intelligence and Law 1(2-3), 209-235 (1992)
Hansson, S.O., Kracht, M., Smets, L.M.S.: Outstanding Contributions to Logic. Springer, Dordrecht (2014)
Vasconcelos, W., Kollingbaum, M., Norman, T.: Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19(2), 124-152 (2009), http://dx.doi.org/10.1007/s10458-008-9070-9
Von Wright, G.H.: Deontic logic. Mind 60(237), 1-15 (1951)