东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

Pi演算与动态描述逻辑DDL的关系研究

ISSN号：1000-1239
期刊名称：《计算机研究与发展》
时间：0
分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
作者机构：[1]吉林大学计算机科学与技术学院,长春,130012 吉林大学计算机科学与技术学院,长春,130012 吉林大学计算机科学与技术学院,长春,130012 吉林大学计算机科学与技术学院,长春,130012 吉林大学计算机科学与技术学院,长春,130012
相关基金：国家自然科学基金项目(60603031);教育部博士学科点专项科研基金项目(20060183044);吉林省科技发展计划基金项目(20050527)

作者：刘磊[1], 汪美玲[1], 高艳华[1], 张长海[1], 于哲舟[1]

中文摘要：

分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.

同期刊论文项目