《基於可廢止邏輯的柔性Agent理論、算法與實現研究》是依託浙江大學，由廖備水擔任項目負責人的面上項目。
基本介紹
- 中文名：基於可廢止邏輯的柔性Agent理論、算法與實現研究
- 依託單位：浙江大學
- 項目負責人：廖備水
- 項目類別：面上項目
- 批准號：60773177
- 申請代碼：F0214
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：27（萬元）
項目摘要
現有基於BDI(信念-願望-意圖)邏輯的Agent的推理規則是靜態的,推理過程是線性的,缺乏利用動態規則進行推理的能力,這使得它在接受來自IT管理者的動態管理策略和目標的指導時或通過契約與其他Agent協作時,不能有效地處理實時發生的規則衝突.以自治計算的研究為背景,利用可廢止邏輯理論的非單調知識表征和推理機制,在已有工作的基礎上,提出、論證並實現一種能夠動態接受規則變更,靈活處理實時發生的規則衝突,並進行高效的非單調推理的 柔性Agent模型.研究內容包括柔性Agent理論模型的建立與論證、算法設計與複雜性分析、原型設計與測試.這種Agent既是自主的,又是可控的,能夠克服傳統BDI模型中固有的一些缺點,且可以在開放、動態的環境中通過契約與其他Agent 進行協同工作,為Agent在新領域的套用開闢了一條有效的途徑,因此具有重要的理論價值和潛在的重大經濟意義.
