搜索到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网的行为语义。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。
林雷蕾周华代飞何臻力沈勇康洪炜
关键词:体系结构进程代数ACPPETRI网
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被引量:142H指数:7
供职机构:西南林业大学
研究主题:PETRI网 软件体系结构 并行性 跨组织 软件演化过程
左卫兵
作品数:53被引量:116H指数:7
供职机构:华北水利水电大学
研究主题:命题逻辑 逻辑度量空间 真度 逻辑系统 随机真度
李勇坚
作品数:8被引量:9H指数:2
供职机构:中国科学院软件研究所
研究主题:VERILOG 语义研究 VERILOG语言 操作语义 形式化验证
高恒珊
作品数:5被引量:1H指数:1
供职机构:中国科学技术大学研究生院
研究主题:非正规 模态逻辑 量词 直觉主义 模态
尹兰
作品数:21被引量:103H指数:5
供职机构:武汉大学计算机学院
研究主题:句子 虚假 多核学习 自然语言生成 图像