Abstract
The formal definition of causality raises non trivial issues in the case of several agents acting together. Several action operators are defined in the semantics of a multi modal logic. The approach which is proposed is an extension to several agents of the ”bringing it about” operators. A joint action operator is defined which holds the property of non monotonicity with respect to sets of agents. It is refined in a restricted joint operator for cases where several sets of agents cause independently a state of affairs and it is extended to sets of agents who are acting indirectly.
The formal definitions are evaluated with respect to several typical case studies and a detailed comparison with other approaches based on the STIT operators is presented.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Agotnes, T., van der Hoek, W., Wooldridge, M.: On the logic of coalitional games. In: Proceedings of the Conference on Autonomous Agents and Multi Agent Systems. Association for Computing Machinery (2006)
Aqvist, L.: Old foundations for the logic of agency and action. Studia Logica 72 (2002)
Broeersen, J., Herzig, A., Troquard, N.: Normal Coalition Logic and its conformant extension. In: Samet, D. (ed.) Theoretical Aspects of Rationality and Knowledge. Presses Universitaires de Louvain (2007)
Carmo, J.: Collective agency, direct action and dynamic operators. Logic Journal of the IGPL 18(1), 66–98 (2010)
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.: On bringing it about. Journal of Philosophical Logic 24 (1995)
Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press (1988)
Demolombe, R.: Relationships between obligations and actions in the context of institutional agents, human agents or software agents. Journal of Artificial Intelligence and Law 19(2) (2011)
Demolombe, R., Jones, A.J.: Actions and normative positions. A modal-logical approach. In: Jacquette, D. (ed.) Companion to Philosophical Logic. Blackwell (2002)
Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2. Reidel (1984)
Hilpinen, R.: On Action and Agency. In: Ejerhed, E., Lindstrom, S. (eds.) Logic, Action and Cognition: Essays in Philosophical Logic. Kluwer (1997)
Horty, J.: Agency and deontic logic. Oxford University Press (2001)
Horty, J.F., Belnap, N.: The deliberative STIT: a study of action, omission, ability, and obligation. Journal of Philosophical Logic 24, 583–644 (1995)
Lindahl, L.: Position and Change- A Study in Law and Logic. Synthese Library, vol. 112. D. Reidel (1977)
Lorini, E., Schwarzentruber, F.: A logic for reasoning about counterfactual emotions. Artificial Intelligence 175, 814–847 (2011)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
Pörn, I.: Action Theory and Social Science. Some Formal Models. Synthese Library, vol. 120 (1977)
Santos, F., Carmo, J.: Indirect Action, Influence and Responsibility. In: Brown, M., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, Workshops in Computing Series. Springer (1996)
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. (2002)
Sergot, M.: The logic of unwitting collective agency. Technical report 2088/6, Imperial College, London (2008)
von Wright, G.H.: Norm and Action. Routledge and Kegan (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R. (2012). Causality in the Context of Multiple Agents. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science(), vol 7393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31570-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-31570-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31569-5
Online ISBN: 978-3-642-31570-1
eBook Packages: Computer ScienceComputer Science (R0)