Formalizing Group and Propagated Trust in Multi-Agent Systems
Keyword(s):
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 analyze the satisfiability and model checking problems of this logic using a reduction technique.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2020 ◽
Vol 34
(05)
◽
pp. 7071-7078
Keyword(s):
2008 ◽
Vol 195
◽
pp. 133-149
Keyword(s):