課程簡介
Course Introduction
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的形式化方法與知識表達（主要基于邏輯與代數）。
嚶其鳴矣，求其友聲，愿諸君共勉，路漫而致遠。
教學大綱
Teaching Syllabus
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。
相關課程Correlative
Courses
