计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2005年
1期
54-59
,共6页
刘勇%蒲树祯%程代杰%曹泽翰
劉勇%蒲樹禎%程代傑%曹澤翰
류용%포수정%정대걸%조택한
Agent%信念%目标%意图%模型
Agent%信唸%目標%意圖%模型
Agent%신념%목표%의도%모형
Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性.把信念拓展为知识性信念和可实现信念.Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性.Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标.用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了"逻辑全知问题"和逻辑蕴涵的副作用问题.可实现信念满足KD公理,知识性信念满足KDT4公理.两种信念适合描述Agent的意识状态和意识模型.
Agent計算的典型模型是BDI(belief,desire,intention),信唸是Agent計算的重要屬性.把信唸拓展為知識性信唸和可實現信唸.Agent的知識性信唸是指Agent噹前具有或掌握的知識,具有知識的進化和繼承特性.Agent的可實現信唸是指噹前不成立而在將來會成立的事情,是Agent被意識到的箇性傾嚮和目標.用非標準世界的模態邏輯為形式化工具描述兩種信唸,將可能世界的可達關繫作為認識的不同階段和達到可實現信唸的不同階段,避免瞭"邏輯全知問題"和邏輯蘊涵的副作用問題.可實現信唸滿足KD公理,知識性信唸滿足KDT4公理.兩種信唸適閤描述Agent的意識狀態和意識模型.
Agent계산적전형모형시BDI(belief,desire,intention),신념시Agent계산적중요속성.파신념탁전위지식성신념화가실현신념.Agent적지식성신념시지Agent당전구유혹장악적지식,구유지식적진화화계승특성.Agent적가실현신념시지당전불성립이재장래회성립적사정,시Agent피의식도적개성경향화목표.용비표준세계적모태라집위형식화공구묘술량충신념,장가능세계적가체관계작위인식적불동계단화체도가실현신념적불동계단,피면료"라집전지문제"화라집온함적부작용문제.가실현신념만족KD공리,지식성신념만족KDT4공리.량충신념괄합묘술Agent적의식상태화의식모형.
