基于动态描述逻辑DDL的动作理论 |
| |
引用本文: | 常亮,陈立民.基于动态描述逻辑DDL的动作理论[J].计算机科学,2011,38(7):203-208. |
| |
作者姓名: | 常亮 陈立民 |
| |
作者单位: | 1. 桂林电子科技大学计算机科学与工程学院,桂林,541004 2. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190 |
| |
基金项目: | 本文受国家自然科学基金(60903079,60775035,60963010)资助。 |
| |
摘 要: | 基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复...
|
关 键 词: | 动态描述逻辑 知识表示和推理 动作理论 智能主体 语义Web |
本文献已被 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|