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

Research on Relation between Pi-Calculus and Dynamic Description Logic DDL

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

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《计算机研究与发展》2008年第z1期131-136,共6页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60603031);教育部博士学科点专项科研基金项目(20060183044);吉林省科技发展计划基金项目(20050527)

摘　　要：分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.This paper analyzes the relation between Pi-calculus and dynamic description logic DDL: from both static and dynamic structure, DDL describes some process definitions of Pi-calculus so that the logical structures of processes and the logical relation changes between processes are reflected; the semantics of ALC description logic, TBox and ABox are analyzed based on a kind of Pi-calculus based process model. Moreover, the change process of dynamic knowledge is described using Pi-calculus through an example. The above work indicates that the decidable reasoning of DDL can solve some consistency problems of detecting dynamic Pi-calculus based system, and the descriptive ability to dynamic system of Pi-calculus can solve the description problems of the change process of the DDL dynamic knowledge.

关 键 词：PI演算 动态描述逻辑DDL 关系 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]