Emiliano Lorini

Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange

The past years have seen increasing cooperation between psychology and computer science in the field of computational modeling of emotion. However, to realize its potential, the exchange between the two disciplines, as well as the intradisciplinary coordination, should be further improved. We make three proposals for how this could be achieved. The proposals refer to: 1) systematizing and classifying the assumptions of psychological emotion theories; 2) formalizing emotion theories in implementation-independent formal languages (set theory, agent logics); and 3) modeling emotions using general cognitive architectures (such as Soar and ACT-R), general agent architectures (such as the BDI architecture) or general-purpose affective agent architectures. These proposals share two overarching themes. The first is a proposal for modularization: deconstruct emotion theories into basic assumptions; modularize architectures. The second is a proposal for unification and standardization: Translate different emotion theories into a common informal conceptual system or a formal language, or implement them in a common architecture.

A logic of intention and attempt

We present a modal logic called

The Logic of Acceptance

{\mathcal{LIA}}

A Dynamic Logic of Agency I: STIT, Capabilities and Powers

(logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of

Dynamic context logic

{\mathcal{LIA}}

A Modal Logic of Epistemic Games

, we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.