IJCAI 2020poster0 citations
Formalizing Group and Propagated Trust in Multi-Agent Systems
Nagat Drawel, Jamal Bentahar, Amine Laarej, Gaith Rjoub
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.
Agent-based and Multi-agent Systems: Formal Verification, Validation and SynthesisAgent-based and Multi-agent Systems: Trust and ReputationAgent-based and Multi-agent Systems: Engineering Methods, Platforms, Languages and Tools
BibTeX
@inproceedings{ijcai2020p9,
title = {Formalizing Group and Propagated Trust in Multi-Agent Systems},
author = {Drawel, Nagat and Bentahar, Jamal and Laarej, Amine and Rjoub, Gaith},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-20}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Christian Bessiere},
pages = {60--66},
year = {2020},
month = {7},
note = {Main track},
doi = {10.24963/ijcai.2020/9},
url = {https://doi.org/10.24963/ijcai.2020/9},
}