摘要
针对多主体系统的构造复杂性问题,提出通过合成若干小系统来合成一个大系统,通过小系统的性质来分析合成后的系统性质。以基于合同网的动态任务分配为参考模型,逐层细化建立动态任务分配的宏观模型和主体BDI的内部结构微观模型,分别研究主体之间的协作关系和主体的内部心智状态变化,并分析了系统的有界性、无死锁性质,突出了主体的自治性和主动性的特点。
In order to resolve construction complexity of multi-agents system, big system composed by several small systems was propose. Properties of the big system was analyzed by analysis of small systems properties. By reference model of dynamic tasks allocation of contact protocol network, macroscopical model of dynamic task allocation and microscopic model of agent inner BDI architecture were constructed by gradually refinement, studies the cooperation relationships between agents and inner mental changes of each agent. Furthermore, the boundedness, deadlock-free properties of the system were analyzed, which present autonomous and initiative characteristics of agents.
出处
《安徽理工大学学报（自然科学版）》
CAS
2009年第2期50-56,共7页
Journal of Anhui University of Science and Technology:Natural Science
基金
安徽省高等学校青年教师科研资助项目(2007jq1039)
安徽理工大学青年科学研究基金资助项目(QN200723)
安徽理工大学硕士博士基金资助项目(2006yb51)
关键词
保性
Petri网细化
多主体
任务分配
BDI
preservation property
Petri-net refinement
multi-agents
task allocation
BDI
