搜索到78 篇“ 代数语义 “的相关文章
基于BR0代数 语义 的模糊命题逻辑系统的随机发散度与近似推理 2025年 基于BR0代数 语义 ,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_(p)).在p-随机逻辑度量空间(F(S),d_(p))中提出了理论的p-随机发散度的概念,给出了3种不同类型的近似推理模式,并讨论了它们之间的关系. 何银 惠小静 彭晨雪关键词:模糊逻辑 一元子结构谓词逻辑中相似的代数 语义 2023年 借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数 语义 ,引入了相似一元剩余格,并研究了其基本的代数 性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题. 王军涛 王梅 折延宏可换逻辑的代数 语义 综述 2022年 主要介绍九种可换逻辑的语义 系统,它们是布尔代数 ,MV-代数 ,BL-代数 ,MTL-代数 ,剩余格,Hoops,半Hoops,EQ-代数 和相等代数 ,并给出相应的例子.进而结合作者的工作介绍了这些代数 系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数 是经典逻辑;从代数 角度讨论了经典逻辑与模糊逻辑的区别.最后给出值得进一步研究的公开问题. 杨小飞 辛小龙关键词:逻辑 语义系统 拓扑 格序群 一种基于代数 语义 的软件体系结构求精方法 2017年 软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题。此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数 来刻画Petri网的行为语义 。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。 林雷蕾 周华 代飞 何臻力 沈勇 康洪炜关键词:体系结构 进程代数 ACP PETRI网 MTL代数 语义 上逻辑公式的概率真度 被引量:8 2015年 基于L-赋值理论,通过在MTL代数 赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数 语义 上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数 语义 的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能. 左卫兵关键词:MTL代数 概率真度 信号演算的操作语义 及其与代数 语义 的统一 实时系统在我们日益信息化的的社会生产和生活中,得到了越来越广泛和深入的应用。作为一种特殊的软件系统,实时系统自身的特点导致了实时系统的分析、设计、开发、实现和验证正面临着极大的挑战。实时系统的研究工作持续了很久,比如Es... 吴成成关键词:操作语义 代数语义 可靠性 文献传递 基于MV代数 语义 的格值逻辑的程度化方法 被引量:4 2013年 基于MV代数 (Many-Valued algebra)语义 ,通过在MV代数 赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法. 左卫兵关键词:MV代数 格值逻辑 概率真度 类型化π演算的双代数 语义 2012年 证明互模拟同余通常冗长且易出错.双代数 为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数 范畴到基范畴的忘却函子有右伴函子,则最大共代数 互模拟同余.但已有双代数 理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数 互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义 范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数 互模拟一致,而迟语义 和早语义 对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数 模型,为进一步应用双代数 框架对其他复杂演算建模奠定了理论基础. 黎永基 李师贤 周晓聪关键词:共代数 双代数 Π演算 互模拟 一种软件演化过程模型的代数 语义 被引量:13 2012年 随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数 ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数 ,使用进程项指定软件演化过程模型的代数 语义 ,在进程代数 的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数 推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证. 代飞 李彤 谢仲文 于倩 卢萍 郁涌 赵娜关键词:软件演化过程 代数语义 PETRI网 COMMUNICATING 对象行为等价的终结共代数 语义 被引量:1 2012年 终结共代数 上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数 给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数 ,类的各个对象看成是共代数 状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数 给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数 语义 ;最后,通过实例说明如何利用PVS工具对研究结果进行验证。 余珊珊 李师贤 苏锦钿关键词:行为等价
相关作者
代飞 作品数:74 被引量:142 H指数:7 供职机构:西南林业大学 研究主题:PETRI网 软件体系结构 并行性 跨组织 软件演化过程 左卫兵 作品数:53 被引量:116 H指数:7 供职机构:华北水利水电大学 研究主题:命题逻辑 逻辑度量空间 真度 逻辑系统 随机真度 李勇坚 作品数:8 被引量:9 H指数:2 供职机构:中国科学院软件研究所 研究主题:VERILOG 语义研究 VERILOG语言 操作语义 形式化验证 高恒珊 作品数:5 被引量:1 H指数:1 供职机构:中国科学技术大学研究生院 研究主题:非正规 模态逻辑 量词 直觉主义 模态 尹兰 作品数:21 被引量:103 H指数:5 供职机构:武汉大学计算机学院 研究主题:句子 虚假 多核学习 自然语言生成 图像