摘要
在动态描述逻辑的基础上 ,提出了一种智能主体的心智状态模型 它充分利用了动态描述逻辑统一的形式化框架 ,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态 探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题 该主体模型将理论和实践有机地结合起来 ,表达能力强 ,能够充分体现智能主体的本质特征与运行机制 。
Based on dynamic description logic, a model of mental states for an agent is presented The representation, reasoning and revision of mental states are investigated This model makes good use of the uniform formal framework of dynamic description logic, and describes the mental states of an agent in two aspects: static knowledge representation and reasoning as well as dynamic running and changing The problems of representation, reasoning and revising for agent mental states are explored Additionally, this model embodies the essential characteristics and running mechanism of an intelligent agent and provides solid foundation for the design and programming of an intelligent agent
出处
《计算机研究与发展》
EI
CSCD
北大核心
2004年第5期780-786,共7页
Journal of Computer Research and Development
基金
国家"八六三"高技术研究发展计划基金项目 (2 0 0 1AA113 12 1)
关键词
智能主体
主体模型
动态描述逻辑
intelligent agent
agent model
dynamic description logic
