Abstract
In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.
Similar content being viewed by others
References
Balbiani P., Herzig A., Troquard N.: Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic 37(4), 387–406 (2008)
Belnap N., Perloff M.: Seeing to it that: a canonical form for agentives. Theoria 54, 175–199 (1988)
Belnap N., Perloff M., Xu M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, New York (2001)
Berofsky, B., Ifs, cans, and free will: the issues, in R. Kane (ed.), The Oxford Handbook of Free Will, Oxford University Press, Oxford, 2002, pp. 181–201
Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Broersen J.: Logic and time. Journal of Symbolic Logic 44, 556–582 (1979)
Broersen, J., A complete STIT logic for knowledge and action, and some of its applications, in Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies (DALT 2008), vol. 5397 of LNCS, Springer, Heidelberg, 2008, pp. 47–59
Broersen J.: Making a start with the Stit logic analysis of intentional action. Journal of Philosophical Logic 40, 399–420 (2011)
Broersen J.: Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9(2), 137–152 (2011)
Castelfranchi C.: Modelling social action for AI agents. Artificial Intelligence 103(1–2), 157–182 (1998)
Chellas B. J.: Time and modality in the logic of agency. Studia Logica 51, 485–517 (1992)
Clarke E. M., Schlingloff B. H.: Model checking. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1635–1790. Elsevier, Amsterdam (2001)
Cohen P. R., Levesque H.: Intention is choice with commitment. Artificial Intelligence 42(2–3), 213–261 (1990)
Conradie W., Goranko V., Vakarelov D.: Algorithmic correspondence and completeness in modal logic I: The core algorithm SQEMA. Logical Methods in Computer Science 2(1), 1–26 (2006)
Elgesem D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2, 1–46 (1997)
Herzig A., Lorini E.: A dynamic logic of agency I: STIT, abilities and powers. Journal of Logic, Language and Information 19(1), 89–121 (2010)
Herzig, A. and E. Troquard, Knowing how to play: Uniform choices in logics of agency, in Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), ACM Press, New York, 2006, pp. 209–216
Horty J. F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
Horty J. F., Belnap N.: The deliberative STIT: A study of action, omission, and obligation. Journal of Philosophical Logic 24(6), 583–644 (1995)
Jones A., Sergot M.: On the characterisation of law and computer systems: The normative systems perspective. In: Meyer, J. J. Ch., Wieringa, R. J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. Wiley, Chichester (1993)
Kanger S.: Law and logic. Theoria 38, 105–132 (1972)
Leibniz, G. W., Theodicy: Essays on the Goodness of God, the Freedom of Man and the Origin of Evil, Open Court, La Salle, Ill., [1719] 1985 (Trans. E. M. Huggard)
List, C. and W. Rabinowicz, Two intuitions about free will: Alternative possibilities and endorsement, Technical Report, London School of Economics, London, 2013
Lorini E.: Temporal STIT logic and its application to normative reasoning. Journal of Applied Non-Classical Logics 23(4), 372–399 (2013)
Lorini, E. and R. Ciuni, Comparing semantics for temporal STIT logic, IRIT Technical Report, n. IRIT/RT–2015–01–FR, 2015
Lorini E., Schwarzentruber F.: A modal logic of epistemic games. Games 1(4), 478–526 (2010)
Lorini E., Schwarzentruber F.: A logic for reasoning about counterfactual emotions. Artificial Intelligence 175(3–4), 814–847 (2011)
Meyer J. J. Ch., van der Hoek W., van Linder B.: A logical approach to the dynamics of commitments. Artificial Intelligence 113(1–2), 1–40 (1999)
Moore, G. E., Ethics: The Nature of Moral Philosophy, Oxford University Press, Oxford, [1912] 2005
Panzarasa P., Jennings N., Norman T. J.: Formalising collaborative decision making and practical reasoning in multi-agent systems. Journal of Logic and Computation 12(1), 55–117 (2002)
Plaza, J., Logics of public communications, in Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems (ISMIS), ACM Press, New York, 1989, pp. 201–216
Pörn I.: The Logic of Power. Blackwell, Oxford (1970)
Pörn, I., On the nature of social order, in J. E. Fenstad, I. T. Frolov, and R. Hilpinen (eds.), Logic, Metodology and Philosophy of Science, Vol. 8, North Holland, Amsterdam, 1989, pp. 553–67
Prior A.: Past, Present, and Future. Clarendon Press, Oxford (1967)
Reynolds M.: Axioms for branching time. Journal of Logic and Computation 4, 679–697 (2002)
Santos, F., A. Jones, and J. Carmo, Action concepts for describing organised interaction, in Proceedings of the Thirtieth Annual Hawaii International Conference on System Sciences, IEEE Computer Society, San Jose, 1997, pp. 373–382
Schwarzentruber F.: Complexity results of STIT fragments. Studia Logica 100(5), 1001–1045 (2012)
van Benthem J., Liu F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2), 157–182 (2007)
Wölf S.: Propositional Q-logic. Journal of Philosophical Logic 31, 387–414 (2002)
Xu M.: Axioms for deliberative STIT. Journal of Philosophical Logic 27, 505–552 (1998)
Zanardo A.: Branching-time logic with quantification over branches: The point of view of modal logic. Journal of Symbolic Logic 61(1), 143–166 (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lorini, E., Sartor, G. A STIT Logic for Reasoning About Social Influence. Stud Logica 104, 773–812 (2016). https://doi.org/10.1007/s11225-015-9636-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9636-x