【摘要】 在动态描述逻辑的基础上 ,提出了一种智能主体的心智状态模型 它充分利用了动态描述逻辑统一的形式化框架 ,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态 探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题 该主体模型将理论和实践有机地结合起来 ,表达能力强 ,能够充分体现智能主体的本质特征与运行机制 ,为智能主体的设计与编程奠定了很好的基础更多还原

【Abstract】 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更多还原