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

• 作者: 于哲舟 刘磊 张长海 汪美玲 高艳华
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: Pi演算 动态描述逻辑DDL 关系
• 年，卷（期）: 2008,（z1）
• 所属期刊栏目: 数据、程序及其理论
• 页码范围: 131-136
• 页数: 6页
• 分类号: TP301
• 字数: 4061字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	于哲舟	吉林大学计算机科学与技术学院	37	258	8.0	14.0
3	张长海	吉林大学计算机科学与技术学院	25	222	8.0	14.0
4	高艳华	吉林大学计算机科学与技术学院	14	65	5.0	7.0
5	汪美玲	吉林大学计算机科学与技术学院	2	10	1.0	2.0