Model checking multiagent systems

被引：43

作者：

Benerecetti, M

Giunchiglia, F

Serafini, L

机构：

[1] Univ Trent, DISA, I-38100 Trent, Italy

[2] Ist Trentino Cultura, IRST, I-38050 Trent, Italy

来源：

JOURNAL OF LOGIC AND COMPUTATION | 1998年 / 8卷 / 03期

关键词：

D O I：

10.1093/logcom/8.3.401

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. In this paper we show how this technique can be lifted to be applicable to multiagent systems. Our approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm.

引用

页码：401 / 423

页数：23

共 15 条

[1]

Bratman M. E., 1990, INTENTION PLAN PRACT

[2]

CLARKE E, 1994, P INT SUMM SCH DED P

[3]

*FIPA FDN INT PHYS, 1997, FIPA 97 DRAFT SPEC

[4]

GIUNCHIGLIA E, 1996, LECT NOTES ARTIF INT, V1085, P261