Skip to main content
SpringerLink
Log in

A STIT Logic for Reasoning About Social Influence

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

    Article  Google Scholar 

  2. Belnap N., Perloff M.: Seeing to it that: a canonical form for agentives. Theoria 54, 175–199 (1988)

    Article  Google Scholar 

  3. Belnap N., Perloff M., Xu M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, New York (2001)

    Google Scholar 

  4. 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

  5. Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    Book  Google Scholar 

  6. Broersen J.: Logic and time. Journal of Symbolic Logic 44, 556–582 (1979)

    Google Scholar 

  7. 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

  8. Broersen J.: Making a start with the Stit logic analysis of intentional action. Journal of Philosophical Logic 40, 399–420 (2011)

    Article  Google Scholar 

  9. Broersen J.: Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9(2), 137–152 (2011)

    Article  Google Scholar 

  10. Castelfranchi C.: Modelling social action for AI agents. Artificial Intelligence 103(1–2), 157–182 (1998)

    Article  Google Scholar 

  11. Chellas B. J.: Time and modality in the logic of agency. Studia Logica 51, 485–517 (1992)

    Article  Google Scholar 

  12. Clarke E. M., Schlingloff B. H.: Model checking. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1635–1790. Elsevier, Amsterdam (2001)

    Chapter  Google Scholar 

  13. Cohen P. R., Levesque H.: Intention is choice with commitment. Artificial Intelligence 42(2–3), 213–261 (1990)

    Article  Google Scholar 

  14. 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)

    Article  Google Scholar 

  15. Elgesem D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2, 1–46 (1997)

    Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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

  18. Horty J. F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)

    Book  Google Scholar 

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

    Article  Google Scholar 

  20. 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)

    Google Scholar 

  21. Kanger S.: Law and logic. Theoria 38, 105–132 (1972)

    Article  Google Scholar 

  22. 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)

  23. List, C. and W. Rabinowicz, Two intuitions about free will: Alternative possibilities and endorsement, Technical Report, London School of Economics, London, 2013

  24. Lorini E.: Temporal STIT logic and its application to normative reasoning. Journal of Applied Non-Classical Logics 23(4), 372–399 (2013)

    Article  Google Scholar 

  25. Lorini, E. and R. Ciuni, Comparing semantics for temporal STIT logic, IRIT Technical Report, n. IRIT/RT–2015–01–FR, 2015

  26. Lorini E., Schwarzentruber F.: A modal logic of epistemic games. Games 1(4), 478–526 (2010)

    Article  Google Scholar 

  27. Lorini E., Schwarzentruber F.: A logic for reasoning about counterfactual emotions. Artificial Intelligence 175(3–4), 814–847 (2011)

    Article  Google Scholar 

  28. 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)

    Article  Google Scholar 

  29. Moore, G. E., Ethics: The Nature of Moral Philosophy, Oxford University Press, Oxford, [1912] 2005

  30. 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)

    Article  Google Scholar 

  31. 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

  32. Pörn I.: The Logic of Power. Blackwell, Oxford (1970)

    Google Scholar 

  33. 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

  34. Prior A.: Past, Present, and Future. Clarendon Press, Oxford (1967)

    Book  Google Scholar 

  35. Reynolds M.: Axioms for branching time. Journal of Logic and Computation 4, 679–697 (2002)

    Article  Google Scholar 

  36. 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

  37. Schwarzentruber F.: Complexity results of STIT fragments. Studia Logica 100(5), 1001–1045 (2012)

    Article  Google Scholar 

  38. van Benthem J., Liu F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2), 157–182 (2007)

    Article  Google Scholar 

  39. Wölf S.: Propositional Q-logic. Journal of Philosophical Logic 31, 387–414 (2002)

    Article  Google Scholar 

  40. Xu M.: Axioms for deliberative STIT. Journal of Philosophical Logic 27, 505–552 (1998)

    Article  Google Scholar 

  41. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRIT-CNRS, Toulouse University, Toulouse, France

    Emiliano Lorini

  2. CIRSFID, University of Bologna, Bologna, Italy

    Giovanni Sartor

  3. European University Institute of Florence, Florence, Italy

    Giovanni Sartor

Authors
  1. Emiliano Lorini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni Sartor
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Emiliano Lorini.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-015-9636-x

Keywords

Search

Navigation