Advertisement

Dynamic Context Logic

  • Guillaume Aucher
  • Davide Grossi
  • Andreas Herzig
  • Emiliano Lorini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5834)

Abstract

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.

Keywords

Modal Logic Multiagent System Normative System Deontic Logic Dynamic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ågotnes, T., van der Hoek, W., Rodriguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Proc. of IJCAI 2007, pp. 1181–1186. AAAI Press, Menlo Park (2007)Google Scholar
  2. 2.
    Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic 50, 510–530 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Alchourrón, C., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings. D. Reidel (1981)Google Scholar
  4. 4.
    Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 22, 100–103 (1958)CrossRefGoogle Scholar
  5. 5.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Univ. Press, Cambridge (2001)CrossRefzbMATHGoogle Scholar
  6. 6.
    Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. AAMAS (1), 169–176 (2009)Google Scholar
  7. 7.
    Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Governatori, G., Rotolo, A.: Changing legal systems: abrogation and annulment (part I: revision of defeasible theories). In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 3–18. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Grossi, D., Meyer, J.-J.C., Dignum, F.: The many faces of counts-as: A formal analysis of constitutive-rules. J. of Applied Logic 6(2), 192–217 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  11. 11.
    Hilpinen, R. (ed.): New Studies in Deontic Logic. Synthese Library Series. Reidel (1981)Google Scholar
  12. 12.
    Kanger, S.: New fondations for ethical theory. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36–58. Reidel Publishing Company (1971)Google Scholar
  13. 13.
    Lomuscio, A., Sergot, M.: Deontic intepreted systems. Studia Logica 75, 63–92 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Pucella, R., Weissman, V.: Reasoning about dynamic policies. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 453–467. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  15. 15.
    Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge Univ. Press, Cambridge (1969)CrossRefGoogle Scholar
  16. 16.
    Segerberg, K.: Two traditions in the logic of belief: bringing them together. In: Ohlbach, H.J., Reyle, U. (eds.) Logic, Language and Reasoning: essays in honour of Dov Gabbay. Kluwer, Dordrecht (1999)Google Scholar
  17. 17.
    Stalnaker, R.: On the representation of context. J. of Logic, Language, and Information 7, 3–19 (1998)CrossRefzbMATHGoogle Scholar
  18. 18.
    Ågotnes, T., Wiebe van der Hoek, W., Tennenholtz, M., Wooldridge, M.: Power in normative systems. In: Decker, P., Sichman, J., Sierra, C., Castelfranchi, C. (eds.) Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pp. 145–152 (2009)Google Scholar
  19. 19.
    van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. of Applied Non-Classical Logics 17(2), 157–182 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Van der Meyden, R.: The dynamic logic of permission. J. of Logic and Computation 6, 465–479 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Guillaume Aucher
    • 1
  • Davide Grossi
    • 2
  • Andreas Herzig
    • 3
  • Emiliano Lorini
    • 3
  1. 1.ICRUniversity of LuxembourgLuxembourg
  2. 2.ILLCUniversity of Amsterdamthe Netherlands
  3. 3.IRITUniversity of ToulouseFrance

Personalised recommendations