Where logic and agents meet

Dix, Jürgen; Fisher, Michael

doi:10.1007/s10472-010-9223-9

Cited by 5 publications

(1 citation statement)

References 141 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…During the last 20 years, several logic languages have been developed for modeling cognitive autonomous agents that are suited for this purpose. Most of these so-called agent logics belong to the class of (broadly conceived) belief-desire-intention logics, that describe autonomous agents on the intentional level [51] in terms of beliefs, desires (goals), intentions (roughly, the goals that the agent has committed to) and possibly other related attitudes, such as capabilities (see, e.g., [54], [199], [206]).…”

Section: Formalizing Emotion Theories In Agent Logicsmentioning

confidence: 99%

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

Reisenzein

Hudlická

Dastani

et al. 2013

IEEE Trans. Affective Comput.

149

View full text Add to dashboard Cite

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.

show abstract