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

摘要：

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

关键词： Pi演算 动态描述逻辑DDL 静态结构 动态结构 过程模型 逻辑关系 一致性检测

作者: 刘磊 汪美玲 高艳华 张长海 于哲舟

作者单位: 吉林大学计算机科学与技术学院,长春,130012

会议类型: 国内会议

会议名称: 2007全国理论计算机科学学术年会

会议地点: 南宁

会议语种:中文

页码: 131-136

在线出版日期: 2007-11-01（万方平台首次上网日期，不代表论文的发表时间）