Trust in complex actions

摘要

Recently Herzig, Lorini et col. undertook a logical analysis of the definition of trust proposed by Castelfranchi and Falcone (C&F henceforth) [3, 4|. They defined the predicate Trust_0(i, j:a, Φ) (agent i trusts agent j to do action a in order to achieve i's goal Φ) as follows.