{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T07:22:06Z","timestamp":1783149726862,"version":"3.54.6"},"reference-count":37,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/100016692","name":"Key Research and Development Program of Ningxia","doi-asserted-by":"publisher","award":["2026BEG02050"],"award-info":[{"award-number":["2026BEG02050"]}],"id":[{"id":"10.13039\/100016692","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12272269"],"award-info":[{"award-number":["12272269"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12262033"],"award-info":[{"award-number":["12262033"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12062021"],"award-info":[{"award-number":["12062021"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62562051"],"award-info":[{"award-number":["62562051"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004772","name":"Natural Science Foundation of Ningxia Province","doi-asserted-by":"publisher","award":["2024AAC03008"],"award-info":[{"award-number":["2024AAC03008"]}],"id":[{"id":"10.13039\/501100004772","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004772","name":"Natural Science Foundation of Ningxia Province","doi-asserted-by":"publisher","award":["2024AAC03325"],"award-info":[{"award-number":["2024AAC03325"]}],"id":[{"id":"10.13039\/501100004772","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.fss.2026.109916","type":"journal-article","created":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T06:10:49Z","timestamp":1777097449000},"page":"109916","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Model checking for multi-agent systems with the interaction of fuzzy commitment and epistemic logic"],"prefix":"10.1016","volume":"539","author":[{"given":"Xia","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Feng","family":"Feng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Defeng","family":"Kong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qingxin","family":"Ren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhendong","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.fss.2026.109916_bib0001","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1177\/02783649241257537","article-title":"ASIMO: Agent-centric scene representation in multi-object manipulation","volume":"44","author":"Min","year":"2025","journal-title":"Int. J. Robot. Res."},{"key":"10.1016\/j.fss.2026.109916_bib0002","doi-asserted-by":"crossref","DOI":"10.1016\/j.trc.2024.104528","article-title":"Cooperative traffic signal control through a counterfactual multi-agent deep actor critic approach","volume":"160","author":"Song","year":"2024","journal-title":"Transp. Res. C: Emerg. Technol."},{"key":"10.1016\/j.fss.2026.109916_bib0003","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.isatra.2024.02.003","article-title":"Data-driven fault detection of heterogeneous multi-agent systems using combined hardware and temporal redundant information","volume":"147","author":"Yang","year":"2024","journal-title":"ISA Trans."},{"issue":"1","key":"10.1016\/j.fss.2026.109916_bib0004","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TNSE.2023.3292570","article-title":"Multi-agent federated reinforcement learning strategy for mobile virtual reality delivery networks","volume":"11","author":"Liu","year":"2023","journal-title":"IEEE Trans. Netw. Sci. Eng."},{"issue":"3","key":"10.1016\/j.fss.2026.109916_bib0005","doi-asserted-by":"crossref","first-page":"1664","DOI":"10.1109\/TVCG.2024.3368043","article-title":"MARR: A multi-agent reinforcement resetter for redirected walking","volume":"31","author":"Lee","year":"2024","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"issue":"9","key":"10.1016\/j.fss.2026.109916_bib0006","doi-asserted-by":"crossref","DOI":"10.1007\/s11432-022-3683-y","article-title":"Event-triggered consensus control of heterogeneous multi-agent systems: model-and data-based approaches","volume":"66","author":"Wang","year":"2023","journal-title":"Sci. China Inf. Sci."},{"issue":"3","key":"10.1016\/j.fss.2026.109916_bib0007","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1109\/TG.2022.3186386","article-title":"Cognition-driven multi-agent policy learning framework for promoting cooperation","volume":"15","author":"Pu","year":"2023","journal-title":"IEEE Trans. Game."},{"issue":"11","key":"10.1016\/j.fss.2026.109916_bib0008","doi-asserted-by":"crossref","first-page":"1314","DOI":"10.3390\/jmse9111314","article-title":"Distributed consensus of USVs under heterogeneous UAV-USV multi-agent systems cooperative control scheme","volume":"9","author":"Xue","year":"2021","journal-title":"J. Mar. Sci. Eng."},{"key":"10.1016\/j.fss.2026.109916_bib0009","series-title":"Proceedings of the AAAI Conference on Artificial Intelligence","first-page":"7219","article-title":"Neighborhood cognition consistent multi-agent reinforcement learning","volume":"34","author":"Mao","year":"2020"},{"issue":"4","key":"10.1016\/j.fss.2026.109916_bib0010","doi-asserted-by":"crossref","first-page":"7065","DOI":"10.1109\/LRA.2021.3097259","article-title":"Impact of heterogeneity and risk aversion on task allocation in multi-agent teams","volume":"6","author":"Wu","year":"2021","journal-title":"IEEE Robot. Autom. Lett."},{"key":"10.1016\/j.fss.2026.109916_bib0011","series-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"issue":"1","key":"10.1016\/j.fss.2026.109916_bib0012","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s10489-013-0513-x","article-title":"On the interaction between knowledge and social commitments in multi-agent systems","volume":"41","author":"Al-Saqqar","year":"2014","journal-title":"Appl. Intell."},{"key":"10.1016\/j.fss.2026.109916_bib0013","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.simpat.2014.11.003","article-title":"Model checking temporal knowledge and commitments in multi-agent systems using reduction","volume":"51","author":"Al-Saqqar","year":"2015","journal-title":"Simul. Model. Pract. Theory"},{"key":"10.1016\/j.fss.2026.109916_bib0014","series-title":"International Conference on Computer Aided Verification","first-page":"38","article-title":"Efficient model checking via B\u00fcchi tableau automata?","author":"Bhat","year":"2001"},{"issue":"2","key":"10.1016\/j.fss.2026.109916_bib0015","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1177\/0037549719879753","article-title":"Formal reasoning on knowledge and commitments in multi-agent systems using THEATRE","volume":"96","author":"Nigro","year":"2020","journal-title":"Simulation"},{"key":"10.1016\/j.fss.2026.109916_bib0016","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2023.122856","article-title":"Model checking combined trust and commitments in multi-agent systems","volume":"243","author":"Baharloo","year":"2024","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/j.fss.2026.109916_bib0017","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.asoc.2014.04.014","article-title":"Model checking probabilistic social commitments for intelligent agent communication","volume":"22","author":"Sultan","year":"2014","journal-title":"Appl. Soft Comput."},{"issue":"3","key":"10.1016\/j.fss.2026.109916_bib0018","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1007\/s10489-016-0790-2","article-title":"Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications","volume":"45","author":"Wan","year":"2016","journal-title":"Appl. Intell."},{"issue":"5","key":"10.1016\/j.fss.2026.109916_bib0019","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s42979-023-01817-x","article-title":"Imprecise probabilistic model checking for stochastic multi-agent systems","volume":"4","author":"Termine","year":"2023","journal-title":"SN Comput. Sci."},{"key":"10.1016\/j.fss.2026.109916_bib0020","article-title":"Model checking agent-based communities against uncertain group commitments and knowledge","volume":"2021","author":"Sultan","year":"2021","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"10.1016\/j.fss.2026.109916_bib0021","first-page":"88","article-title":"Identifying and prioritizing technology capability drivers in the supply chain using the fuzzy hierarchical analysis process (case study: Iran Khodro and Saipa automotive company)","volume":"12","author":"Ehsani","year":"2023","journal-title":"Int. J. Res. Ind. Eng."},{"key":"10.1016\/j.fss.2026.109916_bib0022","doi-asserted-by":"crossref","DOI":"10.1016\/j.ins.2024.120278","article-title":"Linear asymmetric Laplace fuzzy information granule and its application in short-to-medium term prediction for financial time series","volume":"662","author":"Yang","year":"2024","journal-title":"Inf. Sci."},{"key":"10.1016\/j.fss.2026.109916_bib0023","first-page":"1","article-title":"OWA-based multi-criteria decision making based on fuzzy methods","author":"D\u2019Urso","year":"2024","journal-title":"Ann. Oper. Res."},{"issue":"2","key":"10.1016\/j.fss.2026.109916_bib0024","first-page":"203","article-title":"A modification of technique for order preference by similarity to ideal solution (TOPSIS) through fuzzy similarity method (a numerical example of the personnel selection)","volume":"10","author":"Ebrahimi","year":"2023","journal-title":"J. Appl. Res. Ind. Eng."},{"key":"10.1016\/j.fss.2026.109916_bib0025","article-title":"Graded epistemic logic with public announcement","volume":"125","author":"Benevides","year":"2022","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"1","key":"10.1016\/j.fss.2026.109916_bib0026","first-page":"19","article-title":"Fuzzy epistemic logic","volume":"18","author":"Hu","year":"2017","journal-title":"Noesis"},{"issue":"10","key":"10.1016\/j.fss.2026.109916_bib0027","doi-asserted-by":"crossref","first-page":"6620","DOI":"10.1109\/TSMC.2023.3286127","article-title":"Optimal strategy model checking in possibilistic decision processes","volume":"53","author":"Liu","year":"2023","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"key":"10.1016\/j.fss.2026.109916_bib0028","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.fss.2014.07.008","article-title":"Model checking fuzzy computation tree logic","volume":"262","author":"Pan","year":"2015","journal-title":"Fuzzy Set. Syst."},{"key":"10.1016\/j.fss.2026.109916_bib0029","doi-asserted-by":"crossref","first-page":"4129","DOI":"10.32604\/cmc.2024.047168","article-title":"Computation tree logic model checking of multi-agent systems based on fuzzy epistemic interpreted systems","volume":"78","author":"Li","year":"2024","journal-title":"Comput. Mater. Continua"},{"key":"10.1016\/j.fss.2026.109916_bib0030","doi-asserted-by":"crossref","DOI":"10.1016\/j.fss.2024.108966","article-title":"Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems","volume":"485","author":"Ma","year":"2024","journal-title":"Fuzzy Set. Syst."},{"issue":"3","key":"10.1016\/j.fss.2026.109916_bib0031","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"8","author":"Zadeh","year":"1965","journal-title":"Inf. Control"},{"key":"10.1016\/j.fss.2026.109916_bib0032","series-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","author":"Klir","year":"1995"},{"key":"10.1016\/j.fss.2026.109916_bib0033","series-title":"Fuzzy Measure Theory","author":"Wang","year":"1992"},{"key":"10.1016\/j.fss.2026.109916_bib0034","series-title":"Reasoning about Knowledge","author":"Fagin","year":"2004"},{"key":"10.1016\/j.fss.2026.109916_bib0035","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1023\/B:AUSE.0000028537.84347.9c","article-title":"Model checking for combined logics with an application to mobile systems","volume":"11","author":"Franceschet","year":"2004","journal-title":"Autom. Softw. Eng."},{"key":"10.1016\/j.fss.2026.109916_bib0036","doi-asserted-by":"crossref","DOI":"10.1016\/j.ijpe.2023.108823","article-title":"Multi-echelon supply chain coordination: contract sequence and cut-off policies","volume":"259","author":"Biswas","year":"2023","journal-title":"Int. J. Prod. Econ."},{"key":"10.1016\/j.fss.2026.109916_bib0037","series-title":"Metamathematics of Fuzzy Logic","author":"H\u00e1jek","year":"1998"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011426001545?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011426001545?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T07:05:52Z","timestamp":1783148752000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011426001545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":37,"alternative-id":["S0165011426001545"],"URL":"https:\/\/doi.org\/10.1016\/j.fss.2026.109916","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Model checking for multi-agent systems with the interaction of fuzzy commitment and epistemic logic","name":"articletitle","label":"Article Title"},{"value":"Fuzzy Sets and Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.fss.2026.109916","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"109916"}}