角色扮演邏輯及其半群模型研究.pdf

1、本文旨在系統(tǒng)性剖析角色協(xié)同（Role-Based Collaboration,RBC）的主要元素所存在的最基本的關(guān)聯(lián)性和層次結(jié)構(gòu)，通過運(yùn)用子結(jié)構(gòu)邏輯對RBC中的角色扮演過程進(jìn)行高度抽象化，以促進(jìn)角色協(xié)同理論體系的發(fā)展。目前國內(nèi)外學(xué)者所討論的角色協(xié)同中的角色和代理形式化方法大多都是基于CASE工具或針對代理自身的認(rèn)知和推理的，缺乏對RBC及其構(gòu)成元素（群組、角色和代理）形式化的綜合性數(shù)學(xué)討論，無法解釋RBC的高層次抽象，更無法揭示RBC的

2、主要元素之間所存在的最基本的關(guān)聯(lián)性和層次結(jié)構(gòu)，這說明了RBC研究方法尚存在不足，缺乏完備性系統(tǒng)化的數(shù)學(xué)理論基礎(chǔ)做支撐。
　　針對該問題，為支撐RBC及其角色引擎，給角色扮演過程提供系統(tǒng)性的邏輯與代數(shù)理論支持，主要解決思路為：針對RBC理論及其E-CARGO模型，構(gòu)造其邏輯系統(tǒng)及其語義模型，采用代數(shù)演算和邏輯推理的方式對其進(jìn)行形式化系統(tǒng)性描述。本文從元理論角度出發(fā)，以子結(jié)構(gòu)邏輯（Substructural Logic）及其代數(shù)模型（

3、偏序半群）為基礎(chǔ)，對RBC及其計(jì)算模型E-CARGO進(jìn)行了考量與印證，將其組成元素做類型映射；提出了系列多項(xiàng)式時(shí)間復(fù)雜度的角色扮演邏輯系統(tǒng)（Role Playing Logic,RPL）及相關(guān)代數(shù)模型，抽象化RBC的同時(shí)，結(jié)合案例分析該代數(shù)模型的應(yīng)用指導(dǎo)意義；并對該邏輯系統(tǒng)中的可靠性、完全性及其可判定性等性質(zhì)進(jìn)行了論證。
　　本文假設(shè)一個(gè)角色可以由多個(gè)代理來扮演，但一個(gè)代理一次只能扮演一個(gè)角色。通過邏輯強(qiáng)刻畫與形式化方法，對 RB

4、C系統(tǒng)及其主要元素（群組、角色和代理）之間最基本的關(guān)聯(lián)性和層次結(jié)構(gòu)進(jìn)行了剖析，在構(gòu)建該邏輯系統(tǒng)時(shí)，使用最少的邏輯連接詞和結(jié)構(gòu)規(guī)則來描述角色扮演（代理的認(rèn)知和推理并非本文重點(diǎn)），采用偏序半群作為語義模型，抽象地反映角色指派過程，并用于創(chuàng)建、刪除和修改角色、代理和群組。而所有這些活動(dòng)都直接關(guān)系到角色引擎的設(shè)計(jì)，為角色協(xié)同提供了三個(gè)層次的應(yīng)用指導(dǎo)，首先，全局層是組織代理，并形成協(xié)同群組；其次，銜接層進(jìn)行了群組角色指派；最后，操作層管理協(xié)同系統(tǒng)