计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2010年
5期
159-160,164
,共3页
信念修正%信念收缩%遗忘理论
信唸脩正%信唸收縮%遺忘理論
신념수정%신념수축%유망이론
针对在经典信念理论框架下,信念收缩后可能出现信息损失的问题,本文提出了一种利用遗忘理论来构建收缩算子的信念收缩方法.本文先通过理论证明来说明该收缩算子能够满足AGM理论中信念收缩的假定,然后用实例说明,与命题逻辑表示的信念遗忘收缩相比,一阶谓词逻辑表示的信念遗忘收缩保留了更多的原有信息,避免了不必要的信息损失,遵循最小修改原则.
針對在經典信唸理論框架下,信唸收縮後可能齣現信息損失的問題,本文提齣瞭一種利用遺忘理論來構建收縮算子的信唸收縮方法.本文先通過理論證明來說明該收縮算子能夠滿足AGM理論中信唸收縮的假定,然後用實例說明,與命題邏輯錶示的信唸遺忘收縮相比,一階謂詞邏輯錶示的信唸遺忘收縮保留瞭更多的原有信息,避免瞭不必要的信息損失,遵循最小脩改原則.
침대재경전신념이론광가하,신념수축후가능출현신식손실적문제,본문제출료일충이용유망이론래구건수축산자적신념수축방법.본문선통과이론증명래설명해수축산자능구만족AGM이론중신념수축적가정,연후용실례설명,여명제라집표시적신념유망수축상비,일계위사라집표시적신념유망수축보류료경다적원유신식,피면료불필요적신식손실,준순최소수개원칙.
