Visible to the public Measuring Trust and Automatic Verification in Multi-Agent Systems

TitleMeasuring Trust and Automatic Verification in Multi-Agent Systems
Publication TypeConference Paper
Year of Publication2021
AuthorsJiang, Hongpu, Yuan, Yuyu, Guo, Ting, Zhao, Pengqian
Conference Name2021 8th International Conference on Dependable Systems and Their Applications (DSA)
KeywordsAtmospheric measurements, Collaboration, composability, Computing Theory, Human Behavior, Logic, model checking, multi-agent systems, Particle measurements, pubcrawl, resilience, Resiliency, Runtime, Semantics, Software algorithms, Trust
AbstractDue to the shortage of resources and services, agents are often in competition with each other. Excessive competition will lead to a social dilemma. Under the viewpoint of breaking social dilemma, we present a novel trust-based logic framework called Trust Computation Logic (TCL) for measure method to find the best partners to collaborate and automatically verifying trust in Multi-Agent Systems (MASs). TCL starts from defining trust state in Multi-Agent Systems, which is based on contradistinction between behavior in trust behavior library and in observation. In particular, a set of reasoning postulates along with formal proofs were put forward to support our measure process. Moreover, we introduce symbolic model checking algorithms to formally and automatically verify the system. Finally, the trust measure method and reported experimental results were evaluated by using DeepMind's Sequential Social Dilemma (SSD) multi-agent game-theoretic environments.
DOI10.1109/DSA52907.2021.00041
Citation Keyjiang_measuring_2021