Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2011: Computational Logic in Multi-Agent Systems pp 295–311Cite as

A Dynamic Logic of Institutional Actions

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6814))

Abstract

We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and institutional facts and actions; (2) the distinction between causality and ‘counts-as’; (3) the notion of institutional power. Technically, our contribution consists in extending a dynamic logic of propositional assignments with constructions allowing to express that an agent plays a given role; that a physical action causes another physical action; that a physical action performed by an agent playing a given role counts as an institutional action.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón, C., Bulygin, E.: Normative systems. Springer, New York (1971)

    Book  MATH  Google Scholar 

  2. van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(204), 1620–1662 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  3. Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: KR 2004, pp. 255–266. AAAI Press, Menlo Park (2004)

    Google Scholar 

  4. Bulygin, E.: On norms of competence. Law and Philosophy 11(3), 201–216 (1992)

    Article  Google Scholar 

  5. Davidson, D.: Agency. In: Essays on Actions and Events. Oxford University Press, New York (1980)

    Google Scholar 

  6. van Ditmarsch, H.P., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: AAMAS 2005, pp. 141–148. ACM Press, New York (2005)

    Google Scholar 

  7. Gerbrandy, J.: Logics of propositional control. In: Proc. AAMAS 2006, pp. 193–200 (2006)

    Google Scholar 

  8. Goldman, A.: A Theory of Human Action. Prentice-Hall, Englewood Cliffs (1970)

    Google Scholar 

  9. Governatori, G., Gelati, J., Rotolo, A., Sartor, G.: Actions, institutions, powers: preliminary notes. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 131–147. Springer, Heidelberg (2004)

    Google Scholar 

  10. Grossi, D.: A note on brute vs. institutional facts: modal logic of equivalence up to a signature. In: Boella, G., Pigozzi, G., Noriega, P., Verhagen, H. (eds.) Proceedings of Dagstuhl Seminar on Normative Multi-agent Systems (2009)

    Google Scholar 

  11. Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5), 613–643 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hart, H.L.A.: The concept of law, new edn. Clarendon Press, Oxford (1992)

    Google Scholar 

  13. Heifetz, A., Meier, M., Schipper, B.: Interactive unawareness. Journal of Economic Theory 130(1), 78–94 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems (regular paper). In: Walsh, T. (ed.) Proc. 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011). Morgan Kaufmann Publisher, Barcelona (2011)

    Google Scholar 

  15. van der Hoek, W., Walther, D., Wooldridge, M.: Reasoning about the transfer of control. JAIR 37, 437–477 (2010)

    MathSciNet  MATH  Google Scholar 

  16. van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 164(1-2), 81–119 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  17. Jones, A., Sergot, M.J.: A formal characterization institutionalised power. J. of the IGPL 4, 429–445 (1996)

    Article  MATH  Google Scholar 

  18. Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI 1995), pp. 1985–1991 (1995)

    Google Scholar 

  19. Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  20. Lorini, E., Longin, D.: 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), pp. 38–48. AAAI Press, Menlo Park (2008)

    Google Scholar 

  21. Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The logic of acceptance: grounding institutions on agents’ attitudes. J. of Logic and Computation 19(6), 901–940 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  22. Makinson, D.: On the formal representation of rights relations: remarks on the work of Stig Kanger and Lars Lindahl. The Journal of Philosophical Logic 15, 403–425 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  23. Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social roles and their descriptions. In: Dubois, D., Welty, C.A., Williams, W.-A. (eds.) KR, pp. 267–277. AAAI Press, Menlo Park (2004)

    Google Scholar 

  24. McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI 1995), pp. 1978–1984 (1995)

    Google Scholar 

  25. McCain, N., Turner, H.: Causal theories of action and change. In: Proc. Nat. Conf. on Artificial Intelligence (AAAI 1997), pp. 460–465 (1997)

    Google Scholar 

  26. Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  27. Pörn, I.: Action Theory and Social Science: Some Formal Models. Synthese Library, vol. 120. D. Reidel, Dordrecht (1977)

    Book  MATH  Google Scholar 

  28. Schwind, C.: Causality in action theories. ETAI Electronic Articles in Computer and Information Science 3(A), (1999), www.ida.liu.se/ext/etai

  29. Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge University Press, New York (1969)

    Book  Google Scholar 

  30. Searle, J.R.: The Construction of Social Reality. The Free Press, New York (1995)

    Google Scholar 

  31. Thielscher, M.: Ramification and causality. Artificial Intelligence 89, 317–364 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  32. Tiomkin, M.L., Makowsky, J.A.: Propositional dynamic logic with local assignments. Theor. Comput. Sci. 36, 71–87 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  33. van Eijck, J.: Making things happen. Studia Logica 66(2), 41–58 (2000)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Toulouse, CNRS, IRIT, France

    Andreas Herzig & Emiliano Lorini

  2. Laboratory of Applied Ontology, ISTC-CNR, Italy

    Nicolas Troquard

Authors
  1. Andreas Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emiliano Lorini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nicolas Troquard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Departamento de Informática, CENTRIA, Quinta da Torre, 2829-516, Caparica, Portugal

    João Leite

  2. Università di Bologna, Laboratorio di Informatica Avanzata, Dipartimento di Informatica, Elettronica e Sistemistica, Viale Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  3. Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, 5020, Bergen, Norway

    Thomas Ågotnes

  4. University of Torino, Italy

    Guido Boella

  5. Faculté des Sciences, de la Technologie et de la Communication, Université du Luxembourg, 6 Rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leon van der Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herzig, A., Lorini, E., Troquard, N. (2011). A Dynamic Logic of Institutional Actions. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science(), vol 6814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22359-4_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22359-4_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22358-7

  • Online ISBN: 978-3-642-22359-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation