| 基于ConGolog语言的动态Agent建模研究 |
| |
| 引用本文： | 肖政宏,高志伟.基于ConGolog语言的动态Agent建模研究[J].石家庄铁道学院学报,2006,19(1):50-53. |
| |
| 作者姓名： | 肖政宏 高志伟 |
| |
| 作者单位： | 湖南文理学院计算机系 湖南常德415000(肖政宏)，石家庄铁道学院计算机系 河北石家庄050043(高志伟) |
| |
| 摘 要： | 分析了已有的面向Agent软件工程方法中Agent建模存在的问题,针对Agent的并发性和不确定性的特点,提出了采用具有不确定性和并发性特点的ConGolog语言描述Agent建模的方法。所建议的方法不仅给出了Agent的语义、形式化描述,并且能对Agent的模型进行验证。
|
| 关 键 词： | Agent建模 并发性 不确定性 ConGolog |
| 文章编号： | 1006-3226（2006）01-0050-04 |
| 收稿时间： | 2005-05-23 |
| 修稿时间： | 2005年5月23日 |
A Study of Modeling Dynamic Agent Based on ConGolog Language |
| |
| Xiao Zhenghong,Gao Zhiwei.A Study of Modeling Dynamic Agent Based on ConGolog Language[J].Journal of Shijiazhuang Railway Institute,2006,19(1):50-53. |
| |
| Authors: | Xiao Zhenghong Gao Zhiwei |
| |
| Institution: | 1. Department of Computer Science and Technology, Hunan University of Arts and Science, Changde 415000, China; 2. Department of Computer Science and Technology, Shijiazhuang Railway Institute, Shijiazhuang 050043, China |
| |
| Abstract: | This paper discuses problems and shortcomings in the modeling with existing Agent-Oriented software methodologies,.Based on concurrent and Nondeterminism,we propose a novel approach of modeling dynamic Agent,which is not only to define semantics of Agent,to formulate specification,but also automatically to verify models. |
| |
| Keywords: | Agent modeling concurrent nondeterminism ConGolog |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
