本文給出了一種基于回答集語義下的歸納學(xué)習(xí)方法的自適應(yīng)訪問控制系統(tǒng)的沖突解決策略。首先,我們介紹了回答集程序的語法和語義,這是全文的基礎(chǔ)。其次,我們介紹了歸納學(xué)習(xí)的框架和算法,并據(jù)此引申出回答集語義下的歸納學(xué)習(xí)框架和算法。再次,我們介紹了基于組織的訪問控制系統(tǒng),并探討了其優(yōu)缺點(diǎn)。文章重點(diǎn)介紹了基于回答集語義下歸納學(xué)習(xí)的自適應(yīng)訪問控制模型,并對模型中的沖突定義和沖突檢測做了介紹,然后利用基于回答集語義下的歸納學(xué)習(xí)方法檢測并解決沖突問題�；卮鸺幊淌且环N聲明式編程,聲明式編程是一種范型,這種范型是描述一個問題是什么,而不是要確定如何去做。使用聲明性語言,使得策略和需求可以增量地添加到知識庫中,而不必?fù)?dān)心帶來的潛在不一致性。這為解決自適應(yīng)訪問控制系統(tǒng)中的沖突提供了技術(shù)基礎(chǔ)。歸納學(xué)習(xí)的主要內(nèi)容是學(xué)習(xí)確定的程序或者一般化的邏輯程序,本文應(yīng)用回答集語義下的歸納學(xué)習(xí)方法于自適應(yīng)訪問控制系統(tǒng)中的沖突解決。在自適應(yīng)訪問控制系統(tǒng)模型的基礎(chǔ)上,利用回答集編程和歸納學(xué)習(xí)進(jìn)行拓展,給出了一種基于問答集語義下的歸納學(xué)習(xí)編程的自動推理方案,明確地表示不完全環(huán)境數(shù)據(jù)和不完全策略集。根據(jù)歸納學(xué)習(xí)的相關(guān)概念,利用歸納學(xué)習(xí)算... 

【文章來源】：桂林理工大學(xué)廣西壯族自治區(qū)

【文章頁數(shù)】：59 頁

【學(xué)位級別】：碩士

【部分圖文】：

未用歸納學(xué)習(xí)方法的自適應(yīng)訪問控制系統(tǒng)解決沖突結(jié)果圖

桂林理工大學(xué)碩士學(xué)位論文44圖5.2利用回答集語義下歸納學(xué)習(xí)方法解決自適應(yīng)訪問控制系統(tǒng)的沖突結(jié)果圖根據(jù)運(yùn)行結(jié)果可知，檢測到兩個沖突，耗時(shí)0.059s，并且程序是有唯一的答案模型集，并且允許與禁止策略沒有同時(shí)應(yīng)用于同一用戶上，這證明應(yīng)用回答集語義下的歸納學(xué)習(xí)方法是可以檢測到復(fù)雜沖突，而且能夠加以解決。由此我們可以看出，用回答集語義下的歸納學(xué)習(xí)方法來解決沖突是可行和高效的。5.4.2基于回答集語義下歸納學(xué)習(xí)的優(yōu)勢本文中我們采用基于回答集語義下的歸納學(xué)習(xí)這一技術(shù)基礎(chǔ)，來實(shí)現(xiàn)沖突的解決。下面將具體介紹這一技術(shù)的兩大優(yōu)勢，并詳細(xì)解釋我們?yōu)槭裁床捎眠@種技術(shù)。一、默認(rèn)策略和異常策略的明確和不同表示。回答集語義下的歸納學(xué)習(xí)編程以“否定即失敗”的方式表示默認(rèn)值和異常，它所擁有的優(yōu)雅性和表現(xiàn)力為訪問控制系統(tǒng)建模提供了兩個有價(jià)值的好處：1）用不完備的數(shù)據(jù)進(jìn)行推理。此功能允許在環(huán)境數(shù)據(jù)預(yù)定義不完善或策略集不完整或正在演變時(shí)，對訪問控制權(quán)限做出對應(yīng)的決策。在這種情況下，可以基于默認(rèn)值授予特權(quán)（即，環(huán)境默認(rèn)值通過一般抽象策略表示）[65]。2）解決沖突和處理矛盾。當(dāng)異常被添加到知識庫中時(shí)，ASP表示的默認(rèn)值和異常以及使默認(rèn)值無效的方式，有助于避免一方的默認(rèn)值和環(huán)境環(huán)境與另一方的異常策略之間起沖突。二、程序和知識表示的聲明性特點(diǎn)。陳述式編程是一種范式，這種范式是描述一個問題（即是什么），而不是解決方案（即如何做）。使用聲明性語言，策略和需求可以增量地添加到知識庫中，而不必?fù)?dān)心它們的壞處和潛在的不一致性。通過允許用戶添加需要強(qiáng)制執(zhí)行的限制，而不是描述如

【參考文獻(xiàn)】：
期刊論文
[1]自適應(yīng)軟件系統(tǒng):開發(fā)方法和運(yùn)行支撐專題前言[J]. 呂建,王千祥,馬曉星,毛新軍.  軟件學(xué)報(bào). 2015(04)
[2]回答集程序設(shè)計(jì)在TTP求解中的應(yīng)用[J]. 張青偉,趙嶺忠.  桂林電子科技大學(xué)學(xué)報(bào). 2010(04)
[3]E-R模型的回答集編程表示[J]. 李鑫,李凡,邊杏賓,劉啟和.  計(jì)算機(jī)研究與發(fā)展. 2010(01)
[4]溯因、歸納與演繹[J]. 李增剛.  山東經(jīng)濟(jì). 2004(01)
[5]歸納邏輯程序設(shè)計(jì)綜述[J]. 鄭磊,賈東,劉椿年.  計(jì)算機(jī)工程與應(yīng)用. 2003(17)
[6]約束歸納邏輯程序設(shè)計(jì)方法的研究[J]. 鄭磊,劉椿年.  計(jì)算機(jī)工程與應(yīng)用. 2003(10)
[7]基于角色的訪問控制模型分析[J]. 何海云,張春,趙戰(zhàn)生.  計(jì)算機(jī)工程. 1999(08)



本文編號：3431101