| 规范多agent系统动态模型及其属性验证机制 |
| |
| 引用本文： | 胡斌,高济,郭航.规范多agent系统动态模型及其属性验证机制[J].浙江大学学报(自然科学版 ),2009,43(6):1014-1019. |
| |
| 作者姓名： | 胡斌 高济 郭航 |
| |
| 作者单位： | 胡斌,HU Bin(浙江大学,计算机科学与技术学院,浙江,杭州,310027;杭州师范大学,信息工程学院,浙江,杭州,310018);高济,郭航,GAO Ji,GUO Hang(浙江大学,计算机科学与技术学院,浙江,杭州,310027) |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，杭州师范大学科研启动资助项目 |
| |
| 摘 要： | 针对规范多Agent系统（NMAS）并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动态模型包括行为约束规范语言TNAL和联合行为转移结构两大部分.TNAL以现实世界法律法规为参考,实现了规范的时态特性和道义特性的建模.联合行为转移结构以多Agent联合行为作为状态转移标记,以规范剪枝后的计算树描述规范系统的动态语义,使系统属性描述语言和规范语言相互独立.以CTL*作为系统属性描述语言,借助现有模型检验工具即可实现NMAS的属性验证,这种实现方式使系统验证工作具有更高的灵活性.
|
| 关 键 词： | 多Agent系统 Kripke结构 动态模型 属性验证 |
Dynamic model of normative multi-agent system and its property verification mechanism |
| |
| HU Bin,GAO Ji,GUO Hang.Dynamic model of normative multi-agent system and its property verification mechanism[J].Journal of Zhejiang University(Engineering Science),2009,43(6):1014-1019. |
| |
| Authors: | HU Bin GAO Ji GUO Hang |
| |
| Affiliation: | (1. College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China;
2. College of Information Engineering, Hangzhou Normal University, Hangzhou 310018, China) |
| |
| Abstract: | |
| |
| Keywords: | multi-agent system Kripke structure dynamic model property verification |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《浙江大学学报(自然科学版 )》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(自然科学版 )》下载全文 |
|
