博文
review: Pi演算与动态描述逻辑DDL的关系研究
||
Pi演算与动态描述逻辑DDL的关系研究
刘磊 汪美玲 高艳华 张长海 于哲舟
计算机研究与发展 2008
摘要
分析了Pi演算与动态描述逻辑DDL之间的关系：DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述，体现了过程的逻辑结构及过程间逻辑关系的变化；以一种基于Pi演算的过程模型为基础，分析了ALC描述逻辑、TBox和ABox的语义，并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述．以上工作表明：DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题，而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题．
关键词 Pi演算；动态描述逻辑DDL；关系
Pi演算: Robin Milner
描述逻辑DL(description logic)
1 Pi演算与动态描述逻辑DDL
1.1 Pi演算
2 从Pi演算到DDL的关系分析
3 从DDL到Pi演算的关系分析
4 结束语
https://blog.sciencenet.cn/blog-468147-540324.html
上一篇：情景演算
下一篇：review: Seal演算的偶图语义
扫一扫，分享此博文