Model checking agent-based communities against uncertain group commitments and knowledge
In recent years, the use of Multi-Agent Systems (MASs) to solve complex problems has
grown rapidly. Social communicative commitments have been widely employed in such …
grown rapidly. Social communicative commitments have been widely employed in such …
Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
Z Ma, X Li, Z Liu, R Huang, N He - Fuzzy Sets and Systems, 2024 - Elsevier
Effective communication among autonomous agents is crucial for coordination and solving
complex tasks within multi-agent systems. To formalize interactions between agents, social …
complex tasks within multi-agent systems. To formalize interactions between agents, social …
[HTML][HTML] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
BM AlFawwaz, F Al-Saqqar, A AL-Shatnawi - Computation, 2022 - mdpi.com
Innumerable industries now use multi-agent systems (MASs) in various contexts, including
healthcare, security, and commercial deployments. It is challenging to select reliable …
healthcare, security, and commercial deployments. It is challenging to select reliable …
[PDF][PDF] Reduction Model Checking for Multi-Agent Systems of Group Social Commitments. Computation 2022, 10, 84
BM AlFawwaz, F Al-Saqqar, A AL-Shatnawi - 2022 - academia.edu
Innumerable industries now use multi-agent systems (MASs) in various contexts, including
healthcare, security, and commercial deployments. It is challenging to select reliable …
healthcare, security, and commercial deployments. It is challenging to select reliable …
Social Behavior and Reasoning Through Multi-Agent Systems
In computer science, multi-agent systems are a relatively new sub-field composed of
numerous interconnected computing elements known as agents. To satisfy their design …
numerous interconnected computing elements known as agents. To satisfy their design …