Multi-agents及其形式化與知識(shí)表達(dá)是軟件工程領(lǐng)域的重要研究方向之一,。當(dāng)前,,從認(rèn)知論角度看,,部分研究已從Agent-based過(guò)渡到Role-based,,而從本體論角度看,則從Agent-based過(guò)渡到Ontology-based,。前者主要研究載體及其知識(shí)的“來(lái)龍去脈”,,后者則主要研究載體的“本質(zhì)是什么”,。從協(xié)同計(jì)算與知識(shí)工程的視野為切入,,本課程更為關(guān)注協(xié)作的“來(lái)龍去脈”及其規(guī)劃,、交互,因此主要討論Role-based Collaboration及其知識(shí)表達(dá),,而理論載體則為加拿大尼皮辛大學(xué)朱海濱教授提出的E-CARGO角色協(xié)作模型,。
課程主要研究?jī)?nèi)容分為以下三部分:
1)基于E-CARGO的軟件工程方法學(xué)及其建模與軟件開(kāi)發(fā)方法;
2)多約束下的群組角色指派(Group Role Assignment),;
3)面向E-CARGO的形式化方法與知識(shí)表達(dá)(主要基于邏輯與代數(shù)),。
嚶其鳴矣,求其友聲,,愿諸君共勉,,路漫而致遠(yuǎn)。
1)學(xué)習(xí)是一個(gè)循序漸進(jìn)的過(guò)程,,因此建議各位同學(xué)也循序漸進(jìn)的學(xué)習(xí)E-CARGO;
2)因此閱讀論文和相關(guān)研究資料的時(shí)候可以按序號(hào)進(jìn)行閱讀,,其中:
00序號(hào)的PPT是相關(guān)研究的總起,;
01序號(hào)的論文主要為討論E-CARGO的建模;
02序號(hào)的論文介紹了E-CARGO中的評(píng)估,,即GRA及KM算法,;
03序號(hào)的論文介紹了Role Transfer問(wèn)題;
04序號(hào)的論文則在02和03基礎(chǔ)上,,介紹了M-M指派(含KM及Role Transfer),;
05序號(hào)的論文是朱老師解決的一個(gè)工程實(shí)例,,即急診病人的排班;
06序號(hào)的PPT是朱老師在廣工的講座,,既有對(duì)E-CARGO的總結(jié),,又討論了Adaptive(關(guān)于Adaptive的論文最早在IEEE Conference On SMC 2013上出現(xiàn),論文題為:Agent Evaluation in Distributed Adaptive Systems,。