论文信息 - From cognitive trust theories to computational trust ?

From cognitive trust theories to computational trust ?

Among the several categories of trust models, cognitive models have important features. Initially these models were only informally defined, but formalizations were recently proposed. The concepts of the models are thus sufficiently well defined to be implemented and evaluated. In this paper, the cognitive trust model proposed by Castelfranchi and Falcone is integrated into a BDI (belief, desire, intention) agent architecture and implemented with the Jason programming language. The ART testbed scenario is then used to experiment and evaluate both the model and the implementation.

[1] Michael Wooldridge,et al. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[2] C. Castelfranchi,et al. Social Trust : A Cognitive Approach , 2000 .

[3] Emiliano Lorini,et al. From Binary Trust to Graded Trust in Information Sources: A Logical Perspective , 2008, AAMAS-TRUST.

[4] Donald Nute,et al. Counterfactuals , 1975, Notre Dame J. Formal Log..

[5] Emiliano Lorini,et al. A logic of intention and attempt , 2008, Synthese.

[6] Emiliano Lorini,et al. Prolegomena for a Logic of Trust and Reputation , 2008, NORMAS.

[7] Richard S. Sutton,et al. Reinforcement Learning: An Introduction , 1998, IEEE Trans. Neural Networks.

[8] Mehdi Dastani,et al. 2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[9] Winfried Lamersdorf,et al. Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

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

[11] Cristiano Castelfranchi,et al. Reasons: belief support and goal dynamics , 1996 .

[12] Jordi Sabater-Mir,et al. Review on Computational Trust and Reputation Models , 2005, Artificial Intelligence Review.

[13] Emiliano Lorini,et al. Trust and Norms in the Context of Computer Security: A Logical Formalization , 2008, DEON.