基于动态描述逻辑的主体模型

被引：13

作者：

董明楷

张海俊

史忠植

机构：

[1] 中国科学院计算技术研究所,中国科学院计算技术研究所,中国科学院计算技术研究所北京,北京,北京

来源：

计算机研究与发展 | 2004年 / 05期

关键词：

智能主体; 主体模型; 动态描述逻辑;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：780 / 786

页数：7