ML Anthology

Formalizing Group and Propagated Trust in Multi-Agent Systems

Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
IJCAI 2020 pp. 60-66
doi:10.24963/IJCAI.2020/9 /ijcai/2020/drawel2020ijcai-formalizing/

Abstract

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.

PDF IJCAI Semantic Scholar

Cite

Text

Drawel et al. "Formalizing Group and Propagated Trust in Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/9

Markdown

[Drawel et al. "Formalizing Group and Propagated Trust in Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/drawel2020ijcai-formalizing/) doi:10.24963/IJCAI.2020/9

BibTeX

@inproceedings{drawel2020ijcai-formalizing,
  title     = {{Formalizing Group and Propagated Trust in Multi-Agent Systems}},
  author    = {Drawel, Nagat and Bentahar, Jamal and Laarej, Amine and Rjoub, Gaith},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {60-66},
  doi       = {10.24963/IJCAI.2020/9},
  url       = {https://mlanthology.org/ijcai/2020/drawel2020ijcai-formalizing/}
}