Quantitative Group Trust: A Two-Stage Verification Approach

This paper is about modeling and verifying quantitative group trust. We present a formal analysis of this concept that allows us to express and reason about trust in multi-agent systems in a quantitative setting. We introduce GTL, the graded branching temporal logic that includes operators for quantitative aspects of trust within a group. A two-stage verification procedure of the logic is presented. The first stage is a transformation procedure, and the second stage is an indirect procedure that uses an existing model checking algorithm. Theoretical results about the soundness, completeness and complexity of the procedure are presented.

Authors

• Jamal Bentahar Concordia University
• Nagat Drawel
• Abdeladim Sadiki Concordia University

Keywords

• Quantitative Trust
• Group Trust
• Model Checking