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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aqvist, L.: Old foundations for the logic of agency and action. Studia Logica 72 (2002)
Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic 37(4), 387–406 (2008)
Carmo, J., Pacheco, O.: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles. Fundamenta Informaticae 48, 129–163 (2001)
Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)
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)
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)
Demolombe, R., Jones, A.J.: Actions and normative positions. A modal-logical approach. In: Jacquette, D. (ed.) Companion to Philosophical Logic. Blackwell, Malden (2002)
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)
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)
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)
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)
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)
Grossi, D.: Desigining Invisible Hancuffs. Formal Investigations in Institutions and Organizations for Multi-Agent Systems. PhD thesis, Utrecht University (2007)
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)
Hilpinen, R.: On Action and Agency. In: Ejerhed, E., Lindstrom, S. (eds.) Logic, Action and Cognition: Essays in Philosophical Logic. Kluwer, Dordrecht (1997)
Horty, J.F., Belnap, N.: The deliberative STIT: a study of action, omission, ability, and obligation. Journal of Philosophical Logic 24, 583–644 (1995)
Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics 4(3) (1996)
Kanger, S.: New foundations of ethical theory. In: Hilpinen, R. (ed.) Deontic logic, pp. 36–58. D. Reidel Publishing Company, Dordrecht (1983)
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)
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)
Pörn, I.: Action Theory and Social Science. Some Formal Models. Synthese Library, 120 (1977)
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)
Santos, F., Pacheco, O.: Specifying and reasoning with institutional agents. In: Proceedings of ICAIL (2003)
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)
Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Berlin (2005)
Searle, J.R.: Speech Acts: An essay in the philosophy of language. Cambridge University Press, New-York (1969)
Segerberg, K.: Bringing it about. Journal of Philosophical Logic 18, 327–347 (1989)
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)
von Wright, G.H.: Norm and Action. Routledge and Kegan (1963)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)