Relation of Trust and Social Emotions: A Logical Approach

Authors:
Jean-François Bonnefon;Dominique Longin;Manh-Hung Nguyen
Affiliations:
-;-;-
Venue:
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Year:
2009

Citing 4
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Intention is choice with commitment

Artificial Intelligence
Social trust: a cognitive approach

Trust and deception in virtual societies
Dynamic Logic

Dynamic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

Trust and social emotions such as gratitude and anger have natural relations and they both play a key role in research of interaction systems in the context of ambient intelligence and affective computing nowadays. This paper presents a logical approach to formalize both the relations between trust and anger for one hand, and between distrust and gratitude for another hand. Our formal framework is a multimodal logic that combines a logic of belief and choice, a logic of linear time, and a logic of norms. We also provide the behavioral validation for these relations.