计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2010年
10期
2572-2574,2577
,共4页
信念修正%部分相交收缩%收缩%修正%遗忘理论
信唸脩正%部分相交收縮%收縮%脩正%遺忘理論
신념수정%부분상교수축%수축%수정%유망이론
为了使信念修正能够满足最小改变原则,首先基于遗忘理论定义遗忘收缩算子,并且证明该算子满足必要AGM收缩假定;然后通过Levi Identity构建遗忘修正算子;最后给出遗忘修正方法和多次遗忘修正算法.实例分析表明,算法具有可行性和有效性,能够得到较满意的修正结果.
為瞭使信唸脩正能夠滿足最小改變原則,首先基于遺忘理論定義遺忘收縮算子,併且證明該算子滿足必要AGM收縮假定;然後通過Levi Identity構建遺忘脩正算子;最後給齣遺忘脩正方法和多次遺忘脩正算法.實例分析錶明,算法具有可行性和有效性,能夠得到較滿意的脩正結果.
위료사신념수정능구만족최소개변원칙,수선기우유망이론정의유망수축산자,병차증명해산자만족필요AGM수축가정;연후통과Levi Identity구건유망수정산자;최후급출유망수정방법화다차유망수정산법.실례분석표명,산법구유가행성화유효성,능구득도교만의적수정결과.