Formalizing Group and Propagated Trust in Multi-Agent Systems

We present a formal framework that allows individual and group of agents to reason about their trust toward other agents. In particular, we propose a branching time temporal logic BT which includes operators that express the concepts of everyone trust, distributed trust and propagated trust. We analyze the satisfiability and model checking problems of this logic using a reduction technique.

[1]  Jamal Bentahar,et al.  Symbolic Model Checking Commitment Protocols Using Reduction , 2010, DALT.

[2]  Partha Sarathi Chakraborty,et al.  Designing Trust Propagation Algorithms based on Simple Multiplicative Strategy for Social Networks , 2012 .

[3]  Jamal Bentahar,et al.  Specification and automatic verification of trust-based multi-agent systems , 2018, Future Gener. Comput. Syst..

[4]  Y VardiMoshe,et al.  An automata-theoretic approach to branching-time model checking , 2000 .

[5]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[6]  Jamal Bentahar,et al.  Verifying Temporal Trust Logic using CTL Model Checking , 2018, TRUST@AAMAS.

[7]  Xiaowei Huang,et al.  Reasoning about Cognitive Trust in Stochastic Multiagent Systems , 2017, AAAI.

[8]  Jie Zhang,et al.  A Bayesian Multiagent Trust Model for Social Networks , 2018, IEEE Transactions on Computational Social Systems.

[9]  Munindar P. Singh,et al.  Interaction protocols as design abstractions for business processes , 2005, IEEE Transactions on Software Engineering.

[10]  Aditya K. Ghose,et al.  A Value-based Trust Assessment Model for Multi-agent Systems , 2019, IJCAI.

[11]  Jamal Bentahar,et al.  Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game , 2018, IEEE Transactions on Services Computing.

[12]  Joseph Y. Halpern,et al.  Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.

[13]  Munindar P. Singh.  Trust as dependence: a logical approach , 2011, AAMAS.

[14]  Philippe Schnoebelen,et al.  The Complexity of Temporal Logic Model Checking , 2002, Advances in Modal Logic.

[15]  Jamal Bentahar,et al.  The 8 th International Conference on Ambient Systems , Networks and Technologies ( ANT 2017 ) Reasoning about Trust and Time in a System of Agents , 2017 .

[16]  Giuseppe Primiero,et al.  A typed natural deduction calculus to reason about secure trust , 2014, 2014 Twelfth Annual International Conference on Privacy, Security and Trust.

[17]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[18]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[19]  Martin Ester,et al.  A matrix factorization technique with trust propagation for recommendation in social networks , 2010, RecSys '10.

[20]  Emiliano Lorini,et al.  Chapter 1 A simple logic of trust based on propositional assignments , 2011 .

[21]  Emiliano Lorini,et al.  Reasoning About Belief, Evidence and Trust in a Multi-agent Setting , 2017, PRIMA.

[22]  Rino Falcone,et al.  Principles of trust for MAS: cognitive anatomy, social importance, and quantification , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).