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

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

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

【學位級別】：碩士

【部分圖文】：

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

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

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



本文編號：3431101