Coping with shame and sense of guilt: a Dynamic Logic Account

Aim of this work is to provide a formal characterization of those emotions that deal with normative reasoning, such as shame and sense of guilt, to understand their relation with rational action and to ground their formalization on a cognitive science perspective. In order to do this we need to identify the factors that constitute the preconditions and trigger the reactions of shame and sense of guilt in cognitive agents, that is when agents feel ashamed or guilty and what agents do when they feel so. We will also investigate how agents can induce and silence these feelings in themselves, i.e. the analysis of defensive strategies they can employ. We will argue that agents do have control over their emotions and we will analyze some operations they can carry out on them.

[1]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[2]  L. Festinger,et al.  A Theory of Cognitive Dissonance , 2017 .

[3]  A. Damasio.  Descartes’ Error. Emotion, Reason and the Human Brain. New York (Grosset/Putnam) 1994. , 1994 .

[4]  Aaron Sloman,et al.  Motives, Mechanisms, and Emotions , 1987, The Philosophy of Artificial Intelligence.

[5]  Michael Wooldridge,et al.  Robust normative systems , 2008, AAMAS.

[6]  E.,et al.  Self-Discrepancy : A Theory Relating Self and Affect , 2022 .

[7]  K BenthemvanJ.F.A..  Where is Logic Going, and Should It? , 2005 .

[8]  Mario Paolucci,et al.  Social Responsibility among deliberative agents , 2006, STAIRS.

[9]  Mario Paolucci,et al.  Responsibility for Societies of Agents , 2004, J. Artif. Soc. Soc. Simul..

[10]  C. Castelfranchi,et al.  How to Silence One’s Conscience: Cognitive Defenses Against the Feeling of Guilt , 1998 .

[11]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[12]  Maria Miceli,et al.  How to Make Someone Feel Guilty: Strategies of Guilt Inducement and Their Goals , 1992 .

[13]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[14]  John-Jules Ch. Meyer,et al.  Rational Agents That Blush , 2007, ACII.

[15]  Marc Pauly,et al.  Logic for social software , 2000 .

[16]  John-Jules Ch. Meyer,et al.  A Logic of Capabilities , 1994, LFCS.

[17]  Frank Dignum,et al.  An analysis in a dynamic logic of organized collective agency , 2007 .

[18]  G. Fricchione.  Descartes’ Error: Emotion, Reason and the Human Brain , 1995 .

[19]  Paolo Petta,et al.  Introducing Emotions into the Computational Study of Social Norms: A First Evaluation , 2001, J. Artif. Soc. Soc. Simul..

[20]  L. Royakkers.  Extending Deontic Logic for the Formalisation of Legal Rules , 1998 .

[21]  Cristiano Castelfranchi,et al.  A cognitive approach to values , 1989 .

[22]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[23]  Cristiano Castelfranchi,et al.  Blushing as a Discourse: Was Darwin Wrong? , 1990 .

[24]  J.F.A.K. van Benthem.  Where is logic going, and should it? , 2005 .

[25]  Pierpaolo Battigalli,et al.  Guilt in Games , 2007 .

[26]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[27]  W. Crozier.  Shyness and embarrassment : perspectives from social psychology , 1990 .

[28]  Frank Dignum,et al.  Organizational structure and responsibility , 2007, Artificial Intelligence and Law.

[29]  John-Jules Ch. Meyer,et al.  Actions That Make You Change Your Mind (Extended Abstract) , 1995, KI.

[30]  John-Jules Ch. Meyer,et al.  Reasoning about emotional agents , 2004, Int. J. Intell. Syst..

[31]  Jeremy V. Pitt,et al.  Digital blush: towards shame and embarrassment in multi-agent information trading applications , 2004, Cognition, Technology & Work.

[32]  Kenneth E. Iverson,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[33]  Andrew Ortony,et al.  The Cognitive Structure of Emotions , 1988 .

[34]  Mehdi Dastani,et al.  Programming Agents with Emotions , 2006, ECAI.

[35]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[36]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[37]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[38]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[39]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .