Abstract
The aim of this paper is to raise awareness of some issues in designing (formal) models for norm change. I start by positioning this research in a broader context. Then I will briefly recall several concepts and problems from deontic logic, which is the field primarily concerned with notions like ‘norm’, ‘obligation’, ‘right’, etc. Then I proceed with what I regard the main contribution of the paper: the distinction of four categories of problems one faces when thinking about formal logical models for norm change.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ågotnes, T., Wooldridge, M., van der Hoek, W.: Normative system games. In: Huhns, M., Shehory, O. (eds.) Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), May 2007, pp. 876–883. IFAMAAS (2007)
Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functors 50, 510–530 (1985)
Alchourrón, C.E.: A sketch of logic without truth. In: The 2nd International Conference on Artificial Intelligence and Law, pp. 165–179. ACM Press, New York (1989)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: FOCS 1997: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109. IEEE Computer Society, Los Alamitos (1997)
Aumann, R.J.: Agreeing to disagree. The Annals of Statistics 4(6), 1236–1239 (1976)
Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139, 165–224 (2004)
Bochman, A.: A logical theory of nonmonotonic inference and belief change. Springer, New York (2001)
Boella, G., van der Torre, L.: Fulfilling or violating norms in normative multiagent systems. In: Proceedings of IAT 2004, pp. 483–486. IEEE, Los Alamitos (2004)
Boella, G., van der Torre, L.W.N.: Delta: The social delegation cycle. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065. Springer, Heidelberg (2004)
Boella, G., van der Torre, L.W.N., Verhagen, H.: Introduction to normative multiagent systems. Computational & Mathematical Organization Theory 12(2-3), 71–79 (2006)
Broersen, J., Mastop, R., Meyer, J.-J.C., Turrini, P.: A deontic logic for socially optimal norms. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS, vol. 5076, pp. 218–232. Springer, Heidelberg (2008)
Broersen, J.M.: Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm’s scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol. 4048, pp. 53–68. Springer, Heidelberg (2006)
Broersen, J.M., Dastani, M., Hulstijn, J., van der Torre, L.W.N.: Goal generation in the BOID architecture. Cognitive Science Quarterly Journal 2(3-4), 428–447 (2002)
Broersen, J.M., Dastani, M., van der Torre, L.: Beliefs, obligations, intentions and desires as components in an agent architecture. International Journal of Intelligent Systems 20(9), 893–920 (2005)
Broersen, J.M., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 43–56. Springer, Heidelberg (2004)
Broersen, J.M., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation 16(5), 559–578 (2006)
Broersen, J.M., van der Torre, L.: Reasoning about norms, obligations, time and agents. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol. 5044, pp. 171–182. Springer, Heidelberg (2008)
Brown, M.A.: Normal bimodal logics of ability and action. Studia Logica 51(3/4), 519–532 (1992)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment 42(3), 213–261 (1990)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, New York (2007)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2), 321–358 (1995)
Dunin-Keplicz, B., Verbrugge, R.: Collective intentions. Fundamenta Informaticae 51(3), 271–295 (2002)
Elgesem, D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2(2), 1–46 (1997)
Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, ch. 14, pp. 996–1072 (1990)
Endriss, U.: The 1st international workshop on computational social choice. Knowledge Engineering Review 23(2), 213–215 (2008)
Gärdenfors, P.: Belief revision and nonmonotonic logic: two sides of the same coin? In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 52–54. Springer, Heidelberg (1991)
Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory Aspects of Counts-as: An Analysis in Modal Logic. J. Logic Computation 16(5), 613–643 (2006)
Hansen, J., Pigozzi, G., van der Torre, L.W.N.: Ten philosophical problems in deontic logic. In: Normative Multi-agent Systems (2007)
Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht (1999)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic (2000)
Horty, J.F.: Agency and Deontic Logic (2001)
Horty, J.F.: Defaults with priorities. Journal of Philosophical Logic 36(4), 367–413 (2007)
Jacquette, D.: Moral dilemmas, disjunctive obligations, and Kant’s principle that ‘ought’ implies ’can’. Synthese 88(1), 43–55 (2004)
Jones, A., Sergot, M.: A formal characterization of institutionalized power. Journal of the IGPL 4(3), 429–445 (1996)
Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: The normative sytems perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Normative System Specification. Deontic Logic in Computer Science, pp. 275–307. John Wiley and Sons, Chichester (1993)
Jorgensen, J.: Imperatives and logic. Erkenntnis 7, 288–296
Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic 37(1), 1–21 (2008)
Liu, F.: Changing for the Better: Preference Dynamics and Agent Diversity. PhD thesis, ILLC Dissertation Series, Amsterdam (2008)
Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29–53. IOS Press, Amsterdam (1998)
Makinson, D., van der Torre, L.W.N.: Input-output logics. Journal of Philosphical Logic 29, 383–408 (2000)
Makinson, D., van der Torre, L.W.N.: Permission from an input-output perspective. Journal of Philosophical Logic 32, 391–416 (2003)
Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29, 109–136 (1988)
Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments (1999)
Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Trans. Softw. Eng. Methodol. 9(3), 273–305 (2000)
Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI 14, 533–562 (1995)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
Pörn, I.: The logic of power. Basil-Blackwell, Malden (1970)
Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE Symposium on the Foundations of Computer Science, pp. 109–121 (1976)
Moses, Y., Fagin, R., Halpern, J.Y., Vardi, M.Y.: Reasoning about Knowledge (1995)
Rao, A.S., Georgeff, M.P.: Formal models and decision procedures for multi-agent systems 8(3), 293–342 (1998)
Roorda, J.W., van der Hoek, W., Meyer, J.-J.: Iterated belief change in multi-agent systems. Logic Journal of the IGPL 11(2), 223–246 (2003)
Schild, K.: On the relationship between BDI-logics and standard logics of concurrency. Autonomous agents and multi-agent systems 3, 259–283 (2000)
Searle, J.: The Construction of Social Reality. Free Press, New York (1995)
Thielscher, M.: The qualification problem: A solution to the problem of anomalous models. Artificial Intelligence 131(1-2), 1–37 (2001)
van Benthem, J.: Exploring logical dynamics. Center for the Study of Language and Information, Stanford (1997)
van der Hoek, W., Meyer, J.-J.C.: Epistemic Logic for AI and Computer Science (1995)
van der Hoek, W., Roberts, M., Wooldridge, M.: Knowledge and social laws. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 674–681. ACM, New York (2005)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Public announcements and belief expansion. Advances in Modal Logic, vol. 5 (2005)
Veltman, F.: Defaults in update semantics. Journal of Philosophical Logic 25, 221–261 (1996)
Witteveen, C., van der Hoek, W.: Recovery of (non)monotonic theories. Artif. Intell. 106(1), 139–159 (1998)
von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)
von Wright, G.H.: Deontic logic - as I see it. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 15–25. IOS Press, Amsterdam (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broersen, J. (2009). Issues in Designing Logical Models for Norm Change. In: Vouros, G., Artikis, A., Stathis, K., Pitt, J. (eds) Organized Adaption in Multi-Agent Systems. OAMAS 2008. Lecture Notes in Computer Science(), vol 5368. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02377-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-02377-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02376-7
Online ISBN: 978-3-642-02377-4
eBook Packages: Computer ScienceComputer Science (R0)