|
|||||
|
|
| Pi演算与动态描述逻辑DDL的关系研究 | |
| 引用本文： | 刘磊,汪美玲,高艳华,张长海,于哲舟.Pi演算与动态描述逻辑DDL的关系研究[J].计算机研究与发展,2008,45(Z1):131-136. |
| 作者姓名： | 刘磊 汪美玲 高艳华 张长海 于哲舟 |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| 基金项目： | 国家自然科学基金 , 高等学校博士学科点专项科研项目 , 吉林省科技发展计划 |
| 摘 要： | 分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题. |
| 关 键 词： | Pi演算 动态描述逻辑DDL 关系 |
| 修稿时间： | 2007年7月10日 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |