Formal Specification and Automatic Verification of Conditional Commitments

被引：7
作者：
El Kholy, Warda [1 ]
El Menshawy, Mohamed [2 ,3 ]
Bentahar, Jamal [2 ]
Qu, Hongyang [4 ]
Dssouli, Rachida [2 ]
机构：
[1] Concordia Univ, Fac Engn & Comp Sci, Concordia Inst Informat Syst Engn, Montreal, PQ, Canada
[2] Concordia Univ, Concordia Inst Informat Syst Engn, Montreal, PQ, Canada
[3] Menoufia Univ, Dept Comp Sci, Menoufia, Egypt
[4] Univ Sheffield, Dept Automat Control & Syst Engn, Sheffield S10 2TN, S Yorkshire, England
来源：
IEEE INTELLIGENT SYSTEMS | 2015年 / 30卷 / 02期
基金：
英国工程与自然科学研究理事会; 加拿大自然科学与工程研究理事会;
关键词：
MODEL CHECKING; AGENT COMMUNICATION;
D O I：
10.1109/MIS.2015.6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols. © 2001-2011 IEEE.
引用
收藏
页码：36 / 44
页数：9
相关论文
共 11 条
[1]  
Bentahar J, 2013, P 12 INT C AUT AG MU, P1169
[2]   Communicative commitments: Model checking and complexity analysis [J].
Bentahar, Jamal ;
El-Menshawy, Mohamed ;
Qu, Hongyang ;
Dssouli, Rachida .
KNOWLEDGE-BASED SYSTEMS, 2012, 35 :21-34
[3]   Model checking rational agents [J].
Bordini, RH ;
Fisher, M ;
Wooldridge, M ;
Visser, W .
IEEE INTELLIGENT SYSTEMS, 2004, 19 (05) :46-52
[4]   Representing and monitoring social commitments using the event calculus [J].
Chesani, Federico ;
Mello, Paola ;
Montali, Marco ;
Torroni, Paolo .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2013, 27 (01) :85-130
[5]   Introduction to the Special Section on Agent Communication [J].
Chopra, Amit K. ;
Artikis, Alexander ;
Bentahar, Jamal ;
Dignum, Frank .
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013, 4 (02)
[6]   Reducing model checking commitments for agent communication to model checking ARCTL and GCTL [J].
El Menshawy, Mohamed ;
Bentahar, Jamal ;
El Kholy, Warda ;
Dssouli, Rachida .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2013, 27 (03) :375-418
[7]   MCMAS: A Model Checker for the Verification of Multi-Agent Systems [J].
Lomuscio, Alessio ;
Qu, Hongyang ;
Raimondi, Franco .
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 :682-+
[8]  
Schnoebelen P., 2002, ADV MODAL LOGIC, V4, P1
[9]  
Singh MP, 2000, LECT NOTES ARTIF INT, V1916, P31
[10]  
Singh MunindarP., 2008, P 23 C ARTIFICIAL IN, P176
12