Skip to main content

2013 | OriginalPaper | Buchkapitel

10. Deontic Logic

verfasst von : Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, Xavier Parent, Leendert van der Torre

Erschienen in: Agreement Technologies

Verlag: Springer Netherlands

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Deontic logic is the logic of obligation and permission. In the literature it has mainly been studied in terms of a list of problems and that is the way we chose to present it in this section. There are three main categories of problems. The first category is concerned with the nature of norms. The second category concerns phenomena of conflict, violation and revision. Finally, the third category studies deontic phenomena in the context of other logical structures.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
SDL stands for “Standard Deontic Logic”. This is a misnomer, because it is no longer considered a standard.
 
2
A dynamic permission is forward-looking and is like a constitutional right − it sets limits on what can be forbidden.
 
Literatur
Zurück zum Zitat Ågotnes, T., M. Wooldridge, and W. van der Hoek. 2007. Normative system games. In Proceedings of the sixth international conference on autonomous agents and multiagent systems (AAMAS 2007), IFAMAAS (2007), Honolulu, ed. M. Huhns and O. Shehory, 876–883. Ågotnes, T., M. Wooldridge, and W. van der Hoek. 2007. Normative system games. In Proceedings of the sixth international conference on autonomous agents and multiagent systems (AAMAS 2007), IFAMAAS (2007), Honolulu, ed. M. Huhns and O. Shehory, 876–883.
Zurück zum Zitat Alchourrón, C. E., and D. C. Makinson. 1981. Hierarchies of regulations and their logic. In New studies in deontic logic, ed. R. Hilpinen, 125–148. Dordrecht: D. Reidel.CrossRef Alchourrón, C. E., and D. C. Makinson. 1981. Hierarchies of regulations and their logic. In New studies in deontic logic, ed. R. Hilpinen, 125–148. Dordrecht: D. Reidel.CrossRef
Zurück zum Zitat Alchourrón, C. E., and D. C. Makinson. 1982. The logic of theory change: Contraction functions and their associated revision functions. Theoria 48: 14–37.MathSciNetCrossRef Alchourrón, C. E., and D. C. Makinson. 1982. The logic of theory change: Contraction functions and their associated revision functions. Theoria 48: 14–37.MathSciNetCrossRef
Zurück zum Zitat Alchourrón, C., P. Gärdenfors, and D. Makinson. 1985. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50: 510–530.MathSciNetCrossRefMATH Alchourrón, C., P. Gärdenfors, and D. Makinson. 1985. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50: 510–530.MathSciNetCrossRefMATH
Zurück zum Zitat Åqvist, L. 2008. Alchourrón and Bulygin on deontic logic and the logic of norm-propositions: Axiomatization and representability results. Logique et Analyse 51(203): 225–261.MathSciNet Åqvist, L. 2008. Alchourrón and Bulygin on deontic logic and the logic of norm-propositions: Axiomatization and representability results. Logique et Analyse 51(203): 225–261.MathSciNet
Zurück zum Zitat Åqvist, L., and J. Hoepelman. 1981. Some theorems about a tree system of deontic tense logic. In New studies in deontic logic, ed. R. Hilpinen, 187–221. Dordrecht: D. Reidel.CrossRef Åqvist, L., and J. Hoepelman. 1981. Some theorems about a tree system of deontic tense logic. In New studies in deontic logic, ed. R. Hilpinen, 187–221. Dordrecht: D. Reidel.CrossRef
Zurück zum Zitat Bartha, P. 1993. Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence 9(1–2): 1–23.MathSciNetCrossRefMATH Bartha, P. 1993. Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence 9(1–2): 1–23.MathSciNetCrossRefMATH
Zurück zum Zitat Boella, G., and L. van der Torre. 2003. Permissions and obligations in hierarchical normative systems. In Proceedings of the eighth international conference on artificial intelligence and law (ICAIL’03). Edimburgh, 109–118. ACM Press. Boella, G., and L. van der Torre. 2003. Permissions and obligations in hierarchical normative systems. In Proceedings of the eighth international conference on artificial intelligence and law (ICAIL’03). Edimburgh, 109–118. ACM Press.
Zurück zum Zitat Boella, G., and L. van der Torre. 2006a. Constitutive norms in the design of normative multiagent systems. In Computational logic in multi-agent systems, 6th international workshop, CLIMA VI. LNCS, vol. 3900, 303–319. London: Springer. Boella, G., and L. van der Torre. 2006a. Constitutive norms in the design of normative multiagent systems. In Computational logic in multi-agent systems, 6th international workshop, CLIMA VI. LNCS, vol. 3900, 303–319. London: Springer.
Zurück zum Zitat Boella, G., and L. van der Torre. 2006b. A logical architecture of a normative system. In Deontic logic and artificial normative systems. Proceedings of the 8th international workshop on deontic logic in computer scicence, DEON 2006, Utrecht, ed. L. Goble and J. J. C. Meyer. Berlin: Springer. Boella, G., and L. van der Torre. 2006b. A logical architecture of a normative system. In Deontic logic and artificial normative systems. Proceedings of the 8th international workshop on deontic logic in computer scicence, DEON 2006, Utrecht, ed. L. Goble and J. J. C. Meyer. Berlin: Springer.
Zurück zum Zitat Boella, G., and L. van der Torre. 2008. Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law 16(1): 53–71.CrossRef Boella, G., and L. van der Torre. 2008. Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law 16(1): 53–71.CrossRef
Zurück zum Zitat Boella, G., G. Pigozzi, and L. van der Torre. 2009. Five guidelines for normative multiagent systems. In JURIX, Rotterdam, 21–30. Boella, G., G. Pigozzi, and L. van der Torre. 2009. Five guidelines for normative multiagent systems. In JURIX, Rotterdam, 21–30.
Zurück zum Zitat Booth, R., S. Kaci, and L. van der Torre. 2006. Merging rules: Preliminary version. In Proceedings of the eleventh international workshop on non-monotonic reasoning (NMR’06), Lake District, UK, 2–5 June 2006. Booth, R., S. Kaci, and L. van der Torre. 2006. Merging rules: Preliminary version. In Proceedings of the eleventh international workshop on non-monotonic reasoning (NMR’06), Lake District, UK, 2–5 June 2006.
Zurück zum Zitat Broersen, J. 2006. Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm’s scenario. In Proceedings 8th international workshop on deontic logic in computer science (DEON’06). Lecture Notes in Computer Science, vol. 4048, ed. L. Goble and J. J. Meyer, 53–68. Berlin: Springer. Broersen, J. 2006. Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm’s scenario. In Proceedings 8th international workshop on deontic logic in computer science (DEON’06). Lecture Notes in Computer Science, vol. 4048, ed. L. Goble and J. J. Meyer, 53–68. Berlin: Springer.
Zurück zum Zitat Broersen, J. 2011. Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9(2): 127–152.MathSciNetCrossRef Broersen, J. 2011. Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9(2): 127–152.MathSciNetCrossRef
Zurück zum Zitat Broersen, J., M. Dastani, J. Hulstijn, and L. van der Torre. 2002. Goal generation in the BOID architecture. Cognitive Science Quarterly Journal 2(3–4): 428–447. Broersen, J., M. Dastani, J. Hulstijn, and L. van der Torre. 2002. Goal generation in the BOID architecture. Cognitive Science Quarterly Journal 2(3–4): 428–447.
Zurück zum Zitat Broersen, J., F. Dignum, V. Dignum, and J. J. Meyer. 2004. Designing a deontic logic of deadlines. In Proceedings 7th international workshop on deontic logic in computer science (DEON’06). Lecture Notes in Computer Science, vol. 3065, ed. A. Lomuscio and D. Nute, 43–56. Berlin: Springer. Broersen, J., F. Dignum, V. Dignum, and J. J. Meyer. 2004. Designing a deontic logic of deadlines. In Proceedings 7th international workshop on deontic logic in computer science (DEON’06). Lecture Notes in Computer Science, vol. 3065, ed. A. Lomuscio and D. Nute, 43–56. Berlin: Springer.
Zurück zum Zitat Broersen, J., M. Dastani, and L. van der Torre. 2005. Beliefs, obligations, intentions and desires as components in an agent architecture. International Journal of Intelligent Systems 20(9): 893–920.CrossRefMATH Broersen, J., M. Dastani, and L. van der Torre. 2005. Beliefs, obligations, intentions and desires as components in an agent architecture. International Journal of Intelligent Systems 20(9): 893–920.CrossRefMATH
Zurück zum Zitat Broersen, J., R. Mastop, J. J. C. Meyer, and P. Turrini. 2008. A deontic logic for socially optimal norms. In Proceedings 9th international workshop on deontic logic in computer science (DEON’08). Lecture Notes in Computer Science, vol. 5076, ed. L. v. d. Torre and R. v. d. Meyden, 218–232. Berlin: Springer. Broersen, J., R. Mastop, J. J. C. Meyer, and P. Turrini. 2008. A deontic logic for socially optimal norms. In Proceedings 9th international workshop on deontic logic in computer science (DEON’08). Lecture Notes in Computer Science, vol. 5076, ed. L. v. d. Torre and R. v. d. Meyden, 218–232. Berlin: Springer.
Zurück zum Zitat Carmo, J., and A. Jones. 2002. Deontic logic and contrary-to-duties. In Handbook of philosophical logic, vol. 8, 2nd ed, ed. D. Gabbay and F. Guenthner, 265–344. Dordrecht: Kluwer Academic. Carmo, J., and A. Jones. 2002. Deontic logic and contrary-to-duties. In Handbook of philosophical logic, vol. 8, 2nd ed, ed. D. Gabbay and F. Guenthner, 265–344. Dordrecht: Kluwer Academic.
Zurück zum Zitat Castelfranchi, C., F. Dignum, C. M. Jonker, and J. Treur. 2000. Deliberative normative agents: Principles and architecture. In 6th international workshop on intelligent agents VI, agent theories, architectures, and languages (ATAL), 364–378. London: Springer. Castelfranchi, C., F. Dignum, C. M. Jonker, and J. Treur. 2000. Deliberative normative agents: Principles and architecture. In 6th international workshop on intelligent agents VI, agent theories, architectures, and languages (ATAL), 364–378. London: Springer.
Zurück zum Zitat Chisholm, R. 1963. Contrary-to-duty imperatives and deontic logic. Analysis 24(2): 33–36. Chisholm, R. 1963. Contrary-to-duty imperatives and deontic logic. Analysis 24(2): 33–36.
Zurück zum Zitat Cholvy, L., and F. Cuppens. 1999. Reasoning about norms provided by conflicting regulations. In Norms, logics and information systems, ed. P. McNamara and H. Prakken. Amsterdam: IOS. Cholvy, L., and F. Cuppens. 1999. Reasoning about norms provided by conflicting regulations. In Norms, logics and information systems, ed. P. McNamara and H. Prakken. Amsterdam: IOS.
Zurück zum Zitat Gabbay, D. M., G. Pigozzi, and J. Woods. 2003. Controlled revision – an algorithmic approach for belief revision. Journal of Logic and Computation 13(1): 3–22.MathSciNetCrossRef Gabbay, D. M., G. Pigozzi, and J. Woods. 2003. Controlled revision – an algorithmic approach for belief revision. Journal of Logic and Computation 13(1): 3–22.MathSciNetCrossRef
Zurück zum Zitat Goble, L. 2007. Prima facie norms, normative conflicts and dilemmas. In Handbook of deontic logic and normative systems, ed. D. Gabbay, J. Horty, R. van der Meyden, and L. van der Torre. London: College Publications. Goble, L. 2007. Prima facie norms, normative conflicts and dilemmas. In Handbook of deontic logic and normative systems, ed. D. Gabbay, J. Horty, R. van der Meyden, and L. van der Torre. London: College Publications.
Zurück zum Zitat Grégoire, E. 2004. Fusing legal knowledge. In Proceedings of the 2004 IEEE international conference on information reuse and integration (IEEE-IRI’2004), Las Vegas, 522–529. Grégoire, E. 2004. Fusing legal knowledge. In Proceedings of the 2004 IEEE international conference on information reuse and integration (IEEE-IRI’2004), Las Vegas, 522–529.
Zurück zum Zitat Grossi, D. 2007. Designing invisible handcuffs: Formal investigations in institutions and organizations for multi-agent systems. Ph.D. thesis, Utrecht University. Grossi, D. 2007. Designing invisible handcuffs: Formal investigations in institutions and organizations for multi-agent systems. Ph.D. thesis, Utrecht University.
Zurück zum Zitat Grossi, D., J. J. C. Meyer, and F. Dignum. 2006. Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5): 613–643.MathSciNetCrossRefMATH Grossi, D., J. J. C. Meyer, and F. Dignum. 2006. Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5): 613–643.MathSciNetCrossRefMATH
Zurück zum Zitat Hansen, J. 2005. Deontic logics for prioritized imperatives. Artificial Intelligence and Law 14: 1–34.CrossRef Hansen, J. 2005. Deontic logics for prioritized imperatives. Artificial Intelligence and Law 14: 1–34.CrossRef
Zurück zum Zitat Hansen, J. 2008. Prioritized conditional imperatives: Problems and a new proposal. Journal of Autonomous Agents and Multi-Agent Systems 17(1): 11–35.CrossRef Hansen, J. 2008. Prioritized conditional imperatives: Problems and a new proposal. Journal of Autonomous Agents and Multi-Agent Systems 17(1): 11–35.CrossRef
Zurück zum Zitat Hansson, B. 1969. An analysis of some deontic logics. No \(\hat{\text{ u}}\) s 3: 373–398. Hansson, B. 1969. An analysis of some deontic logics. No \(\hat{\text{ u}}\) s 3: 373–398.
Zurück zum Zitat Herzig, A., E. Lorini, F. Moisan, and N. Troquard. 2011a. A dynamic logic of normative systems. In Proceedings of the twenty-second international joint conference on artificial intelligence (IJCAI’11). Barcelona: IJCAI/AAAI. Herzig, A., E. Lorini, F. Moisan, and N. Troquard. 2011a. A dynamic logic of normative systems. In Proceedings of the twenty-second international joint conference on artificial intelligence (IJCAI’11). Barcelona: IJCAI/AAAI.
Zurück zum Zitat Herzig, A., E. Lorini, and N. Troquard. 2011b. A dynamic logic of institutional actions (regular paper). In Computational logic in multi-agent systems (CLIMA), LNC-S/LNAI, ed. J. Leite and P. Torroni. Berlin: Springer. Herzig, A., E. Lorini, and N. Troquard. 2011b. A dynamic logic of institutional actions (regular paper). In Computational logic in multi-agent systems (CLIMA), LNC-S/LNAI, ed. J. Leite and P. Torroni. Berlin: Springer.
Zurück zum Zitat Jones, A., and M. Sergot. 1996. A formal characterisation of institutionalised power. Journal of IGPL 3: 427–443.MathSciNetCrossRef Jones, A., and M. Sergot. 1996. A formal characterisation of institutionalised power. Journal of IGPL 3: 427–443.MathSciNetCrossRef
Zurück zum Zitat Liu, F. 2008. Changing for the better: Preference dynamics and agent diversity. Ph.D. thesis. ILLC Dissertation Series, Amsterdam. Liu, F. 2008. Changing for the better: Preference dynamics and agent diversity. Ph.D. thesis. ILLC Dissertation Series, Amsterdam.
Zurück zum Zitat Lorini, E., and D. Longin. 2008. A logical account of institutions: From acceptances to norms via legislators. In Proceedings of the international conference on principles of knowledge representation and reasoning (KR 2008), ed. G. Brewka and J. Lang, 38–48. Menlo Park: AAAI. Lorini, E., and D. Longin. 2008. A logical account of institutions: From acceptances to norms via legislators. In Proceedings of the international conference on principles of knowledge representation and reasoning (KR 2008), ed. G. Brewka and J. Lang, 38–48. Menlo Park: AAAI.
Zurück zum Zitat Lorini, E., D. Longin, B. Gaudou, and A. Herzig. 2009. The logic of acceptance: Grounding institutions on agents’ attitudes. Journal of Logic and Computation 19(6): 901–940.MathSciNetCrossRefMATH Lorini, E., D. Longin, B. Gaudou, and A. Herzig. 2009. The logic of acceptance: Grounding institutions on agents’ attitudes. Journal of Logic and Computation 19(6): 901–940.MathSciNetCrossRefMATH
Zurück zum Zitat Makinson, D., and L. van der Torre. 2001. Constraints for input-output logics. Journal of Philosophical Logic 30(2): 155–185.MathSciNetCrossRefMATH Makinson, D., and L. van der Torre. 2001. Constraints for input-output logics. Journal of Philosophical Logic 30(2): 155–185.MathSciNetCrossRefMATH
Zurück zum Zitat Makinson, D., and L. van der Torre. 2003. Permissions from an input-output perspective. Journal of Philosophical Logic 32(4): 391–416.MathSciNetCrossRefMATH Makinson, D., and L. van der Torre. 2003. Permissions from an input-output perspective. Journal of Philosophical Logic 32(4): 391–416.MathSciNetCrossRefMATH
Zurück zum Zitat Meyer, J. J. C. 1988. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29: 109–136.MathSciNetCrossRefMATH Meyer, J. J. C. 1988. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29: 109–136.MathSciNetCrossRefMATH
Zurück zum Zitat Parent, X. 2003. Remedial interchange, contrary-to-duty obligation and commutation. Journal of Applied Non-Classical Logics 13(3/4): 345–375.CrossRefMATH Parent, X. 2003. Remedial interchange, contrary-to-duty obligation and commutation. Journal of Applied Non-Classical Logics 13(3/4): 345–375.CrossRefMATH
Zurück zum Zitat Parent, X. 2010. Moral particularism and deontic logic. In Proceedings of the 10th international workshop on deontic logic (DEON’10), pp. 84–96, ed. G. Governatori and G. Sartor. Berlin/ Heidelberg: Springer. Parent, X. 2010. Moral particularism and deontic logic. In Proceedings of the 10th international workshop on deontic logic (DEON’10), pp. 84–96, ed. G. Governatori and G. Sartor. Berlin/ Heidelberg: Springer.
Zurück zum Zitat Parent, X. 2011. Moral particularism in the light of deontic logic. Artificial Intelligence and Law 19: 75–98.CrossRef Parent, X. 2011. Moral particularism in the light of deontic logic. Artificial Intelligence and Law 19: 75–98.CrossRef
Zurück zum Zitat Prakken, H., and M. Sergot. 1997. Dyadic deontic logic and contrary-to-duty obligation. In Defeasible deontic logic, ed. D. Nute, 223–262. Dordrecht: Kluwer Academic.CrossRef Prakken, H., and M. Sergot. 1997. Dyadic deontic logic and contrary-to-duty obligation. In Defeasible deontic logic, ed. D. Nute, 223–262. Dordrecht: Kluwer Academic.CrossRef
Zurück zum Zitat Searle, J. 1969. Speech acts. An essay in the philosophy of language. Cambridge: Cambridge University Press.CrossRef Searle, J. 1969. Speech acts. An essay in the philosophy of language. Cambridge: Cambridge University Press.CrossRef
Zurück zum Zitat Stolpe, A. 1997. Relevance, derogation and permission. In Defeasible deontic logic, ed. D. Nute, 98–115. Dordrecht: Kluwer Academic. Stolpe, A. 1997. Relevance, derogation and permission. In Defeasible deontic logic, ed. D. Nute, 98–115. Dordrecht: Kluwer Academic.
Zurück zum Zitat Thomason, R. H. 1981. Deontic logic as founded on tense logic. In New studies in deontic logic, ed. R. Hilpinen, 165–176. Dordrecht: D. Reidel.CrossRef Thomason, R. H. 1981. Deontic logic as founded on tense logic. In New studies in deontic logic, ed. R. Hilpinen, 165–176. Dordrecht: D. Reidel.CrossRef
Zurück zum Zitat van der Torre, L., and Y. H. Tan. 1997. The many faces of defeasibility in defeasible deontic logic. In Defeasible deontic logic, ed. D. Nute, 79–121. Dordrecht: Kluwer Academic.CrossRef van der Torre, L., and Y. H. Tan. 1997. The many faces of defeasibility in defeasible deontic logic. In Defeasible deontic logic, ed. D. Nute, 79–121. Dordrecht: Kluwer Academic.CrossRef
Metadaten
Titel
Deontic Logic
verfasst von
Jan Broersen
Dov Gabbay
Andreas Herzig
Emiliano Lorini
John-Jules Meyer
Xavier Parent
Leendert van der Torre
Copyright-Jahr
2013
Verlag
Springer Netherlands
DOI
https://doi.org/10.1007/978-94-007-5583-3_10