multi-agents及其形式化与知识表达是软件工程领域的重要研究方向之一。当前,从认知论角度看,部分研究已从agent-based过渡到role-based,而从本体论角度看,则从agent-based过渡到ontology-based。前者主要研究载体及其知识的“来龙去脉”,后者则主要研究载体的“本质是什么”。从协同计算与知识工程的视野为切入,本课程更为关注协作的“来龙去脉”及其规划、交互,因此主要讨论role-based collaboration及其知识表达,而理论载体则为加拿大尼皮辛大学朱海滨教授提出的e-cargo角色协作模型。
课程主要研究内容分为以下三部分:
1)基于e-cargo的软件工程方法学及其建模与软件开发方法;
2)多约束下的群组角色指派(group role assignment);
3)面向e-cargo的形式化方法与知识表达(主要基于逻辑与代数)。
嘤其鸣矣,求其友声,愿诸君共勉,路漫而致远。
1)学习是一个循序渐进的过程,因此建议各位同学也循序渐进的学习e-cargo;
2)因此阅读论文和相关研究资料的时候可以按序号进行阅读,其中:
00序号的ppt是相关研究的总起;
01序号的论文主要为讨论e-cargo的建模;
02序号的论文介绍了e-cargo中的评估,即gra及km算法;
03序号的论文介绍了role transfer问题;
04序号的论文则在02和03基础上,介绍了m-m指派(含km及role transfer);
05序号的论文是朱老师解决的一个工程实例,即急诊病人的排班;
06序号的ppt是朱老师在广工的讲座,既有对e-cargo的总结,又讨论了adaptive(关于adaptive的论文最早在ieee conference on smc 2013上出现,论文题为:agent evaluation in distributed adaptive systems。