.png){kind=icon}
.png){kind=icon}
Return
Model checking communicative agent-based systems
.png){kind=icon}
OA
AI
DOI：10.1016/j.knosys.2008.11.006.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Model checking is a formal technique used to verify communication protocols against given properties. In this paper, we propose a new model checking algorithm aims at verifying systems designed as a set of autonomous interacting agents. These software agents are equipped with knowledge and beliefs and interact with each other according to protocols governed by a set of logical rules. We present a tableauased version of this algorithm and provide the soundness, completeness, termination and complexity results. A case study about an agent-based negotiation protocol and its implementation are also described. (C) 2008 Elsevier B.V. All rights reserved.
Keywords:
Multi-agent systems
Model checking
Temporal logic
Agent-based negotiation protocol
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
K
IF:
7.6
Papers:
1.2W
Citations:
4.5W