Compliance verification of agent interaction: A logic-based software tool

被引：33

作者：

Alberti, M

Gavanelli, M

Lamma, E

Chesani, F

Mello, P

Torroni, P

机构：

[1] Univ Ferrara, ENDIF, Dept Engn, I-44100 Ferrara, Italy

[2] Univ Bologna, DEIS, Dept Elect Comp Sci & Syst Sci, Bologna, Italy

来源：

APPLIED ARTIFICIAL INTELLIGENCE | 2006年 / 20卷 / 2-4期

基金：

欧盟地平线“2020”;

关键词：

D O I：

10.1080/08839510500479546

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply with interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance with interaction protocols. In this paper we present a JAVA-PRO-LOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.

引用

页码：133 / 157

页数：25

共 35 条

[1] A logic based approach to interaction design in open multi-agent systems [J].

Alberti, M ;

Gavanelli, M ;

Lamma, E ;

Chesani, F ;

Mello, P ;

Torroni, P .

THIRTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2004, :387-392

[2]

Alberti M, 2003, LECT NOTES ARTIF INT, V2829, P287

[3]

Alberti M, 2003, LECT NOTES ARTIF INT, V2691, P204

[4]

ALBERTI M, INTELLIGENZA ARTIFIC, V2, P22

[5]

ALBERTI M, 2003, CS200303 DIP ING FER

[6]

ALBERTI M, 2004, ELECT NOTES THEORETI, V85

[7]

[Anonymous], 2003, INT C AUTONOMOUS AGE

[8]

[Anonymous], 2003, SICSTUS PROLOG USER

[9]

Artikis A., 2002, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, P1053

[10]

Bellifemine F, 2001, SOFTWARE PRACT EXPER, V31, P103, DOI 10.1002/1097-024X(200102)31:2<103::AID-SPE358>3.0.CO

← 1 2 3 4 →