{"type":"ScholarlyArticle","title":"A Logic for Reasoning about Counterfactual Emotions","authors":[{"name":"Emiliano Lorini","slug":"emiliano-lorini","given":"Emiliano","family":"Lorini","affiliation":"IRIT , Toulouse , France; Franc ¸ois Schwarzentruber IRIT , Toulouse , France"},{"name":"François Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":""}],"abstract":"The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example of this kind of emotions is regret. In order to meet this objective, we exploit the well-known STIT logic [Belnap et al., 2001; Horty, 2001]. STIT logic has been proposed in the domain of formal philosophy in the nineties and, more recently, it has been imported into the field of theoretical computer science where its formal relationships with other logics for multiagent systems such as ATL and Coalition Logic (CL) have been studied. STIT is a very suitable formalism to reason about choices and capabilities of agents and groups of agents. Unfortunately, the version of STIT with agents and groups has been recently proved to be undecidable. In this work we study a decidable fragment of STIT with agents and groups which is sufficiently expressive for our purpose of formalizing counterfactual emotions.Emiliano Lorini, François Schwarzentruber","doi":null,"url":"https://ijcai.org/proceedings/2009/148","pdf":"https://ijcai.org/proceedings/2009/0148.pdf","markdown":"https://ijcai.org/proceedings/2009/148.md","bibtex":"https://ijcai.org/proceedings/2009/bibtex/148","volume":{"slug":"2009","title":"Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2009","url":"https://ijcai.org/proceedings/2009/","year":2009,"location":"Pasadena, California, USA","dates":"","editors":"Hiroaki Kitano","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":148,"pages":{"first":867,"last":871},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Alur and Henzinger, 2002] R. Alur and T. Henzinger. Alternating-time temporal logic. J. of the ACM, 49:672- 713, 2002.","title":"Alternating-time temporal logic","authors":"R Alur, T Henzinger","year":"2002","venue":"J. of the ACM","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Belnap et al., 2001] N. Belnap, M. Perloff, and M. Xu. Fac- ing the future: agents and choices in our indeterminist world. Oxford University Press, 2001.","title":"Facing the future: agents and choices in our indeterminist world","authors":"N Belnap, M Perloff, M Xu","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Broersen et al., 2006] J. Broersen, A. Herzig, and N. Tro- quard. Embedding alternating-time temporal logic in strategic STIT logic of agency. J. of Logic and Compu- tation, 16(5):559-578, 2006.","title":"Embedding alternating-time temporal logic in strategic STIT logic of agency","authors":"J Broersen, A Herzig, N Troquard","year":"2006","venue":"J. of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cohen and Levesque, 1990] P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2-3):213-261, 1990.","title":"Intention is choice with commitment","authors":"P R Cohen, H J Levesque","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[El-Nasr et al., 2000] M. S. El-Nasr, J. Yen, and T. R. Io- erger. FLAME: Fuzzy logic adaptive model of emotions. Autonomous Agents and Multi-Agent Systems, 3(3):219- 257, 2000.","title":"FLAME: Fuzzy logic adaptive model of emotions","authors":"M S El-Nasr, J Yen, T R Ioerger","year":"2000","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gabbay et al., 2003] D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Elsevier, 2003.","title":"Many-dimensional modal logics: theory and applications","authors":"D M Gabbay, A Kurucz, F Wolter, M Zakharyaschev","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Halpern and Moses, 1992] J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(2):319- 379, 1992.","title":"A guide to completeness and complexity for modal logics of knowledge and belief","authors":"J Y Halpern, Y Moses","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Herzig and Schwarzentruber, 2008] A. Herzig and F. Schwarzentruber. Properties of logics of individ- ual and group agency. In Proc. of Advances in Modal Logic 2008, pages 133-149. College Publ., 2008.","title":"Properties of logics of individual and group agency","authors":"A Herzig, F Schwarzentruber","year":"2008","venue":"Proc. of Advances in Modal Logic 2008","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Horty, 2001] J. F. Horty. Agency and Deontic Logic. Oxford University Press, 2001.","title":"Agency and Deontic Logic","authors":"J F Horty","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Kahneman and Miller, 1986] D. Kahneman and D. T. Miller. Norm theory: comparing reality to its alternatives. Psychological Review, 93(2):136-153, 1986.","title":"Norm theory: comparing reality to its alternatives","authors":"D Kahneman, D T Miller","year":"1986","venue":"Psychological Review","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Kahneman, 1995] D. Kahneman. Varieties of counterfac- tual thinking. In N. J. Roese and J. M. Olson, editors, What might have been: the social psychology of counterfactual thinking. Erlbaum, 1995.","title":"Varieties of counterfactual thinking","authors":"D Kahneman","year":"1995","venue":"What might have been: the social psychology of counterfactual thinking","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Ladner, 1977] R. E. Ladner. The computational complex- ity of provability in systems of modal propositional logic. SIAM J. on Computing, 6(3):467-480, 1977.","title":"The computational complexity of provability in systems of modal propositional logic","authors":"R E Ladner","year":"1977","venue":"SIAM J. on Computing","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lazarus, 1991] R. S. Lazarus. Emotion and adaptation. Ox- ford University Press, 1991.","title":"Emotion and adaptation","authors":"R S Lazarus","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lorini and Castelfranchi, 2007] E. Lorini and C. Castel- franchi. The cognitive structure of surprise: looking for basic principles. Topoi: an International Review of Phi- losophy, 26(1):133-149, 2007.","title":"The cognitive structure of surprise: looking for basic principles","authors":"E Lorini, C Castelfranchi","year":"2007","venue":"Topoi: an International Review of Philosophy","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lorini and Schwarzentruber, 2009] E. Lorini and F. Schwarzentruber. A logic for reasoning about counterfactual emotions (long version). Technical Report IRIT/RT-2009-1-FR, IRIT, 2009.","title":"A logic for reasoning about counterfactual emotions (long version)","authors":"E Lorini, F Schwarzentruber","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Meyer et al., 1999] J. J. Ch. Meyer, W. van der Hoek, and B. van Linder. A logical approach to the dynamics of com- mitments. Artificial Intelligence, 113(1-2):1-40, 1999.","title":"A logical approach to the dynamics of commitments","authors":"J J Ch, W Meyer, B Van Der Hoek, Van Linder","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Meyer, 2006] J.-J. Ch. Meyer. Reasoning about emotional agents. Int. J. of Intelligent Systems, 21(6):601-619, 2006.","title":"Reasoning about emotional agents","authors":"J.-J Ch, Meyer","year":"2006","venue":"Int. J. of Intelligent Systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Ortony et al., 1988] A. Ortony, G. L. Clore, and A. Collins. The cognitive structure of emotions. Cambridge University Press, 1988.","title":"The cognitive structure of emotions","authors":"A Ortony, G L Clore, A Collins","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Papadimitriou, 1994] C. H. Papadimitriou. Computational complexity. Addison Wesley, 1994.","title":"Computational complexity","authors":"C H Papadimitriou","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Pauly, 2002] M. Pauly. A modal logic for coalitional power in games. J. of Logic and Computation, 12(1):149-166, 2002.","title":"A modal logic for coalitional power in games","authors":"M Pauly","year":"2002","venue":"J. of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Picard, 1997] R. W. Picard. Affective Computing. MIT Press, 1997.","title":"Affective Computing","authors":"R W Picard","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Roese et al., 2005] N. J. Roese, L. J. Sanna, and A. D. Galinsky. The mechanics of imagination: automaticity and control in counterfactual thinking. In R. R. Hassin, J. S. Uleman, and J. A. Bargh, editors, The new unconscious. Oxford University Press, 2005.","title":"The mechanics of imagination: automaticity and control in counterfactual thinking","authors":"N J Roese, L J Sanna, A D Galinsky","year":"2005","venue":"The new unconscious","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Steunebrink et al., 2007] B. R. Steunebrink, M. Dastani, and J.-J. Ch. Meyer. A logic of emotions for intelligent agents. In Proc. of AAAI'07, pages 142-147. AAAI Press, 2007.","title":"A logic of emotions for intelligent agents","authors":"B R Steunebrink, M Dastani, J.-J Ch, Meyer","year":"2007","venue":"Proc. of AAAI'07","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Zeelenberg et al., 1996] M. Zeelenberg, J. Beattie, J. van der Pligt, and N. K. de Vries. Consequences of regret aversion: effects of expected feedback on risky decision making. Organizational behavior and human decision processes, 65(2):148-158, 1996.","title":"Consequences of regret aversion: effects of expected feedback on risky decision making","authors":"M Zeelenberg, J Beattie, J Van Der Pligt, N K De Vries","year":"1996","venue":"Organizational behavior and human decision processes","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}