计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2004年
5期
780-786
,共7页
智能主体%主体模型%动态描述逻辑
智能主體%主體模型%動態描述邏輯
지능주체%주체모형%동태묘술라집
在动态描述逻辑的基础上,提出了一种智能主体的心智状态模型.它充分利用了动态描述逻辑统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态.探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题.该主体模型将理论和实践有机地结合起来,表达能力强,能够充分体现智能主体的本质特征与运行机制,为智能主体的设计与编程奠定了很好的基础.
在動態描述邏輯的基礎上,提齣瞭一種智能主體的心智狀態模型.它充分利用瞭動態描述邏輯統一的形式化框架,同時從靜態的知識錶示與推理和動態的運行與變化兩箇方麵來刻畫主體的心智狀態.探討瞭主體信唸、行為能力、目標和規劃等心智要素的錶示、推理與脩改等基本問題.該主體模型將理論和實踐有機地結閤起來,錶達能力彊,能夠充分體現智能主體的本質特徵與運行機製,為智能主體的設計與編程奠定瞭很好的基礎.
재동태묘술라집적기출상,제출료일충지능주체적심지상태모형.타충분이용료동태묘술라집통일적형식화광가,동시종정태적지식표시여추리화동태적운행여변화량개방면래각화주체적심지상태.탐토료주체신념、행위능력、목표화규화등심지요소적표시、추리여수개등기본문제.해주체모형장이론화실천유궤지결합기래,표체능력강,능구충분체현지능주체적본질특정여운행궤제,위지능주체적설계여편정전정료흔호적기출.