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

【Abstract】 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.更多还原