review: 概率信念逻辑的语义

江东明 2012-2-24 19:59

概率信念逻辑的语义 曹子宁 石纯一 摘要 在信念逻辑基础上，引入概率，给出了一种概率信念逻辑PBL,，增强了信念逻辑的表述能力和推理能力 并为PBL, 建立了两种语义：首先将知识逻辑的Aumann语义进行推广，给出PBL, 逻辑的概率Aumann语义, 其次为PBL,建立了一种正规概率 ...

个人分类: Formal method|2543 次阅读|没有评论

review: Seal演算的偶图语义

江东明 2012-2-22 20:09

contents 1Bigraph 2 1Bigraph Bigraphsamodelformobileagents.pdf 2 Seal演算的偶图语义 金龙飞刘磊 计算机学报v01．31No．32008年3月CHINESE&nb ...

个人分类: Formal method|2271 次阅读|没有评论

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

江东明 2012-2-22 20:04

Pi演算与动态描述逻辑DDL的关系研究 刘磊 汪美玲 高艳华 张长海 于哲舟 计算机研究与发展 2008 摘要 分析了Pi演算与动态描述逻辑DDL之间的关系：DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述，体现了过程的逻辑结构及过程间逻辑关系的变化；以一种基 ...

个人分类: Formal method|2509 次阅读|没有评论

情景演算

江东明 2012-2-22 13:55

Contents HOW I LEARNED TO LOVE THE SITUATION CALCULUS (Raymond Reiter) 情景演算 Situation Calculus OSC一个开放式情景演算系统的研究.pdf 耶鲁枪击问题之分析.pdf HOW I LEARNED TO LOVE THE SITUATION CALCULUS Raymond Reiter ...

个人分类: Formal method|3192 次阅读|没有评论

本页有 6 篇博文因作者的隐私设置或未通过审核而隐藏