Reasoning about group social commitments in multi-agent systems
- PDF / 2,381,019 Bytes
- 17 Pages / 595.276 x 790.866 pts Page_size
- 96 Downloads / 220 Views
ORIGINAL RESEARCH
Reasoning about group social commitments in multi‑agent systems Faisal Al‑Saqqar1 · Atallah M Al‑Shatnawi2 Received: 11 January 2020 / Accepted: 27 August 2020 © Springer-Verlag GmbH Germany, part of Springer Nature 2020
Abstract This paper aims to analayze and reason about group communicating social commitments in Multi-Agent Systems (MASs). In fact, this paper presents Computation Tree Logic Group Commitments ( CTLGC ), a temporal logic of group commitments for agent communications which extends computation tree logic (CTL) to reason about group social commitments and their fulfillments simultaneously. To do so, we classify groups of communicating agents into divisible and indivisible. After that, we divide group commitments into two categories: one-to-group and group-to-one commitments. Then, we advocate the necessary social accessibility relations that are needed to capture the semantics of each type of group commitments. Thereafter, we use Benthem’s Correspondence Theory for modal logics to prove the soundness and completeness of the proposed CTLGC logic. Particularly, we present a set of reasoning postulates in CTLGC and correspond them to their related classes of frames. We use the NetBill protocol, a concrete example from business domain to illustrate each reasoning postulate. Furthermore, we adopt the interpreted systems as an underlying formalism over which our developed postulates are interpreted. When correspondence exists, this confirms that the CTLGC logic generated by any subset of the proposed postulates is sound and complete with respect to models that are built on the corresponding frames. By so doing, we provide a novel, consistent, formal and computationally grounded semantic to reason about group communicating social commitments and their fulfillments in MASs and prove the soundness and completeness of the proposed logic. Keywords Multi-agent systems · Communicative social commitments · Group social commitments · Correspondence theory · Soundness · Completeness
1 Introduction One of the major aspects of Multi-Agent-Systems (MASs) is communication. Using communication, agents plan their actions and behaviors to reach their target goals (Khattabi et al. 2020). Moreover, autonomous and heterogeneous agents employ Agent Communication Languages (ACLs) to interact with each other and exchange messages (Dourlens et al. 2012; Dignum and Greaves 2000; Al-Saqqar et al.
* Faisal Al‑Saqqar [email protected] Atallah M Al‑Shatnawi [email protected] 1
Computer Science Department, Prince Hussein bin Abdullah Faculty of Information Technology, AL al-Bayt University, Mafraq, Jordan
Information Systems Department, Prince Hussein bin Abdullah Faculty of Information Technology, AL al-Bayt University, Mafraq, Jordan
2
2015). Consequently, there is a crucial need to develop a formal and consistent semantics for those ACLs (El-Menshawy et al. 2012; EL Kholy et al. 2017; Marey et al. 2015). In the literature, there have been many frameworks developed to find standards for agent
Data Loading...
