Specification and verification of knowledge in a multi-agent system

被引：0

作者：

Bagic, Marina ^{[1
]}

Ciglaric, Mojca ^{[1
]}

机构：

[1] Univ Zagreb, Fac Elect & Comp Engn, Unska 3, HR-10000 Zagreb, Croatia

来源：

PROCEEDINGS OF THE 16TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING | 2007年

关键词：

specification; protocol verification; multi-agent system; intelligent agent;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Verification of epistemic properties, i.e. properties involving knowledge of a multi-agent system (MAS) is a great challenge because there are still many open problems especially with the choice of a proper model for MAS specification and then, with the proper technique to verify the system. In this paper we propose our model for MAS specification as the extended labelled transition system (Milner's Process Algebra), namely Mixed Transition System (MTS). We support our approach with the case study of specification and verification of FIPA Subscribe Scenario, a protocol for inter-agent communication.

引用

页码：168 / +

页数：3

共 50 条

[31] The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Mark D'Inverno
Michael Luck
Michael Georgeff
David Kinny
Michael Wooldridge
Autonomous Agents and Multi-Agent Systems, 2004, 9 : 5 - 53
[32] Towards an approach for behavioral specification of Reactive Multi-Agent system
Haqiq, Abdelhay
Bounabat, Bouchaib
2015 5TH INTERNATIONAL CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA), 2015,
[33] Specification and construction of multi-agent system based on software architecture
Zhan, Jian-Feng
Cheng, Hu
Ruan Jian Xue Bao/Journal of Software, 2002, 13 (SUPPL.): : 134 - 137
[34] Constraint-based agent specification for a multi-agent stock brokering system
Ooi, BH
Ghose, AK
MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 409 - 419
[35] Specification and implementation of multi-agent organizations
Ghassemi, Fatemeh
Bakhsh, Naser Nemat
Ladani, Behrouz Tork
Sirjani, Marjan
WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: INTERNET TECHNOLOGY / WEB INTERFACE AND APPLICATIONS, 2006, : 447 - 453
[36] Runtime Verification of Multi-Agent Self-Adaptive System
Ye, Xingyu
Liu, Wei
Wang, Ning
PROCEEDINGS OF THE 2021 IEEE 24TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2021, : 12 - 17
[37] AUTOMATED VERIFICATION OF AUML BASED MULTI-AGENT SYSTEM DESIGN
Mireslami, Seyedehmehrnaz
Far, Behrouz H.
2013 26TH ANNUAL IEEE CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2013, : 703 - 706
[38] A formal verification method of obligation policy in multi-agent system
Tao, Zhang
Hong, Xie
Shao-Bin, Huang
International Journal of u- and e- Service, Science and Technology, 2015, 8 (11) : 113 - 124
[39] Graph Grammar Specification for the Populational level of Multi-Agent System Organizations
de Mello, Andre Moura
Foss, Luciana
da Costa Cavalheiro, Simone Andre
2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 2013, : 97 - 104
[40] Multi-agent System Specification for Distributed Scheduling in Home Health Care
Alves, Filipe
Rocha, Ana Maria A. C.
Pereira, Ana I.
Leitao, Paulo
11TH INTERNATIONAL WORKSHOP ON SERVICE ORIENTED, HOLONIC AND MULTI-AGENT MANUFACTURING SYSTEMS FOR INDUSTRY OF THE FUTURE, SOHOMA 2021, 2022, 1034 : 77 - 88

← 1 2 3 4 5 →