{"type":"ScholarlyArticle","title":"Formalizing Group and Propagated Trust in Multi-Agent Systems","authors":[{"name":"Nagat Drawel","slug":"nagat-drawel","given":"Nagat","family":"Drawel","affiliation":"Concordia University , Montreal , Canada"},{"name":"Jamal Bentahar","slug":"jamal-bentahar","given":"Jamal","family":"Bentahar","affiliation":"Concordia University , Montreal , Canada"},{"name":"Amine Laarej","slug":"amine-laarej","given":"Amine","family":"Laarej","affiliation":"Concordia University , Montreal , Canada"},{"name":"Gaith Rjoub","slug":"gaith-rjoub","given":"Gaith","family":"Rjoub","affiliation":"Concordia University , Montreal , Canada"}],"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.","doi":"10.24963/ijcai.2020/9","url":"https://ijcai.org/proceedings/2020/9","pdf":"https://ijcai.org/proceedings/2020/0009.pdf","markdown":"https://ijcai.org/proceedings/2020/9.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/9","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Agent-based and Multi-agent Systems","track":"Main track","number":9,"pages":{"first":60,"last":66},"keywords":["Agent-based and Multi-agent Systems: Engineering Methods, Platforms, Languages and Tools","Agent-based and Multi-agent Systems: Trust and Reputation","Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/25244/file_25244.m3u8","length_sec":325,"provider":"hls"}],"references":[{"position":1,"raw":"[Castelfranchi and Falcone, 1998] Cristiano Castelfranchi and Rino Falcone. Principles of trust for MAS: cognitive anatomy, social importance, and quantification. In the Third International Conference on Multiagent Systems, ICMAS, pages 72-79, 1998.","title":"Principles of trust for MAS: cognitive anatomy, social importance, and quantification","authors":"Falcone Castelfranchi","year":"1998","venue":"the Third International Conference on Multiagent Systems, ICMAS","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Chakraborty and Karform, 2012] Partha Sarathi Chakraborty and Sunil Karform. Designing trust propagation algorithms based on simple multiplicative strategy for social networks. Procedia Technology, 6:534-539, 2012.","title":"Designing trust propagation algorithms based on simple multiplicative strategy for social networks","authors":"Partha Sarathi, Chakraborty, Sunil Karform","year":"2012","venue":"Procedia Technology","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Clarke et al., 1999] Edmund M. Clarke, Orna Grumberg, and Doron Peled. Model checking. MIT press, 1999.","title":"Model checking","authors":"Edmund M Clarke, Orna Grumberg, Doron Peled","year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cohen and Levesque, 1990] Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2-3):213-261, 1990.","title":"Intention is choice with commitment","authors":"Philip R Cohen, Hector J Levesque","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Desai et al., 2005] Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, and Munindar P. Singh. Interaction protocols as design abstractions for business processes. IEEE Trans. Software Eng., 31(12):1015-1027, 2005.","title":"Interaction protocols as design abstractions for business processes","authors":"Nirmit Desai, Ashok U Mallya, Amit K Chopra, Munindar P Singh","year":"2005","venue":"IEEE Trans. Software Eng","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Drawel et al., 2017] Nagat Drawel, Jamal Bentahar, and El- hadi Shakshuki. Reasoning about trust and time in a sys- tem of agents. In the 8th International Conference on Am- bient Systems, Networks and Technologies (ANT), volume 109 of Procedia Computer Science, pages 632-639, 2017.","title":"Nagat Drawel, Jamal Bentahar, and Elhadi Shakshuki. Reasoning about trust and time in a system of agents","authors":"Drawel","year":"2017","venue":"the 8th International Conference on Ambient Systems, Networks and Technologies (ANT)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Drawel et al., 2018] Nagat Drawel, Jamal Bentahar, Mo- hamed El-Menshawy, and Amine Laarej. Verifying tem- poral trust logic using CTL model checking. In the 20th International Trust Workshop co-located with AA- MAS/IJCAI/ECAI/ICML, pages 62-74, 2018.","title":"Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, and Amine Laarej. Verifying temporal trust logic using CTL model checking","authors":"Drawel","year":"2018","venue":"the 20th International Trust Workshop co-located with AA-MAS/IJCAI/ECAI/ICML","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Drawel et al., 2020] Nagat Drawel, Hongyang Qu, Jamal Bentahar, and Elhadi Shakshuki. Specification and auto- matic verification of trust-based multi-agent systems. Fu- ture Generation Comp. Syst., 107:1047-1060, 2020.","title":"Nagat Drawel, Hongyang Qu, Jamal Bentahar, and Elhadi Shakshuki. Specification and automatic verification of trust-based multi-agent systems","authors":"Drawel","year":"2020","venue":"Future Generation Comp. Syst","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[El-Menshawy et al., 2010] Mohamed El-Menshawy, Jamal Bentahar, and Rachida Dssouli. Symbolic model checking commitment protocols using reduction. In the 8th Inter- national Workshop on Declarative Agent Languages and Technologies VIII, DALT, volume 6619 of Lecture Notes in Computer Science, pages 185-203, 2010.","title":"Symbolic model checking commitment protocols using reduction","authors":"Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli","year":"2010","venue":"the 8th International Workshop on Declarative Agent Languages and Technologies VIII, DALT","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Emerson and Halpern, 1985] Allen Emerson and Joseph Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. J. Comput. Syst. Sci., 30(1):1-24, 1985.","title":"Decision procedures and expressiveness in the temporal logic of branching time","authors":"Allen Emerson, Joseph Y Halpern","year":"1985","venue":"J. Comput. Syst. Sci","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Emerson, 1990] Allen Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pages 995-1072. MIT Press, 1990.","title":"Temporal and modal logic","authors":"Allen Emerson","year":"1990","venue":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Harel et al., 2000] David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. MIT press, 2000.","title":"Dynamic Logic","authors":"David Harel, Dexter Kozen, Jerzy Tiuryn","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Herzig et al., 2012] Andreas Herzig, Emiliano Lorini, and Frédéric Moisan. A simple logic of trust based on propo- sitional assignments. In Fabio Paglieri, Luca Tummolini, and Rino Falcone, editors, The Goals of Cognition. Es- says in Honour of Cristiano Castelfranchi, Tributes, pages 407-419. College Publications, 2012.","title":"A simple logic of trust based on propositional assignments","authors":"Andreas Herzig, Emiliano Lorini, Frédéric Moisan","year":"2012","venue":"The Goals of Cognition. Essays in Honour of Cristiano Castelfranchi, Tributes","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Huang et al., 2019] Xiaowei Huang, Marta Kwiatkowska, and Maciej Olejnik. Reasoning about cognitive trust in stochastic multiagent systems. ACM Trans. Comput. Log., 20(4):21:1-21:64, 2019.","title":"Reasoning about cognitive trust in stochastic multiagent systems","authors":"Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik","year":"2019","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Jamali and Ester, 2010] Mohsen Jamali and Martin Ester. A matrix factorization technique with trust propagation for recommendation in social networks. In the ACM Confer- ence on Recommender Systems, RecSys, pages 135-142. ACM, 2010.","title":"A matrix factorization technique with trust propagation for recommendation in social networks","authors":"Mohsen Jamali, Martin Ester","year":"2010","venue":"the ACM Conference on Recommender Systems, RecSys","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Kupferman et al., 2000] Orna Kupferman, Moshe Y. Vardi, and Pierre Wolper. An automata-theoretic approach to branching-time model checking. J. ACM, 47(2):312-360, 2000.","title":"An automata-theoretic approach to branching-time model checking","authors":"Orna Kupferman, Moshe Y Vardi, Pierre Wolper","year":"2000","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Liu and Lorini, 2017] Fenrong Liu and Emiliano Lorini. Reasoning about belief, evidence and trust in a multi-agent setting. In International Conference on Principles and Practice of Multi-Agent Systems, pages 71-89, 2017.","title":"Fenrong Liu and Emiliano Lorini. Reasoning about belief, evidence and trust in a multi-agent setting","authors":"Lorini Liu","year":"2017","venue":"International Conference on Principles and Practice of Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Marsh, 1994] Stephen Marsh. Formalising trust as a com- putational concept. PhD thesis, University of Stirling, 1994.","title":"Formalising trust as a computational concept","authors":"Stephen Marsh","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Nayak et al., 2019] Abhaya Nayak, Kinzang Chhogyal, Aditya Ghose, and Dam Hoa. A value based trust assess- ment model for multi-agent systems. In 28th International Joint Conference on Artificial Intelligence, IJCAI, 2019.","title":"A value based trust assessment model for multi-agent systems","authors":"Abhaya Nayak, Kinzang Chhogyal, Aditya Ghose, Dam Hoa","year":"2019","venue":"28th International Joint Conference on Artificial Intelligence, IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2019/28"},{"position":20,"raw":"[Primiero and Raimondi, 2014] Giuseppe Primiero and Franco Raimondi. A typed natural deduction calculus to reason about secure trust. In Twelfth Annual Interna- tional Conference on Privacy, Security and Trust, pages 379-382. IEEE Computer Society, 2014.","title":"A typed natural deduction calculus to reason about secure trust","authors":"Raimondi Primiero, Giuseppe Primiero, Franco Raimondi","year":"2014","venue":"Twelfth Annual International Conference on Privacy, Security and Trust","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Primiero, 2016] Giuseppe Primiero. A calculus for distrust and mistrust. In Trust Management X -10th IFIP WG 11.11 International Conference, IFIPTM, volume 473 of IFIP Advances in Information and Communication Tech- nology, pages 183-190, 2016.","title":"A calculus for distrust and mistrust","authors":"Giuseppe Primiero","year":"2016","venue":"Trust Management X -10th IFIP WG 11.11 International Conference, IFIPTM","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Sardana et al., 2018] Noel Sardana, Robin Cohen, Jie Zhang, and Shuo Chen. A bayesian multiagent trust model for social networks. IEEE Transactions on Computational Social Systems, 5(4):995-1008, 2018.","title":"A bayesian multiagent trust model for social networks","authors":"Noel Sardana, Robin Cohen, Jie Zhang, Shuo Chen","year":"2018","venue":"IEEE Transactions on Computational Social Systems","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Schnoebelen, 2002] Philippe Schnoebelen. The complexity of temporal logic model checking. In the 4th conference on Advances in Modal Logic, pages 393-436, 2002.","title":"The complexity of temporal logic model checking","authors":"Philippe Schnoebelen, Schnoebelen","year":"2002","venue":"the 4th conference on Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Singh, 2011] Munindar P. Singh. Trust as dependence: a logical approach. In the 10th International Conference on Autonomous Agents and Multiagent Systems, pages 863- 870, 2011.","title":"Trust as dependence: a logical approach","authors":"P Munindar, Singh","year":"2011","venue":"the 10th International Conference on Autonomous Agents and Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Wahab et al., 2018] Omar Abdel Wahab, Jamal Bentahar, Hadi Otrok, and Azzam Mourad. Towards trustworthy multi-cloud services communities: A trust-based hedonic coalitional game. IEEE Trans. Serv. Comput., 11(1):184- 201, 2018.","title":"Towards trustworthy multi-cloud services communities: A trust-based hedonic coalitional game","authors":"Abdel Omar, Jamal Wahab, Hadi Bentahar, Azzam Otrok, Mourad","year":"2018","venue":"IEEE Trans. Serv. Comput","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}