Nagat Drawel

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 concepts such as everyone trust, distributed trust and propagated trust. We an…