A Verification Framework for Normative Multi-Agent Systems

被引：0

作者：

Astefanoaei, Lacramioara ^{[1
]}

Dastani, Mehdi ^{[2
]}

Meyer, John-Jules ^{[2
]}

de Boer, Frank S. ^{[1
]}

机构：

[1] CWI, NL-1009 AB Amsterdam, Netherlands

[2] Univ Utrecht, NL-3508 TC Utrecht, Netherlands

来源：

INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS | 2008年 / 5357卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a programming language that facilitates the implementation of coordination artifacts which in turn can be used to regulate the behaviour of individual agents. The programming language provides constructs inspired by social and organisational concepts. The operational semantics of the language is prototyped in Maude, a rewrite logic software. Properties of the coordination artifacts are model-checked with the Maude LTL model-checker.

引用

页码：54 / +

页数：2

共 10 条

[1] Reo: a channel-based coordination model for component composition
Arbab, F
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2004, 14 (03) : 329 - 366
[2] ASTEFANOAEI L, 2008, AAMAS, P705
[3] Clavel M., 2007, LNCS, V4350
[4] 2APL: a practical agent programming language
Dastani, Mehdi
[J]. AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2008, 16 (03) : 214 - 248
[5] Esteva M., 2004, P 3 INT JOINT C AUT, V1, P236, DOI DOI 10.1109/AAMAS.2004.10060
[6] Ferber J, 2004, LECT NOTES COMPUT SC, V2935, P214
[7] HUBNER JF, 2002, AAMAS, P501
[8] RICCI A, 2007, AAMAS, P150
[9] Searle J.R., 2007, CONSTRUCTION SOCIAL
[10] A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Serbanuta, Traian Florin
Rosu, Grigore
Meseguer, Jose
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 125 - 141

← 1 →