Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deontic Logic in Computer Science

DEON 2010: Deontic Logic in Computer Science pp 259–273Cite as

Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents

  • Conference paper

  • 613 Accesses

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

Abstract

The paper presents a logical framework for the integration of interactions between institutional agents, human agents and software agents. It is shown, through a case study, that the relationships between actions performed by these three kinds of agents are defined in terms of the Searle’s ”counts as” concept and their justifications are based on the roles hold by human agents or by a causal relationships between human agent actions and software agent actions.

The logical framework concentrates on the concepts of counts as, causality and role.

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. Aqvist, L.: Old foundations for the logic of agency and action. Studia Logica 72 (2002)

    Google Scholar 

  2. Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic 37(4), 387–406 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  3. Carmo, J., Pacheco, O.: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles. Fundamenta Informaticae 48, 129–163 (2001)

    MATH  MathSciNet  Google Scholar 

  4. Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)

    Google Scholar 

  5. Cuppens, F.: Roles and Deontic Logic. In: Jones, A.J.I., Sergot, M. (eds.) Second International Workshop on Deontic Logic in Computer Science, Oslo, Norway (1994)

    Google Scholar 

  6. Dastani, M., Dignum, V., Dignum, F.: Role-assignement in open agent societies. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (2003)

    Google Scholar 

  7. Demolombe, R., Jones, A.J.: Actions and normative positions. A modal-logical approach. In: Jacquette, D. (ed.) Companion to Philosophical Logic. Blackwell, Malden (2002)

    Google Scholar 

  8. Demolombe, R., Louis, V.: Norms, institutional power and roles: toward a logical framework. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 514–523. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Esteva, M., Rodríguez-Aguilar, J., Lluis Arcos, J., Sierra, C., Noriega, P., Rosell, B.: Electronic Institutions Development Environment. In: Proceedings of the 7th international joint conference on Autonomous Agents and Multiagent Systems, AAMAS ’08 (2008)

    Google Scholar 

  10. Fornara, N., Viganò, F., Colombetti, M.: Agent communication and institutional reality. In: van Eijk, R., Huget, M., Dignum, F. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 1–17. Springer, Heidelberg (2005)

    Google Scholar 

  11. Gelati, J., Governatori, G., Rotolo, A., Sartor, G.: Declarative power, representation, and mandate: A formal anaysis. In: Bench-Capon, T., Daskalopulu, A., Winkels, R. (eds.) Frontieres in Artificial Intelligence and Applications, vol. 89. IOS Press, Amsterdam (2002)

    Google Scholar 

  12. Governatori, G., Dumas, M., ter Hofstede, A.H.M., Oaks, P.: A formal approach to protocols and strategies for (legal) negotiation. In: Prakken, H. (ed.) Procedings of the 8th International Conference on Artificial Intelligence and Law. ACM Press, New York (2001)

    Google Scholar 

  13. Grossi, D.: Desigining Invisible Hancuffs. Formal Investigations in Institutions and Organizations for Multi-Agent Systems. PhD thesis, Utrecht University (2007)

    Google Scholar 

  14. Grossi, D., Meyer, J.-J.C., Dignum, F.: The Many Faces of Counts-as: A Formal Analysis of Constitutive Rules. Journal of Applied Logic 6 (2008)

    Google Scholar 

  15. Hilpinen, R.: On Action and Agency. In: Ejerhed, E., Lindstrom, S. (eds.) Logic, Action and Cognition: Essays in Philosophical Logic. Kluwer, Dordrecht (1997)

    Google Scholar 

  16. Horty, J.F., Belnap, N.: The deliberative STIT: a study of action, omission, ability, and obligation. Journal of Philosophical Logic 24, 583–644 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  17. Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics 4(3) (1996)

    Google Scholar 

  18. Kanger, S.: New foundations of ethical theory. In: Hilpinen, R. (ed.) Deontic logic, pp. 36–58. D. Reidel Publishing Company, Dordrecht (1983)

    Google Scholar 

  19. Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The Logic of acceptance: grounding institutions on agents attitudes. Journal of Logic and Computation 19(6) (2009)

    Google Scholar 

  20. Pacheco, O., Santos, F.: Delegation in a role-based organization. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 209–227. Springer, Heidelberg (2004)

    Google Scholar 

  21. Pörn, I.: Action Theory and Social Science. Some Formal Models. Synthese Library, 120 (1977)

    Google Scholar 

  22. Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI Architecture. In: Proc. 2nd Int. Conf. on Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  23. Santos, F., Pacheco, O.: Specifying and reasoning with institutional agents. In: Proceedings of ICAIL (2003)

    Google Scholar 

  24. Sardis, M., Vouros, G.A.: Electronic institutions infrastructure for e-chartering. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 90–107. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Berlin (2005)

    Google Scholar 

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

    Google Scholar 

  27. Segerberg, K.: Bringing it about. Journal of Philosophical Logic 18, 327–347 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  28. Segerberg, K.: Outline of a logic of action. In: Wolter, F., Wansing, H., de Rijke, W., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 3. World Scientific Publishing Co., Singapore (2002)

    Google Scholar 

  29. von Wright, G.H.: Norm and Action. Routledge and Kegan (1963)

    Google Scholar 

  30. Lopez y Lopez, F., Luck, M., d’Inverno, M.: Normative agent reasoning in dynamic societies. In: Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Recherche en Informatique de Toulouse, France

    Robert Demolombe

Authors
  1. Robert Demolombe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Queensland Research Laboratory, National ICT Australia, 4067, St Lucia, QLD, Australia

    Guido Governatori

  2. European University Institute, Badia Fiesolana, 50016 San Domenico di Fiesole, Florence, Italy, and University of Bologna, Via Zamboni, 33, 40126, Bologna, Italy

    Giovanni Sartor

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Demolombe, R. (2010). Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14183-6_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14182-9

  • Online ISBN: 978-3-642-14183-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation